Le théorème de Gödel
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...
Salvato in:
| Autori principali: | , , , |
|---|---|
| Altri autori: | |
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Éd. du Seuil
DL 1997.
|
| Serie: | Points. Sciences
122 |
| Soggetti: | |
| Nota: |
Traduit de : "Gödel's proof", et de : "Über formal unentscheidbare Sätze der 'Principia mathematica' und verwandter Systeme. I" |
| Autres localisations: | Voir dans le Sudoc |
| Contient: | • La démonstration de Gödel, par Ernest Nagel & James R. Newman • Sur les propositions formellement indécidables des "Principia mathematica" et des systèmes apparentés, 1, par Kurt Gödel • Le champ du signe ou la faillite du réductionnisme, par Jean-Yves Girard |
| LEADER | 02338nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 102419 | ||
| 008 | 971125t19971989xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN004281632 | ||
| 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, |c philosophe, logicien. | |
| 245 | 1 | 0 | |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 volume (178 pages) : |b portrait ; |c 18 cm. | ||
| 490 | 0 | |a Points. Sciences |v 122 | |
| 500 | |a Traduit de : "Gödel's proof", et de : "Über formal unentscheidbare Sätze der 'Principia mathematica' und verwandter Systeme. I" | ||
| 504 | |a Notes bibliographiques. Bibliographie 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 Théorème de Gödel | ||
| 700 | 1 | |a Newman, James R., |d 1907-1966, |c mathématicien. |4 aut | |
| 700 | 1 | |a Gödel, Kurt, |d 1906-1978. |4 aut | |
| 700 | 1 | |a Girard, Jean-Yves, |d 1947-...., |c mathématicien-logicien. |4 aut | |
| 700 | 1 | |a Scherrer, Jean-Baptiste, |c traducteur. |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 | |
| 997 | |0 102419 |1 Livre papier |a Ressource papier |c 0/Bourges/ |c 0/Orléans/ |c 1/Bourges/BU/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Bourges, BU, 511.3 THE |z Orléans, BU Sciences, Technologies, STAPS, 511.3 THE | ||