Note :
Les critiques soulignent que « La preuve de Godel » de Nagel et Newman est une exploration bien écrite et accessible du théorème d'incomplétude de Godel, qui présente des concepts mathématiques complexes de manière intelligible. De nombreux lecteurs apprécient la capacité des auteurs à introduire progressivement les idées logiques profondes, aidant ainsi les profanes et les personnes ayant un certain bagage mathématique à saisir les contributions significatives de Godel. Cependant, le livre contient des sections difficiles qui peuvent nécessiter une relecture pour une compréhension complète, et certains lecteurs ont trouvé que des affirmations spécifiques dans le texte étaient trompeuses ou incorrectes.
Avantages:⬤ Exposé clair et accessible de sujets complexes.
⬤ Convient aussi bien aux profanes qu'aux personnes ayant un certain bagage mathématique.
⬤ Engageant et facile à comprendre, comparé à « Une brève histoire du temps » en mathématiques.
⬤ Des notes de bas de page utiles qui clarifient la terminologie.
⬤ Concis, couvrant les idées essentielles dans une longueur gérable.
⬤ Fournit un contexte historique pour les travaux de Godel.
⬤ Certaines sections sont difficiles et peuvent nécessiter une relecture.
⬤ Des déclarations litigieuses occasionnelles ou des inexactitudes possibles, menant à la confusion.
⬤ Manque de couverture de sujets avancés tels que la théorie des ensembles et la calculabilité, car il se concentre principalement sur la preuve de Godel.
(basé sur 12 avis de lecteurs)
Godel's Proof
Extrait de l'introduction. En 1931 est paru dans un périodique scientifique allemand un article relativement court portant le titre rébarbatif de "Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme" ("Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés").
Son auteur était Kurt Godel, alors jeune mathématicien de 25 ans à l'université de Vienne et, depuis 1938, membre permanent de l'Institute for Advanced Study de Princeton. Cet article est un jalon dans l'histoire de la logique et des mathématiques.
Lorsque l'université de Harvard a décerné à Godel un diplôme honorifique en 1952, la citation décrivait le travail comme l'une des avancées les plus importantes de la logique à l'époque moderne. Toutefois, à l'époque de sa parution, ni le titre de l'article de Godel ni son contenu n'étaient compréhensibles pour la plupart des mathématiciens.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)