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 : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | M 10966 | Prêt sur place | Disponible |
BU Lettres
| | Cote | Prêt | Statut |
|---|---|---|---|
| Document à demander aux points d'accueil | S 5879 | Empruntable | Disponible |