Le théorème de Gödel
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , , , |
| Format: | Livre |
| Language: | Français |
| Published: |
Paris :
Editions du Seuil,
DL 1989.
|
| Series: | Sources du savoir
|
| Subjects: | |
| Autres localisations: | Voir dans le Sudoc |
| Translation of: | -- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I |
Table of Contents:
- 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
- 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