Note :
Les critiques soulignent que le « Godelian Puzzle Book » est un ouvrage exceptionnel rempli d'énigmes imaginatives qui explorent les théorèmes de Godel, mêlant humour et défi intellectuel. Si la plupart des lecteurs trouvent le contenu attrayant et éducatif, en particulier pour ceux qui s'intéressent à la logique et aux mathématiques, de nombreuses critiques font état de problèmes d'édition importants, tels que des fautes de frappe et des erreurs qui ont une incidence sur la résolution des énigmes. Le livre semble cibler un public de niche, en attirant principalement les passionnés de mathématiques, bien que certains pensent qu'il ne présente pas le même intérêt pour les lecteurs occasionnels ou les jeunes étudiants.
Avantages:⬤ Des énigmes captivantes et stimulantes
⬤ une exploration immersive des théorèmes de Godel
⬤ un mélange d'humour et de défi intellectuel
⬤ loué pour sa créativité
⬤ éducatif pour les adultes et les enfants
⬤ agréable pour les passionnés de mathématiques.
⬤ Des fautes de frappe et des erreurs d'édition fréquentes qui rendent certaines énigmes difficiles ou impossibles à résoudre
⬤ potentiellement trop techniques pour les amateurs
⬤ certains chapitres sont monotones
⬤ ne convient pas aux élèves de collège à la recherche d'un contenu moderne.
(basé sur 29 avis de lecteurs)
The Gdelian Puzzle Book: Puzzles, Paradoxes and Proofs
Ces toutes nouvelles énigmes de logique récréative proposent des variations divertissantes sur les théorèmes d'incomplétude de G del, offrant des défis ingénieux liés à l'infini, à la vérité et à la prouvabilité, à l'indécidabilité et à d'autres concepts. Créées par le célèbre logicien Raymond Smullyan, les énigmes ne nécessitent aucune connaissance en logique formelle et raviront les lecteurs de tous âges.
Cette sélection d'énigmes et de paradoxes en deux parties commence par l'examen de la nature de l'infini et de certains systèmes curieux liés au théorème de G del. Les trois premiers chapitres de la deuxième partie contiennent des théorèmes de G del généralisés.
La logique symbolique est reportée jusqu'aux trois derniers chapitres, qui donnent des explications et des exemples de l'arithmétique du premier ordre, de l'arithmétique de Peano et une preuve complète du célèbre résultat de G del impliquant des énoncés qui ne peuvent être ni prouvés ni réfutés. Le livre comprend également un aperçu vivant de la théorie de la décision, mieux connue sous le nom de théorie de la récursion, qui joue un rôle essentiel dans l'informatique.
| ISBN : | 9780486497051 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2013 |
| Nombre de pages : | 288 |
Actuellement disponible, en stock.
