| 1 | | [collana] |
| 3 | | [frontespizio] |
| 4 | | [copyright] |
| 5 | | Indice |
| 7 | | Presentazione [ di Edoardo Ballo ] |
| 13 | | [titolo] |
| 19 | 2. | Il problema della coerenza |
| 15 | 1. | Introduzione |
| 35 | 3. | Prove assolute di coerenza |
| 44 | 4. | La codificazione sistematica della logica formale |
| 55 | 5. | Un esempio di dimostrazione asooluta di coerenza |
| 69 | 6. | L'idea della rappresentazione e il suo uso in matematica |
| 78 | 7. | Le prove di Gödel |
| | | La numerazione di Gödel |
| | | L'aritmetizzazione della metamatematica |
| | | Il nocciolo della dimostrazione di Gödel |
| 105 | 8. | Riflessioni conclusive |
| 109 | | Il sogno del segno o il fallimento del riduzionismo [ di Jean-Yves Girard ] |
| 111 | | La tentazione meccanicistica di Hilbert |
| 111 | 1. | Decidibile, universale, esistenziale |
| 114 | 2. | Il programma di Hilbert |
| 117 | 3. | Discussione del programma |
| 120 | | Il crollo di casa Hilbert |
| 121 | 1. | Verità e dimostrabilità |
| 122 | 2. | L'aritmetizzazione |
| 123 | 3. | La diagonalizzazione |
| 124 | 4. | La riflessione |
| 125 | | Nonostante tutto... |
| 125 | 1. | Dimostrazioni di coerenza relativa |
| 126 | 2. | L'eredità di Hilbert |
| 129 | | L'eredità di Gödel |
| 129 | 1. | Corollari immediati |
| 130 | 2. | Geometria o tassonomia |
| 132 | | La gödelite |
| 132 | 1. | Il dramma nel dramma |
| 132 | 2. | Autopensarsi |
| 133 | 3. | Il prossimo assioma |
| 134 | 4. | Un colpo di dadi |
| 135 | 5. | Continua... |
| 136 | | _ |
| 137 | | Bibliografia |
| 144 | | ___ |
Carnap, Rudolf | [1937] | La sintassi logica del linguaggio | Silva Editore | Milano | 1961.01 |
Niemeyer Findlay, John | | Goedelian Sentences: a non-Numerical Approach | pp. 0259-0265 | in |
| [1942] | «Mind», 51 | | | 1942 |
Gödel, Kurt | | Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I | pp. 0173-0198 | in |
| [1931] | «Monatshefte für Mathematik und Physik», vol. 38 | | | 1931 |
Kleene, Stephen Cole | [1952] | Introduction to Metamathematics | North-Holland Publishing Company | Amsterdam | 1952 |
Ladrière, Jean | [1957] | Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques | | Lovanio | 1957 |
Mostowski, Andrzej | [1952] | Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel | North-Holland Publishing Company | Amsterdam | 1952 |
Van Orman Quine, Willard | [1959] | Manuale di logica | Feltrinelli | Milano | 1960.05 |
Rosser, J. B. | | An Informal Exposition of Proofs of Gödel's Theorems and Church's Theorem | pp. 0053-0060 | in |
| [1939] | «Jourrnal of Symbolic Logic», vol. 4 | | | 1939 |
Turing, Alan Mathison | | Computing Machinery and Intelligence | pp. 0433-0460 | in |
| [1950] | «Mind», 59 (LIX), 234: The Concept of Mind | Association for Computing Machinery | | 1950 |
Weyl, H. K. H. &. | [1949] | Filosofia della matematica e delle scienze naturali | Boringhieri | Torino | 1967 |
Wilder, R. L. | [1952] | Introduction to the Foundations of Mathematics | | New York City | 1952 |