l-nanew.txt (Gabriele Lucchini, 2013-09-12)


Ernest Nagel e James Roy Newman
LA PROVA DI GOEDEL
Torino, Boringhieri, 1961
(Tit. or.: Goedel's Proof, 1958)

Indice (11-107)

011  1. Introduzione
015  2. Il problema della compatibilita`
031  3· Prove assolute di compatibilita`
040  4. La codificazione sistematica della logica formale
051  5. Un esempio di dimostrazione assoluta di compatibilita` valida
065  6. L'idea della rappresentazione e il suo uso in matematica
074  7. Le prove di Goedel
        La numerazione di Goedel
        L'aritmetizzazione della metamatematica
        Il nocciolo della dimostrazione di Goedel
101  8. Riflessioni conclusive
105  Bibliografìa