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: | , , , |
|---|---|
| Autres auteurs: | |
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
Paris :
Éd. du Seuil
DL 1997.
|
| Collection: | Points. Sciences
122 |
| Sujets: | |
| Note: |
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 |
Bourges - BU
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| RDC, Mathématiques Physique Chimie | 511.3 THE | Disponible |
Orléans - BU Sciences Technologies STAPS
| Localisation | Cote | Type de prêt | Statut | |
|---|---|---|---|---|
| Mathématiques, 1er étage | 511.3 THE | Disponible |