Le théorème de Gödel
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | Nagel, Ernest, 1901-1985. |
---|---|
Άλλοι συγγραφείς: | Newman, James R., 1907-1966., Gödel, Kurt, 1906-1978., Girard, Jean-Yves, 1947-, Scherrer, Jean-Baptiste., Marchaisse, Thierry, 1955- |
Μορφή: | Livre |
Γλώσσα: | Français |
Έκδοση: |
Paris :
Editions du Seuil,
DL 1989.
|
Σειρά: | Sources du savoir
|
Θέματα: | |
Autres localisations: | Voir dans le Sudoc |
Μετάφραση από: | -- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I |
Παρόμοια τεκμήρια
-
Le théorème de Gödel
ανά: Nagel, Ernest, 1901-1985.
Έκδοση: 1997 -
Gödel's proof
ανά: Nagel, Ernest, 1901-1985.
Έκδοση: 1959 -
Gödel : logique à la folie.
Έκδοση: 2004 -
Kurt Gödel
Έκδοση: 2005 -
Les démons de Gödel : logique et folie
ανά: Cassou-Noguès, Pierre, 1971-
Έκδοση: 2007