Le théorème de Gödel
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | , , , , |
| Định dạng: | Livre |
| Ngôn ngữ: | Français |
| Được phát hành: |
Paris :
Editions du Seuil,
DL 1989.
|
| Loạt: | Sources du savoir
|
| Những chủ đề: | |
| Autres localisations: | Voir dans le Sudoc |
| Bản dịch của: | -- Gödel's proof -- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I |
Mục lục:
- 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