Kurt Gödel (1906-1978)

Country : États-Unis
Language : anglais
Gender : masculin
Birth : Brno (République tchèque), 02-04-1906
Death : Princeton (N.J.), 14-01-1978
Note :
A écrit aussi en allemand
Docteur ès mathématiques (Vienne, 1929) et logicien, auteur de découvertes en théorie des ensembles. - Prénoms complets : Kurt, Friedrich
Field : Mathématiques
Variant of the name : Kurt Goedel (1906-1978)
ISNI : ISNI 0000 0001 1031 567X

Activities of Kurt Gödel (1906-1978) (16 resources in data.bnf.fr)

Textual works (11)

Gödel
Kurt Gödel papers
Unpublished philosophical essays
The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory
On formally undecidable propositions of principia mathematica and related systems
Collected works Volume II
Collected works Volume I
Collected works
Collected works
La démonstration, par Kurt Gödel, de la comptabilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles
On Formally undecidable propositions of "Principia mathematica" and related systems [Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I]. Translated by B. Meltzer, with an introduction by R. B. Braithwaite

Mixed works (5)

Collected works Volume IV
Collected works Volume V
Sur les propositions formellement indécidables de "Principia mathematica" et des systèmes apparentés I. - [2]
Collected works Volume III
Le Théorème de Gödel

Documents about Kurt Gödel (1906-1978) (40 resources in data.bnf.fr)

Livres (40)

Kurt Gödel, philosopher-scientist
Les démons de Gödel
Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
L'intuition a sa logique
Interpreting Gödel
Che cos'è il tempo ?
Les démons de Gödel
After Gödel
Kurt Gödel and the foundations of mathematics
Kurt Gödel and the foundations of mathematics
Hegel und Gödel
Thinking on the Web
Prosa oder Beweis ?
Gödel, Putnam, and functionalism
Les démons de Gödel
Sotto il segno di Gödel
L'aventure mathématique
Incompleteness
Kurt Gödel und die Mathematische Logik
Einstein-Gödel
Gödel
Collected works Volume IV
Collected works Volume V
Memoirs of a proof theorist
Gödel
Kurt Gödel
Kurt Gödel papers
Musil, Gödel, Wittgenstein und das Unendliche
Gödel
On Gödel
Logical dilemmas
A logical journey
Gödel, Escher, Bach
The disappearance of time
Gödel remembered
Mathematical logic and its applications
Reflections on Kurt Gödel
Gödel, Escher, Bach
Inhaltliches Denken und formale Systeme
Gödel's proof

See also