Le théorème de Gödel
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , , , |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Editions du Seuil,
DL 1989.
|
| Collection: | Sources du savoir
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Traduit de: | -- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I |
| Lien: | Est constitué de:
Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) Est constitué de: Le champ du signe ou la faillite du réductionisme Est constitué de: La démonstration de Gödel |
| Description: | Trad. de : "Gödel's proof", E. Nagel et J. R. Newman ; et de : "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I", Gödel, 1931 Autre contribution : Jean-Yves Girard (auteur d'un commentaire) Autre(s) tirage(s) : 1994 |
|---|---|
| Description matérielle: | 1 vol. (178 p.) : ill., portr. ; 21 cm. |
| Bibliographie: | Bibliogr. p. [173]. Notes bibliogr. Index |
| ISBN: | 2020106523 (br.) : |