Can Mathematics Be Proved Consistent? - Jan Von Plato
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre85,74 €
Produit Neuf
Ou 21,44 € /mois
- Livraison : 3,99 €
- Livré entre le 28 juillet et le 3 août
Nos autres offres
-
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 29 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030508784_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Can Mathematics Be Proved Consistent? de Jan Von Plato Format Broché - Livre
0 avis sur Can Mathematics Be Proved Consistent? de Jan Von Plato Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Can Mathematics Be Proved Consistent? de Jan Von Plato Format Broché
- Livre
Résumé :
Kurt G?del (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. G?del showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as G?del's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question Can mathematics be proved consistent?
Biographie:
Jan von Plato is professor of philosophy at the University of Helsinki. He has written several books on proof theory and the development of logic, including Elements of Logical Reasoning and The Great Formal Machinery Works. His series of books on G?del began in 2020 with Can Mathematics Be Proved Consistent? Portrait of Young G?del is the fifth book in this series. ...
Sommaire:
Jan von Plato is professor of philosophy at the University of Helsinki. He has written several books on proof theory and the development of logic, including Elements of Logical Reasoning and The Great Formal Machinery Works. His series of books on G?del began in 2020 with Can Mathematics Be Proved Consistent? Portrait of Young G?del is the fifth book in this series. ...
Détails de conformité du produit
Personne responsable dans l'UE