Note :
Ce livre est une introduction très appréciée à la preuve de Gödel, louée pour sa clarté et son accessibilité tout en abordant un sujet complexe en mathématiques et en logique. Les lecteurs apprécient l'exposé structuré, l'introduction graduelle de concepts complexes et l'écriture lucide qui permet de mieux comprendre le travail de Gödel. Cependant, certains trouvent que certaines parties du livre sont difficiles à comprendre et expriment des inquiétudes quant à certaines affirmations des auteurs.
Avantages:⬤ Explication claire et accessible de la preuve de Gödel.
⬤ Exposé captivant et bien structuré.
⬤ Convient à la fois à un public technique et non technique.
⬤ Les notes de bas de page améliorent la compréhension des termes et des concepts.
⬤ Maintient un équilibre entre la profondeur et la lisibilité.
⬤ Certaines sections sont difficiles et requièrent de la concentration.
⬤ L'exactitude de certaines affirmations contenues dans le texte a été remise en question.
⬤ La couverture de certains concepts mathématiques modernes tels que la théorie des ensembles et la calculabilité est insuffisante.
(basé sur 12 avis de lecteurs)
Godel's Proof
La preuve de Godel a été publiée pour la première fois aux États-Unis en 1958. En 1931 est paru dans un périodique scientifique allemand un article relativement court au titre rébarbatif : « On Formally Undecidable propositions of Principia Mathematica and Related Systems » (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 qui, depuis 1938, était 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, la citation décrivait le travail comme l'une des avancées les plus importantes de la logique à l'époque moderne. Cependant, à 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)