Le Théorème de Gödel

Le Théorème de Gödel

Saved in:
Bibliographic Details
Main Author : Nagel Ernest (Auteur)
Other Authors : Girard Jean-Yves (Auteur de la postface), Scherrer Jean-Baptiste (Traducteur), Marchaisse Thierry (Éditeur scientifique)
Format : Book
Language : français
Title statement : 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]
Published : Paris : Ed. du Seuil , DL 1989
Physical Description : 1 vol. (178 p.)
Series : Sources du savoir (Paris)
Traduction de : Gödel's Proof
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme
Content : 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
Contents : 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
Subjects :
Logique mathématique
Théorie des nombres
Gödel, Théorème de

BU Censive

Holdings details from BU Censive
Location Call Number Loan type Status
Bât. Censive, 1er étage, salle 111 M 10966 Prêt sur place Disponible

BU Lettres

Holdings details from BU Lettres
Location Call Number Loan type Status
Document à demander aux points d'accueil S 5879 Empruntable Available