• Non ci sono risultati.

Temi d’esame

N/A
N/A
Protected

Academic year: 2021

Condividi "Temi d’esame"

Copied!
1
0
0

Testo completo

(1)

Temi d’esame

1

Il paradosso del mentitore: soluzioni moderne (non semplice) (Etchemendy)

2

Il programma di Hilbert per la fondazione della matematica

3

I teoremi di completezza e compattezza per la logica dei predicati

4

Un sistema formale per la logica dei predicati: deduzione naturale

5

Un sistema formale per la logica dei predicati: calcolo dei sequenti

6

Un sistema formale per la logica dei predicati: risoluzione

7

Un sistema formale per la logica dei predicati: tableaux

8

La nozione di decidibilit`a (ovvero: rudimenti di calcolabilit`a)

9

Il teorema di Goodstein (richiede nozioni elementari di aritmetica ordinale)

10

Il lemma di diagonalizzazione (richiede rudimenti di calcolabilit`a)

11

Il lemma di rappresentazione (ovvero: aritmetizzazione della sintassi; per chi ama le codifiche combinatorie)

12

La discussione “filosofica” sul teorema di G¨ odel (p.e. Minds, machines and G¨ odel di Lukas ecc.)

13

Il teorema di G¨ odel nella versione originale (ω-completezza).

92 / 92

Riferimenti

Documenti correlati

• Formula soddisfacibile: esiste una interpretazione per cui la formula è vera (“piove e non piove”), insoddifacibile altrimenti (“piove o fa-caldo”)2. • Ogni

• Una procedura di inferenza che applica la regola di risoluzione con una opportuna strategia è completa per dimostrare, attraverso il metodo di refutazione, qualsiasi formula

l'intensità della attrazione o repulsione tra due gusti è direttamente proporzionale al loro prodotto e inversamente proporzionale al quadrato della loro distanza (due gusti

[r]

sembrare una riproposizione delle finalità del localizzazionismo – l'individuazione dei rapporti tra funzioni e strutture anatomiche sottostanti – rivela innanzitutto quanto in

The goal is to study the effects of different structures of the tax-and-transfer system on household behavior. We use the model to simulate the effects of hypothetical changes to

Using different data sources from local labour markets (LLMs) in Italy between 1971 and 2011, we document a number of stylized facts: a) local differences in the ratios

The idea of providing Unasur with electoral monitoring capabilities was discussed for the first time in 2009, when all of South America's national electoral authorities met