OPTIMA: editoria elettronica - La proposizione di Gödel

• Precedente • Indice •

BIBLIOGRAFIA

Le opere di Kurt Gödel
Bibliografia generale

1. LE OPERE DI KURT GÖDEL

L’impresa delle Collected Works di Gödel (1906-1978), discussa inizialmente dal Council of the Association for Symbolic Logic nel 1979, prende consistenza nel 1982 sotto la guida di Solomon Feferman. Il primo dei cinque volumi (Publications 1929-1936) esce già nel 1986 per la Oxford University Press-Clarendon Press. Il secondo volume (Publications 1938-1974), del 1990, completa la ristampa dei contributi in vita pubblicati da Gödel. Nell’edizione anglo-americana, per ogni articolo originariamente composto in lingua tedesca, è mantenuto il testo a fronte (Gödel scrive fino al 1936 in tedesco e dal 1938 in inglese, con l’unica, significativa eccezione dell’articolo apparso nel 1958 su Dialectica). I curatori delle Collected Works hanno utilizzato, ove possibile, traduzioni esistenti; tutte le recensioni e Gödel 29 sono invece tradotti per la prima volta in lingua inglese.
Il terzo volume (1995) comprende una rosa di articoli inediti e testi di conferenze, rinvenuti nel corposo Nachlass di Gödel. I volumi quarto e quinto delle Collected Works offrono invece una selezione della corrispondenza scientifica di Gödel.
La Bollati Boringhieri presenta in Italia il primo volume delle Opere di Kurt Gödel nel 1999; la linea editoriale italiana rinuncia al testo a fronte e sceglie di non recuperare le rare traduzioni precedentemente apparse.
Si fornisce qui di seguito indicazione dettagliata degli scritti di Gödel, con le relative notizie bibliografiche.

• • •

Gödel, K. (1986), Collected Works: Vol. I, Publications 1929-1936 , a cura di S. Feferman, con la collaborazione di J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, Oxford University Press, New York - Clarendon Press, Oxford; ed. it. a cura di E. Ballo, S. Bozzi, G. Lolli, C. Mangione, Opere: Vol. 1, 1929-1936, Boringhieri, Torino, 1999. [traduzioni di E. Ballo (pp. 95-161), S. Bozzi (pp. 161-243), G. Lolli (pp. 3-40, 244-300), C. Mangione (pp. XI-XXII, 41-94).] Contiene:

(1929), "Über die Vollständigkeit des Logikkalküls", Dissertazione di dottorato, Università di Vienna; "Sulla completezza del calcolo della logica", pp. 63-82.
(1930), "Die Vollständigkeit der Axiome des logischen Funktionenkalküls", Monatshefte für Mathematik und Physik, 37, pp. 349-360; "La completezza degli assiomi del calcolo funzionale logico", pp. 83-93. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, Sansoni, Firenze, 1979, pp. 137-149.]
(1930a), "Über die Vollständigkeit des Logikkalküls", Die Naturwissenschaften, 18, p. 1068 (sintesi di Gödel 1930); "Sulla completezza del calcolo della logica", p. 94.
(1930b), "Einige metamathematische Resultate über Entscheidungs- definitheit und Widerspruchsfreiheit", Anzeiger der Akademie der Wissenschaften in Wien, 67, pp. 214-215 (sintesi di Gödel 1931); "Alcuni risultati metamatematici su completezza e coerenza", pp. 111-112.
(1931), "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme 1", Monatshefte für Mathematik und Physik, 38, pp. 173-198; "Proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini 1", pp. 113-138. [I curatori del primo volume delle Collected Works ripropongono, come versione inglese di (1931), quella di Jean van Heijnoort, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I", rivista e approvata dallo stesso Gödel, inizialmente apparsa in From Frege to Gödel: a source book in mathematical logic, 1879-1931 a cura di Jean van Heijenoort, Harvard University Press, Cambridge, 1967. Tale versione è riprodotta anche in Shanker, S. G. (a cura di), Gödel’s Theorem in focus, Croom Helm, London, 1988; trad. it. di P. Pagli, Il teorema di Gödel. Una messa a fuoco, Muzzio, Padova, 1991; Paolo Pagli la presenta quindi al pubblico italiano alle pp. 21-62 dello stesso volume. Si deve invece a Evandro Agazzi la prima trad. it. di Gödel ‘31, in appendice a Agazzi, E. Introduzione ai problemi dell’assiomatica , Vita e pensiero, Milano, 1961, pp. 203-228.]
(1931a), "Diskussion zur Grundlegung der Mathematik. Nachtrag", Erkenntnis, 2, pp. 147-151 (Trascrizione dell’intervento di Gödel al Convegno sull’Epistemologia delle Scienze Esatte, Königsberg, 5-7 settembre 1930; pubblicata con aggiunta di un post-scriptum); "Discussione sulla fondazione della matematica", pp. 143-144. [Altra trad. it. del "Nachtrag" in Casari, E. (a cura di), La filosofia della matematica del ‘900, Sansoni, Firenze, 1973, pp. 55-57.]
(1931b), "Besprechung von Ludwig Neder, ‘Über den Aufbau der Arithmetik’ (1931)", Zentralblatt für Mathematik und ihre Grenzgebiete, 1, pp. 5-6; "Recensione di Neder 1931", p. 146.
(1931c), "Besprechung von David Hilbert, ‘Die Grundlegung der elementaren Zahlenlehre’ (1931)", ibidem, 1, p. 260; "Recensione di Hilbert 1931", p. 153.
(1931d), "Besprechung von Christian Betsch, ‘Fiktionen in der Mathematik’ (1926)", Monatshefte für Mathematik und Physik, 38, p. 5; "Recensione di Betsch 1926", p. 154.
(1931e), "Besprechung von Oskar Becker, ‘Zur Logic der Modalitäten’ (1930)", ibidem, 38, pp. 5-6; "Recensione di Becker 1930", pp. 155.
(1931f), "Besprechung von Helmut Hasse, Heinrich Scholz, ‘Die Grundlagenkrisis der griechischen Mathematik’ (1928)", ibidem, 38, p. 37; "Recensione di Hasse e Scholz 1928", p. 156.
(1931g), "Besprechung von Béla von Juhos, ‘Das Problem der mathematischen Wahrscheinlichkeit’ (1930)", ibidem, 38, p. 39; "Recensione di von Juhos 1930", p. 157.
(1932), "Zum intuitionistischen Aussagenkalkül", Anzeiger der Akademie der Wissenschaften in Wien, 69, pp. 65-66; "Sul calcolo proposizionale intuizionista", pp. 160-161. [Altra trad. it. di C. Bertini in Casari, E. (a cura di), Dalla logica alla metalogica , op. cit., pp. 151-152.]
(1932a), "Ein Spezialfall des Entscheidungsproblems der theoretischen Logik", Ergebnisse eines mathematischen Kolloquiums, 2, pp. 27-28; "Un caso speciale del problema della decisione per la logica teorica", pp. 168-169. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 152-153.]
(1932b), "Über Vollständigkeit und Widerspruchsfreiheit", ibidem, 3, pp. 12-13; "Su completezza e coerenza", pp. 170-171. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 154-155.]
(1932c), "Eine Eigenschaft der Realisierungen des Aussagenkalküls", ibidem, 3, pp. 20-21; "Una proprietà delle realizzazioni del calcolo proposizionale", pp. 173-174. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 155-156.]
(1932d), "Besprechung von Thoralf Skolem, ‘Über einige Satzfunktionen in der Arithmetik’ (1931)", Zentralblatt für Mathematik und ihre Grenzgebiete, 2, p. 3; "Recensione di Skolem 1931", p. 175.
(1932e), "Besprechung von Rudolf Carnap, ‘Die logizistische Grundlegung der Mathematik’ (1931)", ibidem, 2, p. 321; "Recensione di Carnap 1931", pp. 176-177.
(1932f), "Besprechung von Arend Heyting, ‘Die intuitionistische Grundlegung der Mathematik’ (1931)", ibidem, 2, pp.321-322; "Recensione di Heyting 1931", pp. 178-179.
(1932g), "Besprechung von John von Neumann, ‘Die formalistische Grundlegung der Mathematik’ (1931)", ibidem, 2, p. 322; "Recensione di von Neumann 1931", pp. 180-181.
(1932h), "Besprechung von Fritz Klein, ‘Zur Theorie der abstrakten Verknüpfungen’ (1931)", ibidem, 2, p. 323; "Recensione di Klein 1931", p. 182.
(1932i), "Besprechung von Franz G. Hoensbroech, ‘Beziehungen zwischen Inhalt und Umfang von Begriffen’ (1931)", ibidem, 3, p. 289; "Recensione di Hoensbroech 1931", p. 183.
(1932j), "Besprechung von Fritz Klein, ‘Über einen Zerlegungssatz in der Theorie der abstrakten Verknüpfungen’ (1931)", ibidem, 3, p. 291; "Recensione di Klein 1932", p. 184.
(1932k), "Besprechung von Alonzo Church, ‘A set of postulates for the foundation of logic’ (1932)", ibidem, 4, p. 145-6; "Recensione di Church 1932", p. 187.
(1932l), "Besprechung von Láslzó Kalmár, ‘Ein Beitrag zum Entscheidungsproblem’ (1932)", ibidem, 4, p. 146; "Recensione di Kalmár 1932", p. 188.
(1932m), "Besprechung von Edward V. Huntington, ‘A new set of independent postulates for the algebra of logic with special reference to Whitehead and Russell’s Principia Mathematica’ (1932)", ibidem, 4, p. 146; "Recensione di Huntington 1932", p. 189.
(1932n), "Besprechung von Thoralf Skolem, ‘Über die symmetrisch allgemeinen Lösungen im identischen Kalkül’ (1932)", ibidem, 4, p. 385; "Recensione di Skolem 1932", pp. 190-191.
(1932o), "Besprechung von Hugo Dingler, ‘Philosophie der Logik und Arithmetik’ (1931)", Monatshefte für Mathematik und Physik, 39, p. 3; "Recensione di Dingler 1931", p. 192.
(1933), "Über die Parrischen Axiome", Ergebnisse eines mathematischen Kolloquiums, 4, p. 6; "Sugli assiomi di Parry", p. 194.
(1933a), "Über Unabhängigkeitsbeweise im Aussagenkalkül", ibidem, 4, pp. 9-10; "Sulle dimostrazioni di indipendenza per il calcolo proposizionale", pp. 196-197. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 158-159.]
(1933b), "Über die metrische Einbettbarkeit der Quadrupel des R3 in Kugelflächen", ibidem, 4, pp. 16-17; "Sull’immergibilità isometrica di quadruple di punti di R3 sulla superficie di una sfera", pp. 202-203.
(1933c), "Über die Waldsche Axiomatik des Zwischenbegriffes", ibidem, 4, pp. 17-18; "Sull’assiomatizzazione di Wald del concetto ‘essere tra’", pp. 204-205.
(1933d), "Zur Axiomatik der elementargeometrischen Verknüpfungs- relationen", ibidem, 4, p. 34; "Sull’assiomatizzazione delle relazioni di connessione nella geometria elementare", p. 206.
(1933e), "Zur intuitionistichen Arithmetik und Zahlentheorie", ibidem, 4, pp. 34-38; "Sull’aritmetica e teoria dei numeri intuizionista", pp. 212-217.
(1933f), "Eine Interpretation des intuitionistischen Aussagenkalküls", ibidem, 4, pp. 39-40; "Un’interpretazione del calcolo proposi- zionale intuizionista", p. 222-223. [Altra trad. it. di C. Bertini, in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 156-157.]
(1933g), "Bemerkung über projektive Abbildungen", ibidem, 5, p. 1; "Un’osservazione sulle applicazioni proiettive", p. 224.
(1933h), "Diskussion über koordinatenlose Differentialgeometrie", ibidem, 5, pp. 25-26; "Discussione sulla geometria differenziale senza coordinate", pp. 225.
(1933i), "Zum Entscheidungsproblem des logischen Funktionenkalküls", Monatshefte für Mathematik und Physik, 40, pp. 433-443; "Sul problema della decisione per il calcolo logico funzionale", pp. 226-236.
(1933j), "Besprechung von Stefan Kaczmarz, ‘Axioms for arithmetic’ (1932)", Zentralblatt für Mathematik und ihre Grenzgebiete, 5, p. 146; "Recensione di Kaczmarz 1932", p. 237.
(1933k), "Besprechung von Clarence I. Lewis, ‘Alternative systems of logic’ (1932)" ibidem, 5, pp. 337-338; "Recensione di Lewis 1932", p. 238.
(1933l), "Besprechung von Láslzó Kalmár, ‘Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten’ (1933)" ibidem, 6, pp. 385-386; "Recensione di Kalmár 1933", pp. 239-240.
(1933m), "Besprechung von Hans Hahn, ‘Reelle Funktionen’ (1932)", Monatshefte für Mathematik und Physik, 40, pp. 20-22; "Recensione di Hahn 1932", pp. 241-243.
(1934), "On undecidable propositions of formal mathematical systems", Institute for Advanced Studies, Princeton (N.J.), (appunti delle lezioni tenute da Gödel a Princeton nel febbraio-maggio 1934; redatti da Kleene, S. C. e Rosser, B. J.); rist. con revisioni e aggiunta di un poscritto in Davis, M. (a cura di), The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions , Raven Press, Hewlett, 1965, pp. 39-64; "Sulle proposizioni indecidibili dei sistemi matematici formali", pp. 252-276.
(1934a), "Besprechung von Thoralf Skolem, ‘Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem’ (1933)", Zentralblatt für Mathematik und ihre Grenzgebiete, 7, pp. 97-98; "Recensione di Skolem 1933", pp. 277.
(1934b), "Besprechung von William V. O. Quine, ‘A theorem in the calculus of classes’ (1933)", ibidem, 7, p. 98; "Recensione di Quine 1933", p. 279.
(1934c), "Besprechung von Thoralf Skolem, ‘Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems’ (1933a)", ibidem, 7, pp. 193-194; "Recensione di Skolem 1933a", p. 283.
(1934d), "Besprechung von Kien-Kwong Chen, ‘Axioms for real numbers’ (1933)", ibidem, 7, p. 385; "Recensione di Chen 1933", p. 284.
(1934e), "Besprechung von Alonzo Church, ‘A set of postulates for the foundations of logic’ (second paper) (1933)", ibidem, 8, p. 289; "Recensione di Church 1933", p. 285.
(1934f), "Besprechung von Bernard Notcutt, ‘A set of axioms for the theory of deduction’ (1934)", ibidem, 9, p. 3; "Recensione di Notcutt 1934", p. 286.
(1935), "Besprechung von Thoralf Skolem, ‘Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschlißlich Zahlenvariablen’ (1934)", ibidem, 10, p. 49; "Recensione di Skolem 1934", p. 287.
(1935a), "Besprechung von Edward V. Huntington, ‘Independent postulates related to C. I. Lewis’theory of strict implication’ (1934)", ibidem, 10, p. 49; "Recensione di Huntington 1934", p. 289.
(1935b), "Besprechung von Rudolf Carnap, ‘Die Antinomien und die Unvollständigkeit der Mathematik’ (1934)", ibidem, 11, p. 1; "Recensione di Carnap 1934", p. 290.
(1935c), "Besprechung von Laslzo Kalmar, ‘Über einen Löwenheimschen Satz’ (1934)", ibidem, 11, pp. 3-4; "Recensione di Kalmar 1934", p. 291.
(1936), "Diskussionbemerkung", Ergebnisse eines mathematischen Kolloquiums, 7, p. 6; "Osservazione", p. 294.
(1936a), "Über die Länge von Beweisen", ibidem, 7, pp. 23-24; "Sulla lunghezza delle dimostrazioni", pp. 298-299. [Altra trad. it. di C. Bertini, Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 164-165.]
(1936b), "Besprechung von Alonzo Church, ‘A proof of freedom from contradiction’ (1935)", Zentralblatt für Mathematik und ihre Grenzgebiete, 12, pp. 241-242; "Recensione di Church 1935", p. 300.

Gödel, K. (1990), Collected Works: Vol. II, Publications 1938-1974 , a cura di S. Feferman, con la collaborazione di J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, J. van Heijenoort, Oxford University Press, New York - Clarendon Press, Oxford; ed. it. a cura di E. Ballo, G. Lolli, C. Mangione, Opere: Vol. 2, 1938-1974, Boringhieri, Torino, 2002. [Traduzioni di E. Ballo (pp. 146-156, 222-250, 268-306), G. Lolli (pp. 193-221, 251, 307-311), C. Mangione (pp. 3-145, 157-192, 252-267).] Contiene:

(1938), "The consistency of the axiom of choice and of the generalized continuum hypothesis", Proceedings of the National Academy of Sciences, U.S.A., 24, pp. 556-557; �La coerenza dell�assioma di scelta e dell�ipotesi generalizzata del continuo", pp. 28-29.
(1939), "The consistency of the generalized continuum hypothesis", Bulletin of the American Mathematical Society, 45, p. 93; �La coerenza dell�ipotesi generalizzata del continuo", p. 30.
(1939a), "Consistency proof for the generalized continuum hypothesis", Proceedings of the National Academy of Sciences, U.S.A., 25, pp. 220-224; �Dimostrazione di coerenza per l�ipotesi generalizzata del continuo", pp. 31-35.
(1940), "The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory", Annals of mathematics studies, vol. 3, Princeton University Press, Princeton (appunti delle lezioni tenute da Gödel a Princeton nell’autunno del 1938, redatti da G. W. Brown); "La coerenza dell�assioma di scelta e dell�ipotesi generalizzata del continuo con gli assiomi della teoria degli insiemi", pp. 36-106.
(1944), "Russell’s mathematical logic", in Schlipp, P. A. (a cura di), The philosophy of Bertrand Russell, Library of Living Philosophers, vol. 5, Northwestern University Press, Evanston, pp. 123-153; "La logica matematica di Russell", pp. 124-145. [Altra trad. it. di C. Cellucci, "La logica matematica di Russell", in Cellucci, C. (a cura di), La filosofia della matematica, Laterza, Bari, 1967, pp. 81-112.]
(1946), "Remarks before the Princeton Bicentennial Conference on problems in mathematics"; prima ed. in Davis, M. (a cura di), The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions, Raven Press, Hewlett, 1965, pp. 84-88; "Osservazioni svolte al convegno del bicentenario di Princeton sui problemi della matematica", pp. 153-156.[Altra trad. it. di C. Cellucci, "Osservazioni al convegno su problemi di matematica per il secondo centenario di Princeton", in Cellucci, C. (a cura di), La filosofia della matematica, op. cit., pp. 137-151.]
(1947), "What is Cantor’s continuum problem?", American mathematical monthly, 54, pp. 515-525; "Che cos�� il problema del continuo di Cantor?" pp. 180-192.
(1949), "An example of a new type of cosmological solutions of Einstein’s field equations of gravitation", Reviews of modern physics, 21, pp. 447-450; "Un esempio di un nuovo tipo di soluzioni cosmologiche delle equazioni di campo gravitazionale di Einstein", pp. 195-203.
(1949a), "A remark about the relationship between relativity theory and idealistic philosophy", in Shlipp, P. A. (a cura di), Albert Einstein, philosopher-scientist, Library of Living Philosophers, vol. 7, Northwestern University Press, Evanston, pp. 555-562; "Un�osservazione sulla relazione tra la teoria della relatività e la filosofia idealistica", pp. 207-212.[Altra trad. it. di A. Gamba, "Teoria della relatività e filosofia idealistica", in Schlipp, P. A. (a cura di), Albert Einstein scienziato e filosofo , Boringhieri, Torino, 1958, pp. 503-510.]
(1952), "Rotanting universes in general relativity theory", Proceedings of the International Congress of mathematicians; Cambridge, Mass. U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence (R.I.), pp. 175-181; "Universi rotanti nella teoria della relatività generale", pp. 213-221.
(1958), "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes", Dialectica, 12, pp. 280-287; "Su un�estensione del punto di vista finitario fino a oggi non utilizzata", pp. 245-250.[Altra trad. it. di A. Oddone, "Su un’estensione fino a oggi non ancora utilizzata del punto di vista finitista", in Cagnoni, D. (a cura di), Teoria della dimostrazione, Feltrinelli, Milano, 1981, pp. 117-123.]
(1962), "Postscript to: Clifford Spector, ‘Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics’", in Dekker, J.C.E. (a cura di) "Recursive function theory", Proceedings of symposia in pure mathematics, 5, American Mathematical Society, Providence, p. 27; "Poscritto a Spector 1962", p. 251.
(1964), "What is Cantor’s continuum problem?", in Benacerraf, P., Putnam, H. (a cura di), Philosophy of Mathematics: selected readings, Prentice-Hall, Englewood Cliffs/Blackwell, Oxford, pp. 258-273 (versione rivista e ampliata dell’omonimo scritto apparso nel 1947); "Che cos’è il problema del continuo di Cantor?", pp. 252-267. [Altra trad. it. di C. Cellucci, "Che cos’è il problema del continuo di Cantor?", in Cellucci, C. (a cura di), La filosofia della matematica, op. cit., pp. 113-136.]
(1972), "On an extension of finitary mathematics which has not yet been used", versione inglese inedita, rivista e ampliata, di Gödel 1958; "Su un�estensione della matematica finitaria fino a oggi non utilizzata", pp. 268- 278.
(1972a), "Some remarks on the undecidability results" (destinato in origine a Dialectica, è pubblicato per la prima volta nel vol. II delle Collected Works); "Alcune osservazioni sui risultati di indecidibilità", pp. 305-306.
(1974), "Remark on non-standard analysis", note apparse in Robinson, A., Non-standard analysis, North-Holland, Amsterdam, 1966, 2° ed. 1974, p. X; "Osservazione sull�analisi non standard", p. 311.

Gödel, K. (1995), Collected Works: Vol. III, Unpublisched essays and lectures, a cura di S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons, R. M. Solovay, Oxford University Press, New York - Clarendon Press, Oxford. Contiene:

(1930), "Lecture on completeness of the functional calculus".
(1931?), "On undecidable sentences".
(1933), "The present situation in the foundations of mathematics" (Saluto all’American Mathematical Society, Cambridge, Mass., 1933).
(1933?), "Simplified proof of a theorem of Steinitz".
(1938), "Lecture at Zilsel’s".
(1939), "Lecture at Gottingen".
(193?), "Undecidable diophantine propositions".
(1940), "Lecture on the consistency of the continuum hypothesis".
(1941), "In what sense is intuitionistic logic constructive?" (Conferenza sui funzionali ricorsivi primitivi, Università di Yale, 1941).
(1946/49), "Some observations about the relationship between theory of relativity and Kantian philosophy" (versione ampliata di "A remark about the relationship between relativity theory and idealistic philosophy", op. cit., 1949a).
(1949), "Lecture on rotanting universes" (Princeton, 1949).
(1951), "Some basic theorems on the foundations of mathematics and their implications" (25° Conferenza Gibbs, American Mathematical Society, Providence, 26.12.1951).
(1953/9), "Is Mathematics Syntax of Language?" (Version III, destinato a Schlipp, P.A (a cura di), The philosophy of Rudolf Carnap , Library of Living Philosophers, Open Court, La Salle, 1963 - edito infine senza l’intervento di Gödel; trad. it. La filosofia di Rudolf Carnap, Il Saggiatore, Milano, 1974).
(1953/9), "Is Mathematics Syntax of Language?" (Version V).
(1961/?), "The modern development of the foundations of mathematics in the light of philosophy".
(1970), "Ontological proof".
(1970), "Some considerations leading to the probable conclusion that the true power of continuum is N2".
(1970), "A proof of Cantor’s continuum hypothesis from a highly plausible axiom about orders of growth".
(1970), "Unsent letter to Alfred Tarski".
Appendix A: Excerpt from 1946/49-A.
Appendix B: Texts relating to the ontological proof.

Gödel, K. (2002), Collected Works: Vol. IV, Selected Correspondence, A-G, a cura di S. Feferman, con la collaborazione di J. W. Dawson Jr., W. Goldfarb, C. Parson; Oxford University Press, New York - Clarendon Press, Oxford.

Gödel, K. (2002), Collected Works: Vol. V, Selected Correspondence, H-Z, a cura di S. Feferman, con la collaborazione di J. W. Dawson Jr., W. Goldfarb, C. Parson; Oxford University Press, New York - Clarendon Press, Oxford.

2. BIBLIOGRAFIA GENERALE

Agazzi, E. (1961), Introduzione ai problemi dell'assiomatica, Vita e pensiero, Milano.
Benacerraf, P., Putnam, H. (a cura di), Philosophy of Mathematics: selected readings, Prentice-Hall, Englewood Cliffs/Blackwell, Oxford.
Benedetti, P. (1979), "Fondamenti di geometria", in L. Berzolari, G. Vivanti, D. Gigli (a cura di), Enciclopedia delle matematiche elementari e complementi, Hoepli, Milano.
Bojadziev, D. (1997), "Mind versus Gödel", in M. Gams, M. Paprzycki, X. Wu (a cura di), Mind Versus Computer, IOS Press, pp. 202-210;
http://nl.ijs.si/~damjan/g-m-c.html.
Brouwer, L. E. J. (1952), "Historical Background, Principles and Methods of Intuitionism", South African Journal of Science, 49, pp. 139-143; trad. it. "Fondamenti storici, principi e metodi dell'Intuizionismo", in C. Cellucci (a cura di), La filosofia della matematica, Laterza, Bari, 1967, pp. 223-231.
Brouwer, L. E. J. (1981), Brouwer's Cambridge Lectures on Intuitionism (a cura di D. van Dalen), Cambridge University Press, Cambridge; trad. it. di S. Bernini, Lezioni sull'Intuizionismo: Cambridge 1946-1951, Boringhieri, Torino, 1983.
Cagnoni, D. (a cura di) (1981), Teoria della dimostrazione, Feltrinelli, Milano.
Cantini, A. (a cura di) (1979), I fondamenti della matematica da Dedekind a Tarski, Loescher, Torino.
Casari, E. (a cura di) (1973), La filosofia della matematica del '900, Sansoni, Firenze.
Casari, E. (a cura di) (1979), Dalla logica alla metalogica, Sansoni, Firenze.
Casti, J. L., DePauli, W. (2000), Gödel. A life of Logic, Perseus, Cambridge (Mass.); trad. it. di M. D'Agostino, Gödel: l'eccentrica vita di un genio, Cortina, Milano, 2001.
Cellucci, C. (a cura di) (1967), La filosofia della matematica, Laterza, Bari.
Cellucci, C. (a cura di) (1978), Il paradiso di Cantor, Bibliopolis, Napoli.
Chaitin, G. J. (1975), "Casualità e dimostrazione in matematica", Le Scienze, 85, pp. 30-35.
Chaitin, G. J. (1982), "Gödel's Theorem and Information", International Journal of Theoretical Physics, 22, pp. 941-954.
Cherniak, C. (1981), "The Riddle of the Universe and Its Solution", in Hofstadter, D. R., Dennett, D. C., The Mind's I, Basic Books, New York; trad. it. di G. Longo, "L'enigma dell'universo e la sua soluzione", in Hofstadter, D. R., Dennett, D. C., L'io della mente, Adelphi, Milano, 1985, pp. 264-271.
Churchland, P. M., Churchland S. P. (1990), "Può una macchina pensare?", Le Scienze, 259, pp. 22-27.
Copeland, B. J. (1998), "Turing's O-Machines, Searle, Penrose and the Brain", Analysis, 58, n. 2; http://www.phil.canterbury.ac.nz/jack_copeland/pub/turing1.pdf.
Copeland, B. J., Proudfoot, D. (1999), "Alan Turing e le reti neurali", Le Scienze, 370, pp. 94-101.
Davis, M. (1958), Computability and Unsolvability, McGraw-Hill, New York; ed. it. a cura di M. Bianca, Computabilità e insolubilità, Abete, Roma, 1975.
Davis, M. (a cura di), The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions, Raven Press, Hewlett, 1965.
Dawson, J. W., Jr. (1984), "Kurt Gödel in Sharper Focus", The mathematical Intelligencer, vol. 6, n. 4; rist. in Shanker, S. G. (a cura di), Gödel's Theorem in focus, Croom Helm Ltd., London, 1988; trad. it. di P. Pagli, "Kurt Gödel: un'immagine più nitida", in Shanker, S. G. (a cura di), Il teorema di Gödel: una messa a fuoco, Muzzio, Padova, 1991, pp. 1-19.
Dawson, J. W., Jr. (1984a), "The Reception of Gödel's Incompleteness Theorems", Philosophy of Science Association, 2; rist. in Shanker, S. G. (a cura di), Gödel Theorem in focus, op. cit.; trad. it. di P. Pagli, "L'accoglienza dei teoremi di incompletezza di Gödel", in Shanker, S. G. (a cura di), Il teorema di Gödel: una messa a fuoco, op. cit., pp. 93-118.
Dawson, J. W., Jr. (1985), "Completing the Gödel-Zermelo correspondence", Historia Mathematica, 12, pp. 66-70.
Dawson, J. W., Jr. (1996), Logical dilemmas. The Life and Work of Kurt Gödel, A. K. Peters; trad. it. di P. Pagli, Dilemmi logici: la vita e le opere di Kurt Gödel, Boringhieri, Torino, 2001.
Dawson, J. W., Jr. (1999), "Gödel e i limiti della logica", Le Scienze, 374, pp. 88-94.
Di Francesco, M. (1995), Introduzione a Russell, Laterza, Bari.
Feferman, S. (1984), "Kurt Gödel: Conviction and Caution", in Shanker, S. G. (a cura di), Gödel's Theorem in focus, op. cit. (versione rivista e ampliata di "Conviction and caution: a scientific portrait of Kurt Gödel", in Philosophia Naturalis, a cura di P. Weingartener e C. Pühringer, Philosophy of Science - History of Science. A Selection of Contributed Papers of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, Meisenheim/Glan, Hanton Hain; trad. it. di P. Pagli, "Kurt Gödel: fede e cautela", in Shanker, S. G. (a cura di), Il teorema di Gödel: una messa a fuoco, op. cit., pp. 119-142.
Feferman, S. (1995), "Penrose's Gödelian Argument: a Review of Shadows of the Mind", Psyche, 2(7); http://psyche.cs.monash.edu.au/v2/psyche-2-07-feferman.html.
Frege, G. (1884), Die Grundlagen der Arithmetik. Eine logisch matematische Untersuchung über den Begriff der Zahl, Koebner, Breslau; trad. it. "I fondamenti dell'aritmetica", in Frege, G., Logica e aritmetica, a cura di C. Mangione, Boringhieri, Torino, 1965, pp. 211-349.
Frege, G. (1965), Logica e aritmetica, raccolta di scritti a cura di C. Mangione, traduzioni di C. Mangione e L. Geymonat, Boringhieri, Torino.
Frege, G. (1969), Nachgelassene Schriften und wissenschaftlicher Briefwechsel, vol. 1, a cura di H. Hermes, F. Kambartel, F. Kaulbach, Meiner, Hamburg; trad. it. di E. Picardi, Scritti postumi, Bibliopolis, Napoli, 1986.
Frege, G. (1976), Wissenschaftlicher Briefwechsel, a cura di G. Gabriel, H. Hermes, F. Kambartel, C. Thiel, A. Veraart, Meiner, Hamburg; trad. it. parziale di A. M. Obwexer, ed. it. a cura di C. Mangione, Alle origini della nuova logica. Epistolario scientifico con Hilbert, Husserl, Peano, Russell, Vailati e altri, Boringhieri, Torino 1983.
Genesereth, M. R., Nilsson, N. J. (1987), Logical Foundations of Artificial Intelligence, Morgan Kaufmann, Los Altos.
Gentzen, G. (1935), "Untersuchungen über das logische Schließen", Mathematische Zeitschrift, 39, pp. 176-210, 405-431; trad. it. parziale in Cagnoni, D. (a cura di), Teoria della dimostrazione, op. cit., 1981.
Geymonat, L., Giorello, G. (1977), "Calcolo", in Enciclopedia Einaudi, vol. II, Einaudi, Torino, pp. 379-498.
Girard, J. Y. (1989), "Le champ du signe ou la faillite du réductionnisme", in E. Nagel, J. R. Newman, K. Gödel, J. Y. Girard, Le théorème de Gödel, Editions du Seuil, Paris; trad. it. di S. Cerrito, "Il sogno del segno o il fallimento del riduzionismo", in E. Nagel, J. R. Newman, La prova di Gödel, Boringhieri, Torino, 1992.
Gödel, R., Tausski-Todd, O., Kleene, S.C., Kreisel, G. (1987), Gödel Remembered, Bibliopolis, Napoli.
Grattan-Guinness, I. (1979), "In Memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem", Historia Mathematica, 6, pp. 294-304.
Grush, R., Churchland, P. S. (1995), "Gaps in Penrose's toilings", Journal of Consciousness Studies, 2, pp. 10-29.
Guerrerio, G. (2001), "Kurt Gödel: paradossi logici e verità matematica", I grandi della scienza, 19, (Le Scienze).
Heyting, A. (1958), "Intuizionism in Mathematics", in R. Klibansky (a cura di), Philosophy in the Mid-Century, vol. I, La Nuova Italia, Firenze, pp. 101-115; trad. it. di C. Cellucci, "L'intuizionismo in matematica", in C. Cellucci (a cura di), La filosofia della matematica, op. cit., pp. 249-267.
Heyting, A. (1984), "Intuizionismo", in Enciclopedia del Novecento, vol. III, Istituto dell'Enciclopedia Italiana Treccani, Roma, pp. 846-855.
Hilbert, D. (1899), Grundlagen der Geometrie, Teubner, Leipzig; trad. it. di P. Canetta, Fondamenti della geometria, Feltrinelli, Milano, 1970.
Hilbert, D. (1978), Ricerche sui fondamenti della matematica, antologia a cura di Vito Michele Abrusci, Bibliopolis, Napoli. Contiene:
(1900), "Über den Zahlbegriff", Jahresbericht der Deutschen Mathematiker-Vereinigung, 8, pp. 180-184; trad. it. "Sul concetto di numero", pp. 139-143.
(1900a), "Mathematische Probleme", Nachrichten von der Königlichen Gesellshaft der Wissenshaften zu Göttingen, pp. 253-297; trad. it. parziale "Problemi matematici", pp. 145-162.
(1905), "Über die Grundlagen der Logik und der Arithmetik", Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. bis 17. August 1904, Teubner, Leipzig, pp. 174-185; trad. it. "Sui fondamenti della logica e dell'aritmetica", pp. 163-175.
(1918), "Axiomatisches Denken", Mathematische Annalen, 78, pp. 405-415; trad. it. "Pensiero assiomatico", pp. 177-188.
(1922), "Neubegründung der Mathematik. Erste Mitteilung", Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, 1, pp. 157-177; trad. it. "Nuova fondazione della matematica", pp. 189-213.
(1923), "Die logischen Grundlagen der Mathematik", Mathematische Annalen, 88, pp. 151-165; trad. it. "I fondamenti logici della matematica", pp. 215-231. [Altra trad. it. parziale in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 67-79.]
(1926), "Über das Unendliche", Mathematische Annalen, 95, 161-90; trad. it. "Sull'infinito", pp. 233-266. [Altra trad. it. parziale in Cellucci, C. (a cura di), La filosofia della matematica, op. cit., pp. 161-184.]
(1928), "Die Grundlagen der Mathematik", Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, 6, pp. 65-85; trad. it. "I fondamenti della matematica", pp. 267-289. [Altra trad. it. in Cagnoni, D. (a cura di), Teoria della dimostrazione, op. cit.]
(1929), "Probleme der Grundlegung der Mathematik", Atti del Congresso internazionale dei matematici, Bologna, 3-10 ottobre 1928, Zanichelli, Bologna, vol. I, pp. 135-141; trad. it. "Problemi della fondazione della matematica", pp. 291-300.
(1930), "Naturerkennen und Logik", Naturwissenshaften, 18, pp. 959-963; trad. it. "Conoscenza della natura e logica", pp. 301-311.
(1931), "Die Grundlegung der elementaren Zahlentheorie", Mathematische Annalen, 104, pp. 485-494; trad. it. "La fondazione della teoria elementare dei numeri", pp. 313-323.
(1931a), "Beweis des tertium non datur", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Math.-Phys. Klasse, pp. 120-125; trad. it. "Dimostrazione del 'terzium non datur'", pp. 325-330.
Hilbert, D., Bernays, P. (1934), Grundlagen der Mathematik, vol. I, Springer, Berlin, 2° ed. 1968; trad. it. dei primi due paragrafi in Hilbert, D., Ricerche sui fondamenti della matematica, op. cit., pp. 341-397.
Hilbert, D., Bernays, P. (1939), Grundlagen der Mathematik, vol. II, Springer, Berlin, 2° ed. 1970; trad. it. dei paragrafi 1, 3, 5 (parzialmente) e del supplemento 1 (quasi integralmente)in Hilbert, D., Ricerche sui fondamenti della matematica, op. cit., pp. 399-474.
Hofstadter, D. R. (1979), Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, New York; trad. it. di B. Veit, G. Longo, G. Trautteur, S. Termini, B. Garofalo, Gödel, Escher, Bach: un'eterna ghirlanda brillante, Adelphi, Milano, 1994.
Hofstadter, D. R., Dennett, D. C. (a cura di) (1981), The Mind's I. Fantasies and Reflections on Self and Soul, Basic Books, New York; trad. it. G. Longo, L'io della mente. Fantasie e riflessioni sul sé e sull'anima, Adelphi, Milano, 1985.
Kant, I. (1781), Kritik der reinen Vernunft, Hartknoch, Riga, 2° ed. 1787; trad. it. di G. Colli, Critica della ragione pura, (2 voll.), Adelphi, Milano, 1976, rist. RCS libri, Milano, 1996.
Kleene, S. C. (1976), "The Work of Kurt Gödel", The Journal of Symbolic Logic, 41, pp. 761-778; rist. in Shanker, S. G. (a cura di), Gödel's Theorem in focus, op. cit.; trad. it. di P. Pagli, "L'opera di Kurt Gödel", in Shanker, S. G. (a cura di), Il teorema di Gödel: una messa a fuoco, op. cit., pp. 63- 90.
Kleene, S. C. (1978), "An Addendum to 'The Work of Kurt Gödel'", ibidem, 43, p. 613; rist. in Shanker, S. G. (a cura di), Gödel's Theorem in focus, op. cit.; trad. it. di P. Pagli, "L'opera di Kurt Gödel-Addendum", in Shanker, S.G. (a cura di), Il teorema di Gödel: una messa a fuoco, op. cit., pp. 91-92.
Kline, M. (1972), Mathematical Thought from Ancient to Modern Times, Oxford University Press, New York; ed. it. a cura di A. Conte, trad. di L. Lamberti, Storia del pensiero matematico, 2 vol., Einaudi, Torino, 1991.
Lolli, G. (1992), Incompletezza: saggio su Kurt Gödel, Mulino, Bologna.
Lolli, G. (1991), Introduzione alla logica formale, Mulino, Bologna.
Lolli, G. (1985), Le ragioni fisiche e le dimostrazioni matematiche, Mulino, Bologna.
Lucas, J. R. (1961), "Minds, machines and Gödel", Philosophy, 36, pp. 112-127; rist. in Anderson, A. R. (a cura di), Minds and Machines, Englewood Cliffs (N.J.), Prentice-Hall, 1964, pp. 43-59; http://users.ox.ac.uk/~jrlucas/mmg.html.
Magnani, L., Gennari, R. (1997), Manuale di logica, Guerini e Associati, Milano.
Mangione, C., Bozzi, S. (1993), Storia della logica: da Boole ai nostri giorni, Garzanti, Milano.
Mendelson, E. (1964), Introduction to Mathematical Logic, D. Van Nostrand Company, Princeton, (N.J.); trad. it. di T. Pallucchini, Introduzione alla logica matematica, Boringhieri, Torino 1972.
Minsky, M. L. (1968), "Matter, Mind and Models", in M. L. Minsky (a cura di), Semantic Information Processing, M.I.T. Press, Cambridge; trad. it. di M. Stanzione, "Materia, mente e modelli", in V. Somenzi, R. Cordeschi (a cura di), La filosofia degli automi. Origini dell'intelligenza artificiale, Boringhieri, Torino, 1986, pp. 307-315.
Nagel, E., Newman, J. R. (1958), Gödel's proof, New York University Press, New York; nuova ed. Nagel, E., Newman, J. R., Gödel, K., Girard, J. Y., Le théorème de Gödel, Editions du Seuil, Paris, 1989; trad. it. di L. Bianchi, S. Cerito, La prova di Gödel, Boringhieri, Torino, 1974, 2° ed. accresciuta 1992.
Peano, G. (1891), "Sul concetto di numero", Rivista di matematica, 1, pp. 87-102, 256-267.
Penrose, R. (1989), The Emperor's New Mind: Concerning computers, minds, and the laws of physics, Oxford University Press, Oxford; trad. it. di L. Sosio, La mente nuova dell'imperatore: la mente, i computers, le leggi della fisica, Rizzoli, Milano, 1992.
Penrose, R. (1994), Shadows of the Mind: A search for missing science of consciousness, Oxford University Press, Oxford; trad. it. di E. Diana, Ombre della mente: alla ricerca della coscienza, Rizzoli, Milano, 1996.
Penrose, R. (1996), "Beyond the Doubting of a Shadow: a Reply to Commentaries on Shadows of the Mind", Psyche, 2 (23);
http://psyche.cs.monash.edu.au/v2/psyche-2-23-penrose.html.
Penrose, R. (1997), The Large, the Small and the Human Mind, Cambridge University Press, Cambridge; trad. it. di N. Notarianni, Il grande, il piccolo e la mente umana, Cortina, Milano, 1998.
Peruzzi, A. (1997), Definizione, La Nuova Italia, Firenze.
Putnam, H. (1981), "Ricorsività", Enciclopedia Einaudi, vol. 12, Einaudi, Torino, pp. 33-61.
Putnam, H. (1995), "Review of Shadows of the Mind", Bulletin of the American Mathematical Society, 32, pp. 370-373;
http://www.ams.org/journals/bull/pre-1996-data/199507/199507015.tex.html.
Quine, W. V. O. (1959), Methods of logic, Holt, New York; trad. it. di M. Pacifico, Manuale di logica, Feltrinelli, Milano, 1960.
Quine, W. V. O. (1962), "Paradox", Scientific American, 206; rist. in The Ways of Paradox and other Essays, Random House, New York, 1966; trad. it. "I modi del paradosso" in I modi del paradosso e altri saggi, a cura di M. Santambrogio, Il Saggiatore, Milano, 1975, pp. 75-91.
Ramsey, F. P. (1925), "The Foundations of Mathematics", Proceedings of the London Mathematical Society, serie 2, 25, pp. 338-384; rist. in The Foundations of Mathematics and other logical essays, Kegan Paul, London, 1931, pp. 1-61; trad. it. di E. Belli-Nicoletti, M. Valente, I fondamenti della matematica e altri scritti di logica, Feltrinelli, Milano, 1964.
Rasetti, M. (2000), "Dal bit al qu-bit: per sfidare la complessità", Le Scienze, 385, pp. 82-88.
Regge, T. (1999), L'universo senza fine. Breve storia del Tutto: passato e futuro del cosmo, Mondadori, Milano.
Rivetti Barbò, F. (1961), L'antinomia del mentitore nel pensiero contemporaneo. Da Pierce a Tarski, Vita e Pensiero, Milano, (2° ed. rivista 1964).
Russell, B. (1903), The Principles of Mathematics, Cambridge University Press, Cambridge; trad. it. a cura di L. Geymonat, I Principi della matematica, Longanesi, Milano 1951.
Russell, B. (1919), Introduction to Mathematical Philosophy, Allen and Unwin, London; trad. it. di L. Pavolini, Introduzione alla filosofia matematica, Longanesi, Milano 1947.
Sani, A. (1998), Infinito, La Nuova Italia, Firenze.
Searle, J. R. (1980), "Minds, brains and programs", in The Behavioral and Brain Sciences, 3, Cambridge University Press, Cambridge; trad. it. di G. Longo, "Menti, cervelli e programmi", in Hofstadter, D. R., Dennett, D. C. (a cura di), L'io della mente, op. cit., pp. 341-360.
Searle, J. R. (1990), "La mente è un programma?", Le Scienze, 259, pp. 16-21.
Shanker, S. G. (a cura di) (1988), Gödel's Theorem in focus, Croom Helm, London; trad. it. di P. Pagli, Il teorema di Gödel. Una messa a fuoco, Muzzio, Padova, 1991.
Skolem, T. (1920), "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen", Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mathematisknaturvidenskabelig klass, 4, pp. 1-36; trad. it. di A. Cantini, "Ricerche logico-combinatorie sulla soddisfacibilità delle proposizioni matematiche unitamente a un teorema sugli insiemi densi", in Casari, E. (a cura di), Dalla logica alla metalogica, op. cit., pp. 93-106.
Skolem, T. (1923), "Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre", Wissenschaftliche Vorträge gehalten auf dem Fünften Kongress der Skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922, Helsingfors, pp. 217-232; trad. it. di R. Cordeschi, "Osservazioni sulla fondazione assiomatica della teoria degli insiemi", in C. Cellucci (a cura di), Il paradiso di Cantor, op. cit., pp. 157-76.
Tarski, A. (1936), "Der Wahrheitsbegriff in den formalisierten Sprachen", Studia philosophica, 1, pp. 261-405 (trad. in tedesco di L. Blaustein dall'ed. originale polacca del 1933); trad. it. dal tedesco, rivista sull'originale polacco, "Il concetto di verità nei linguaggi formalizzati", in F. Rivetti Barbò, L'antinomia del mentitore nel pensiero contemporaneo, op. cit., pp. 391-677.
Tarski, A. (1944), "The semantic conception of truth and the foundations of semantics", Philosophy and Phenomenological Research, 4, pp. 341-376.
Tarski, A. (1969), "Verità e dimostrazione", Le Scienze, 12, pp. 20-29; rist. in Casari, E. (a cura di), La filosofia della matematica del '900, op. cit., 1973, pp. 68-95.
Thagard, P. (1996), Mind. Introduction to Cognitive Science, Massachusetts Institute of Technology; ed. it. a cura di L. Magnani, trad. di A. M. Marchini, La mente. Introduzione alla scienza cognitiva, Guerini, Milano, 1998.
Turing, A. M. (1950), "Computing Machinery and Intelligence", Mind, 59, pp. 433-460; trad. it. di N. Dazzi, "Macchine calcolatrici e intelligenza", in Somenzi, V., Cordeschi, R. (a cura di), La filosofia degli automi. Origini dell'intelligenza artificiale, op. cit., pp. 157-183.
van Heijenoort, J. (a cura di) (1967) From Frege to Gödel: a source book in mathematical logic, 1879-1931, Harvard University Press, Cambridge.
Wang, H. (1974), From Mathematics to Philosophy, Routledge and Kegan Paul, London; trad. it. di A. Giacomelli, Dalla matematica alla filosofia, Boringhieri, Torino, 1984.
Whitehead, A.N., Russell B. (1910-1913), Principia Mathematica, Cambridge Universiy Press, Cambridge, 2° ed. 1925-1927 ; trad. it. parziale Introduzione ai Principia Mathematica, a cura di P. Parrini, La Nuova Italia, Firenze, 1977.
Zermelo, E. (1908), "Untersuchungen über die Grundlagen der Mengenlehre, I", Mathematische Annalen, 65, pp. 261-281; trad. it. parziale "Ricerche sui fondamenti della teoria degli insiemi", in Cantini, A. (a cura di), I fondamenti della matematica, op. cit., pp. 186-192.
Zermelo, E. (1930), "Über Grenzzahlen und Mengenbereiche", Fundamenta Mathematicae, 16, pp. 29-47; trad. it. di U. Volli, "Numeri confine e domini di insiemi", in C. Cellucci (a cura di ), Il paradiso di Cantor, op. cit., pp. 175-196.

• Precedente • Indice •