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 |
Table des matières:
- 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