[i][b][c]
Nagel, Ernest ET Newman, James Roy
(Gödel's Proof, 1958)
La prova di Gödel
Bollati Boringhieri
[Il Grandi Pensatori 71]
Torino 2013.09
Cover
#logica
ig02#logica



  [i][b][c] INDICE:
1[collana]
3[frontespizio]
4[copyright]
5Indice
7Presentazione [ di Edoardo Ballo ] 
13[titolo]
192.Il problema della coerenza
151.Introduzione
353.Prove assolute di coerenza
444.La codificazione sistematica della logica formale
555.Un esempio di dimostrazione asooluta di coerenza
696.L'idea della rappresentazione e il suo uso in matematica
787.Le prove di Gödel
            La numerazione di Gödel
            L'aritmetizzazione della metamatematica
            Il nocciolo della dimostrazione di Gödel
1058.Riflessioni conclusive
109Il 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_
137Bibliografia
144___

 [i][b][c] BIBLIOGRAFIA:
Carnap, Rudolf[1937]La sintassi logica del linguaggioSilva EditoreMilano1961.01
Niemeyer Findlay, John Goedelian Sentences: a non-Numerical Approachpp. 0259-0265 in
[1942]«Mind», 511942
Gödel, Kurt Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme Ipp. 0173-0198 in
[1931]«Monatshefte für Mathematik und Physik», vol. 381931
Kleene, Stephen Cole[1952]Introduction to MetamathematicsNorth-Holland Publishing CompanyAmsterdam1952
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ématiquesLovanio1957
Mostowski, Andrzej[1952]Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt GodelNorth-Holland Publishing CompanyAmsterdam1952
Van Orman Quine, Willard[1959]Manuale di logicaFeltrinelliMilano1960.05
Rosser, J. B. An Informal Exposition of Proofs of Gödel's Theorems and Church's Theorempp. 0053-0060 in
[1939]«Jourrnal of Symbolic Logic», vol. 41939
Turing, Alan Mathison Computing Machinery and Intelligencepp. 0433-0460 in
[1950]«Mind», 59 (LIX), 234: The Concept of MindAssociation for Computing Machinery1950
Weyl, H. K. H. &.[1949]Filosofia della matematica e delle scienze naturaliBoringhieriTorino1967
Wilder, R. L.[1952]Introduction to the Foundations of MathematicsNew York City1952

 [i][b][c] CRONOLOGIA:
1800 1800 1900 1900 2000 2000 1850 1950 2050 Nagel, Ernest ( 1901.1116 - 1985.092 ) Newman, James Roy ( 1907 - 1966 ) Bianchi, Luigi ( 1865.0118 - 1928.0606 ) opera Ballo, Edoardo ( - ) Girard, Jean-Yves ( 1947 - ) opera Cerrito, Serenella ( - ) opera Cerrito, Serenella ( - ) 1765.0118 4417 2013.09 opera opera https://en.wikipedia.org/wiki/Ernest_Nagel https://en.wikipedia.org/wiki/James_R._Newman https://it.wikipedia.org/wiki/Luigi_Bianchi http://users.unimi.it/edoballo/ https://en.wikipedia.org/wiki/Jean-Yves_Girard


Generato il giorno: 2017-12-01T16:10:17+01:00 (Unix Time: 1512141017)
Precedente aggiornamento il giorno:2017.1201
Prima registrazione il giorno: 2017.1127
Aggiornato 29 volte


Dimensione approssimata della pagina: 18610 caratteri (body: 17438)


Versione: 1.0.23