Le théorème de Gödel
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , , |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Éd. du Seuil,
DL 1997.
|
| Collection: | Points. Sciences
122 |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Résumé: | Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème d' "incomplétude". [Source : 4e de couv.] |
| Traduit de: | -- Gödel's proof, cop. 1958 -- Über formal unentscheidbare Sätze der "Principia mathematica" und verwandter Systeme, I, cop. 1931 |
| Lien: | Est constitué de:
La démonstration de Gödel Est constitué de: Sur les propositions formellement indécidables des "Principia mathematica" et des systèmes apparentés Est constitué de: Le champ du signe ou la faillite du réductionnisme |
| LEADER | 02060nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 414628 | ||
| 008 | 971125t19971989xxe ||| |||| 00| 0 fre d | ||
| 020 | |a 9782020327787 : |c 7,60 EUR | ||
| 020 | |a 2020327783 (br.) : |c 43 FRF : 7,50 EUR | ||
| 024 | |a 9782020327787 | ||
| 041 | 1 | |a fre |h eng |h ger | |
| 080 | |a 51 | ||
| 082 | |a 510 | ||
| 100 | 1 | |a Nagel, Ernest, |d 1901-1985. | |
| 245 | 1 | 3 | |a Le théorème de Gödel |c Ernest Nagel, James R. Newman, Kurt Gödel... [et al.] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. |
| 260 | |a Paris : |b Éd. du Seuil, |c DL 1997. | ||
| 300 | |a 1 vol. (178 p.) : |b portr. ; |c 18 cm. | ||
| 490 | 1 | |a Points. Sciences |v 122 | |
| 500 | |a Trad. de : "Gödel's proof", et de : "Über formal unentscheidbare Sätze der 'Principia mathematica' und verwandter Systeme. I" | ||
| 504 | |a Notes bibliogr. Bibliogr. p. [173]. Index | ||
| 520 | |a Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème d' "incomplétude". [Source : 4e de couv.] | ||
| 650 | |a Métamathématique | ||
| 650 | |a Mathématiques |x Philosophie | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Gödel, Théorème de | ||
| 700 | 1 | |a Newman, James R., |d 1907-1966. |4 aut | |
| 700 | 1 | |a Gödel, Kurt, |d 1906-1978. |4 aut | |
| 700 | 1 | |a Girard, Jean-Yves, |d 1947- |4 aut | |
| 700 | 1 | |a Scherrer, Jean-Baptiste. |4 trl | |
| 765 | 0 | |t Gödel's proof |d cop. 1958 | |
| 765 | 0 | |t Über formal unentscheidbare Sätze der "Principia mathematica" und verwandter Systeme |h I |d cop. 1931 | |
| 774 | 0 | |t La démonstration de Gödel |f par Ernest Nagel & James R. Newman | |
| 774 | 0 | |t Sur les propositions formellement indécidables des "Principia mathematica" et des systèmes apparentés |h 1 |f par Kurt Gödel | |
| 774 | 0 | |t Le champ du signe ou la faillite du réductionnisme |f par Jean-Yves Girard | |
| 993 | |a Livre | ||
| 995 | |a 004281632 | ||
| 997 | |0 414628 | ||