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, [rif.]
    • La completezza degli assiomi del calcolo funzionale logico
  • 1931  Diskussion zur Grundlegung der Mathematik, [rif.] [rif.1]
    • Discussione sulla fondazione della matematica, Bollati Boringhieri, Torino, 1999
    • in: Opere. Vol. 1
  • 1931  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, [rif.] [rif.1] [rif.2] [rif.3]
    • Sulle proposizioni formalmente indecidibili dei Principia Mathematica e di sistemi affini, Vita e Pensiero, 1961
    • in: E. AGAZZI, Introduzione ai problemi dell'assiomatica
  • 1934  On Undecidable Propositions of Formal Mathematical Systems, [rif.]
    • Sulle proposizioni indecidibili dei sistemi matematici formali
  • 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
  • 1949  A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy, [rif.]
    • Teoria della relativitŕ e filosofia idealistica, Boringhieri, Torino, 1958
    • in: Albert Einstein, scienziato e filosofo
  • 1949  An example of a new type of cosmological solutions of Einstein's field equations of gravitation, [rif.]
    • Un esempio di un nuovo tipo di soluzioni cosmologiche delle equazioni di campo gravitazionale di Einstein, Bollati Boringhieri, Torino, 1999
    • in: Opere
  • 1951  Some Basic Theorems on the Foundations of Mathematics and Their Implications, [rif.]
    • Alcuni teoremi basilari sui fondamenti della matematica e loro implicazioni filosofiche
  • 1955  Ontological Proof, O.U.P:, Oxford
    • in: Collected Works, vol.3
  • 1962  On Formally Undecidable Propositions, Basic Books, New York
  • 1969  Tribute to Dr. Gödel [aut. J. von Neumann], Springer-Verlag, New York, [rif.]
    • in: J.J. Bullof et al. (a cura di), Symposium Papers Commemorating the Sixtieth Brithday of Kurt Gödel
  • 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 [aut. John W. Jr. Dawson], Bollati Boringhieri, 2001
  • 2005  Gödel's Theorem. An Incomplete Guide to Its Use and Abuse [aut. T. Franzén], AK Peters, Natick, [rif.]
  • 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! [aut. Francesco Berto]