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...
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Andre forfattere: | |
| Format: | Livre papier |
| Sprog: | Français |
| Udgivet: |
Paris :
Éd. du Seuil
DL 1997.
|
| Serier: | Points. Sciences
122 |
| Fag: | |
| Kommentar: |
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 |
| Summary: | 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.] |
|---|---|
| Emne beskrivelse: | Traduit de : "Gödel's proof", et de : "Über formal unentscheidbare Sätze der 'Principia mathematica' und verwandter Systeme. I" |
| Fysisk beskrivelse: | 1 volume (178 pages) : portrait ; 18 cm. |
| Bibliografi: | Notes bibliographiques. Bibliographie p. [173]. Index |
| ISBN: | 9782020327787 : 2020327783 (br.) : |