Nantilus
Le Théorème de Gödel
Enregistré dans:
| Auteur principal : | |
|---|---|
| Autres auteurs : | , , |
| Format : | Livre |
| Langue : | français |
| Titre complet : | Le Théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel; [postface de] Jean-Yves Girard; traduit de l'anglais et de l'allemand par Jean-Baptiste Scherrer; [édité sous la direction de Thierry Marchaisse] |
| Publié : |
Paris :
Ed. du Seuil
, DL 1989 |
| Description matérielle : | 1 vol. (178 p.) |
| Collection : | Sources du savoir (Paris) |
| Traduction de : | Gödel's Proof Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme |
| Contenu : | 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 |
| Contient : | Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) Le champ du signe ou la faillite du réductionisme La démonstration de Gödel |
| Sujets : |
| LEADER | 02706cam a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN00150875X | ||
| 005 | 20230601055300.0 | ||
| 010 | |a 2-02-010652-3 |b br. |d 99 F | ||
| 020 | |a FR |b 09004758 | ||
| 021 | |a FR |b DL 89-21495 | ||
| 035 | |a ocm21566850 | ||
| 035 | |a lm18856 | ||
| 035 | |a sib0186022 | ||
| 035 | |a urouen71648 | ||
| 035 | |a frBN00733367X | ||
| 035 | |a DYNIX_BUNAN_216112 | ||
| 073 | 0 | |a 9782020106528 | |
| 100 | |a 19891113d1989 k y0frey0103 ba | ||
| 101 | 1 | |a fre |c ger |c eng | |
| 102 | |a FR | ||
| 105 | |a ac zz 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Le Théorème de Gödel |b Texte imprimé |f Ernest Nagel, James R. Newman, Kurt Gödel |g [postface de] Jean-Yves Girard |g traduit de l'anglais et de l'allemand par Jean-Baptiste Scherrer |g [édité sous la direction de Thierry Marchaisse] | |
| 210 | |a Paris |c Ed. du Seuil |d DL 1989 |e 61-Alençon |g Normandie Impr. | ||
| 215 | |a 1 vol. (178 p.) |c ill., portr. |d 21 cm | ||
| 225 | 2 | |a Sources du savoir | |
| 320 | |a Bibliogr. p. 173. Index | ||
| 327 | 1 | |a La démonstration de Gödel / Ernest Nagel, James R. Newman |a Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) / Kurt Gödel |a Le champ du signe ou La faillite du réductionisme / Jean-Yves Girard | |
| 410 | | | |0 001511580 |t Sources du savoir (Paris) |x 1144-6676 | |
| 454 | | | |t Gödel's Proof | |
| 454 | | | |t Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme |h I | |
| 464 | | | |t Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés (1) | |
| 464 | | | |t Le champ du signe ou la faillite du réductionisme | |
| 464 | | | |t La démonstration de Gödel | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027270475 |a Théorie des nombres |2 rameau | ||
| 606 | |3 PPN027351432 |a Gödel, Théorème de |2 rameau | ||
| 675 | |a 51 |v Éd. 1967 | ||
| 676 | |a 510 | ||
| 680 | |a QA9 | ||
| 686 | |a F.4 |2 acm | ||
| 686 | |a 03D35 |c 2000 |2 msc | ||
| 700 | 1 | |3 PPN028526775 |a Nagel |b Ernest |f 1901-1985 |4 070 | |
| 702 | 1 | |3 PPN026892669 |a Girard |b Jean-Yves |f 1947-.... |4 075 | |
| 702 | 1 | |3 PPN029723663 |a Scherrer |b Jean-Baptiste |4 730 | |
| 702 | 1 | |3 PPN115988874 |a Marchaisse |b Thierry |f 1955-.... |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20100720 |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 3 | |a FR |b BN |g AFNOR | |
| 915 | |5 441092102:179909037 |a 0080770798 |b 0080770798 | ||
| 919 | |5 441092102:179909037 |a 0080770798 | ||
| 930 | |5 441092102:179909037 |b 441092102 |a S 5879 |j u | ||
| 930 | |5 441842201:42357907X |b 441842201 |a 511 THE |j u | ||
| 979 | |a LET | ||
| 979 | |a PHILO | ||
| 998 | |a 172820 | ||