Le théorème de Gödel
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Livre |
| Γλώσσα: | Français |
| Έκδοση: |
Paris :
Éd. du Seuil,
DL 1997.
|
| Σειρά: | Points. Sciences
122 |
| Θέματα: | |
| Autres localisations: | Voir dans le Sudoc |
| Περίληψη: | Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célèbre théorème d' "incomplétude". [Source : 4e de couv.] |
| Μετάφραση από: | -- Gödel's proof, cop. 1958 -- Über formal unentscheidbare Sätze der "Principia mathematica" und verwandter Systeme, I, cop. 1931 |
Πίνακας περιεχομένων:
- La démonstration de Gödel / par Ernest Nagel & James R. Newman
- Sur les propositions formellement indécidables des "Principia mathematica" et des systèmes apparentés / 1 / par Kurt Gödel
- Le champ du signe ou la faillite du réductionnisme / par Jean-Yves Girard