Una guida ai risultati di incompletezza di Kurt Gödel / Duccio Pianigiani.
Pubblicazione:
Pisa : ETS, c2008.
Descrizione fisica:
235 p. ; 24 cm
Contiene:
Indice: 1. Chiarire la natura dell'infinito 2. Incompletezza e incomputabilità 3. Inesauribilità della verità: il primo teorema 4. Indimostrabilità della consistenza: il secondo teorema 5. Alcuni sviluppi successivi 6. Aspetti filosofici della riflessione di Gödel 7. Appendici: strumenti basilari di logica. Bibliografia