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.]
    • 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