Preuve de Godel

Avis des lecteurs

Résumé:

Le livre sur la preuve de Gödel fournit une présentation claire et accessible de l'un des résultats les plus significatifs de la logique mathématique, visant à rendre des concepts complexes compréhensibles pour un public plus large. S'il excelle dans l'introduction et la présentation de la preuve et de son contexte, certains lecteurs trouvent qu'il manque de profondeur en ce qui concerne ses implications philosophiques et ses interprétations.

Avantages:

Le livre est bien écrit, concis et facile à lire, ce qui le rend accessible aux non-spécialistes. Il introduit efficacement les concepts nécessaires à la compréhension du théorème d'incomplétude de Gödel et est bien structuré, commençant par des informations de base avant de se plonger dans la preuve elle-même. De nombreux lecteurs apprécient les annotations de Hofstadter, qui enrichissent la discussion. Le livre est également salué pour sa clarté et sa capacité à susciter la curiosité pour le sujet traité.

Inconvénients:

De nombreux critiques ont estimé que le livre ne fournit pas suffisamment de profondeur ou d'interprétation concernant les implications plus larges de la preuve de Gödel, en particulier pour ceux qui s'intéressent à ses aspects philosophiques. La notation utilisée peut parfois prêter à confusion, et certains lecteurs ont trouvé que certaines explications étaient trop détaillées ou manquaient de clarté. Quelques critiques mentionnent également que la brièveté du livre le rend insuffisant pour une compréhension complète du sujet.

(basé sur 107 avis de lecteurs)

Titre original :

Godel's Proof

Contenu du livre :

En 1931, Kurt Godel a publié son article fondamental intitulé "On Formally Undecidable Propositions of Principia Mathematica and Related Systems" (Propositions formellement indécidables des Principia Mathematica et des systèmes connexes). Cet article révolutionnaire remet en question certaines hypothèses de base qui sous-tendent de nombreuses recherches en mathématiques et en logique. Godel a reçu la reconnaissance publique de son travail en 1951, lorsqu'il s'est vu décerner le premier prix Albert Einstein pour ses réalisations dans le domaine des sciences naturelles, peut-être la plus haute distinction de ce type aux États-Unis. Le comité d'attribution du prix a décrit ses travaux en logique mathématique comme "l'une des plus grandes contributions aux sciences de ces derniers temps".

Cependant, peu de mathématiciens de l'époque étaient en mesure de comprendre la preuve complexe du jeune chercheur. Ernest Nagel et James Newman fournissent une explication lisible et accessible, tant pour les spécialistes que pour les non-spécialistes, des idées principales et des implications générales de la découverte de Godel. Ce livre offre à toute personne éduquée ayant un goût pour la logique et la philosophie la possibilité de comprendre un sujet jusqu'alors difficile et inaccessible.

New York University Press est fière de publier cette édition spéciale de l'un de ses best-sellers. Avec une nouvelle introduction de Douglas R. Hofstadter, ce livre intéressera les étudiants, les chercheurs et les professionnels dans les domaines des mathématiques, de l'informatique, de la logique et de la philosophie, et de la science.

Autres informations sur le livre :

• ISBN : 9780814758168
• Auteur : Ernest Nagel
• Éditeur : New York Univ Pr
• Reliure : Relié
• Année de publication : 2001
• Nombre de pages : 160