On formally undecidable propositions of principia mathematica and related systems
Résumé
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
No Contents
L'auteur - Kurt Godel
Kurt Gödel (1906-1978). " Le plus grand logicien depuis Aristote " (von Neumann) est né à Brno - dans l'actuelle Tchéquie - et a émigré aux Etats-Unis en 1940. Ses principales contributions se rattachent à la logique et à la théorie des ensembles.
Autres livres de Kurt Godel
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Dover |
Auteur(s) | Kurt Godel |
Parution | 01/04/1992 |
Nb. de pages | 80 |
Format | 13,5 x 20,3 |
Couverture | Broché |
Poids | 115g |
Intérieur | Noir et Blanc |
EAN13 | 9780486669809 |
ISBN13 | 978-0-486-66980-9 |
Avantages Eyrolles.com
Nos clients ont également acheté
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Sciences Mathématiques Mathématiques par matières
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
- Sciences Sciences et culture Débats, actualités et épistémologie