copertine     matematica     TecaLibri

Kurt Gödel:  opere

  • 1906  Nasce il 28 aprile a Brünn, oggi Brno, Moravia.
  • 1930  Die Vollständigkeit der Axiome des logischen Funktionenkalcüls [La completezza degli assiomi del calcolo funzionale logico]
  • 1931  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System [Sulle proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini], Vita e Pensiero, [rif.] [rif.1]
    • in: E. AGAZZI, Introduzione ai problemi dell'assiomatica
  • 1940  The Consistency of the Continuum Hypothesis
  • 1955  Ontological Proof, O.U.P:, Oxford
    • in: Collected Works, vol.3
  • 1962  On Formally Undecidable Propositions, Basic Books, New York
  • 1978  Muore a Princeton.
  • 1986  Collected Works [3 voll.], a cura di S. Feferman, J.W. Dawson, W. Goldfarb, Ch. Parsons, R. N. Solovay, Oxford University Press, Oxford, [rif.]
    • Opere [3 voll.], Bollati Boringhieri, 1999
    • a cura di: E. Ballo, S. Bozzi, G. Lolli, C. Mangione
  • 1997  Logical Dilemmas: The Life and Work of Kurt Gödel, A. K. Peters, Wellesley, Mass., [rif.]
    • Dilemmi logici. La vita e l'opera di Kurt Gödel [di John W. Jr. Dawson], Bollati Boringhieri, 2001
  • 2005  A World Without Time. The Forgotten Legacy of Gödel and Einstein
  • 2007  Les démons de Gödel. Logique et folie, Seuil, Paris, 2007
  • 2008  Tutti pazzi per Gödel! [di Francesco Berto]