Avis des lecteurs
Résumé:Ce livre propose une introduction claire au théorème d'incomplétude de Gödel, destinée aux lecteurs ayant des connaissances préalables limitées en logique formelle et en mathématiques. Bien qu'il soit loué pour son accessibilité et le contexte approfondi qu'il fournit avant de se plonger dans la preuve, certains lecteurs estiment qu'il manque de profondeur dans l'exploration des implications plus larges du travail de Gödel. Le texte est généralement bien accueilli pour sa clarté, bien que certaines critiques soulignent des domaines où il aurait pu être plus clair ou plus détaillé.
Avantages:⬤ Excellente présentation de la preuve de Gödel, rendant les idées complexes accessibles aux non-spécialistes.
⬤ Explication approfondie de l'historique et du contexte entourant le travail de Gödel.
⬤ Court et facile à lire, souvent gérable en une ou deux séances.
⬤ Contient des tableaux et une syntaxe mathématique claire pour renforcer les concepts.
⬤ Les perspectives analytiques sont appréciées, rendant le livre instructif et engageant pour ceux qui s'intéressent à la philosophie des mathématiques.
⬤ Certains lecteurs pensent qu'il manque de profondeur dans l'interprétation des implications du théorème de Gödel.
⬤ Certains lecteurs ont trouvé des parties du texte confuses ou peu claires, en particulier en ce qui concerne la notation et les concepts.
⬤ La conclusion est considérée comme abrupte, laissant les lecteurs désireux d'explorer davantage les ramifications philosophiques.
⬤ Les explications détaillées des auteurs peuvent parfois sembler trop denses ou trop axées sur les faits, ce qui rend l'expérience de lecture moins engageante pour certains.
(basé sur 107 avis de lecteurs)
Titre original :
Godel's Proof
Contenu du livre :
En 1931, Kurt G del 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 remettait en question certaines hypothèses de base sous-jacentes à de nombreuses recherches en mathématiques et en logique. G del 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 G del. Ce livre offre à toute personne instruite, ayant un goût pour la logique et la philosophie, la possibilité de comprendre un sujet jusqu'alors difficile et inaccessible.
À l'occasion du 50e anniversaire de la publication originale de G del's Proof, New York University Press est fière de publier cette édition anniversaire spéciale de l'un de ses livres les plus vendus et les plus souvent traduits. 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 : | 9780814758373 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2008 |
| Nombre de pages : | 160 |
Achat:
Actuellement disponible, en stock.
