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 |
| LEADER | 02089nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 172441 | ||
| 008 | 891113t19891989xxe ||| |||| 00| 0 fre d | ||
| 020 | |a 2020106523 (br.) : |c 125 FRF : 21,70 EUR | ||
| 024 | |a 9782020106528 | ||
| 041 | 1 | |a fre |h ger |h eng | |
| 080 | |a 51 | ||
| 082 | |a 511.3 | ||
| 084 | |a F.4 | ||
| 084 | |a 03D35 |c 2000 | ||
| 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 ; [édité par Thierry Marchaisse]. |
| 260 | |a Paris : |b Editions du Seuil, |c DL 1989. | ||
| 300 | |a 1 vol. (178 p.) : |b ill., portr. ; |c 21 cm. | ||
| 490 | 0 | |a Sources du savoir | |
| 500 | |a 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 | ||
| 500 | |a Autre contribution : Jean-Yves Girard (auteur d'un commentaire) | ||
| 500 | |a Autre(s) tirage(s) : 1994 | ||
| 504 | |a Bibliogr. p. [173]. Notes bibliogr. Index | ||
| 505 | 0 | |a La démonstration de Gödel / Ernest Nagel, James R. Newman -- Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) / Kurt Gödel -- Le champ du signe ou La faillite du réductionisme / Jean-Yves Girard | |
| 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 cwt | |
| 700 | 1 | |a Scherrer, Jean-Baptiste. |4 trl | |
| 700 | 1 | |a Marchaisse, Thierry, |d 1955- |4 edt | |
| 765 | 0 | |t Gödel's proof | |
| 765 | 0 | |t Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme |h I | |
| 774 | 0 | |t Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) | |
| 774 | 0 | |t Le champ du signe ou la faillite du réductionisme | |
| 774 | 0 | |t La démonstration de Gödel | |
| 993 | |a Livre | ||
| 994 | |a PS | ||
| 994 | |a EX | ||
| 995 | |a 00150875X | ||
| 997 | |0 172441 | ||