copertine     TecaLibri

Kurt Gödel:  opere

  • 1906  Nasce il 28 aprile a Brünn, oggi Brno, Moravia.
  • 1929  Über die Vollständigkeit des Logikkalküls, [rif.]
    • On the Completeness of the Calculus of Logic, Oxford University Press, Oxford, 1986
    • in: Collected Works. Vol 1
  • 1929  Über die Vollständigkeit des Logikkalküls, [rif.]
    • Sulla completezza del calcolo della logica, Bollati Boringhieri, Torino, 1999
    • in: Opere. Vol. 1
  • 1930  Vortrag über Vollständigkeit des Funktionenkalküls, [rif.]
    • Conferenza sulla completezza del calcolo funzionale, Bollati Boringhieri, Torino, 1999
    • in: Opere. Vol. 3
  • 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
  • 1931  Diskussion zur Grundlegung der Mathematik, [rif.]
    • Discussione sulla fondazione della matematica, Bollati Boringhieri, Torino, 1999
    • in: Opere. Vol. 1
  • 1940  The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton University Press, [rif.]
  • 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 [5 voll.] [1986-2002], Oxford University Press, Oxford, [rif.] [rif.1] [rif.2]
    • a cura di: S. Feferman, J.W. Dawson, W. Goldfarb, Ch. Parsons, R. N. Solovay
  • 1986  Opere [3 voll.], Bollati Boringhieri
    • 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]