Avis des lecteurs
Résumé:Ce livre est la suite du premier volume, couvrant des sujets de logique et de mathématiques. Bien qu'il soit agréable à lire et qu'il améliore la compréhension, certains lecteurs estiment qu'il manque de profondeur dans les sections ultérieures par rapport aux attentes.
Avantages:Papier de bonne qualité, facile à lire, agréable, améliore considérablement la compréhension des sujets de logique.
Inconvénients:La deuxième partie n'est peut-être pas nécessaire pour tous les lecteurs, elle manque des détails attendus dans les derniers sujets, et peut être écrasante en raison de la quantité de mémorisation requise.
(basé sur 2 avis de lecteurs)
Titre original :
A Beginner's Further Guide to Mathematical Logic
Contenu du livre :
Il s'agit du dernier livre écrit par le regretté grand maître des énigmes et logicien, le Dr Raymond Smullyan.
Ce livre est la suite de mon Guide du débutant en logique mathématique.
Le volume précédent traite des éléments de la logique propositionnelle et de la logique du premier ordre, contient quelques éléments sur les systèmes formels et la récursion, et se termine par des chapitres sur le célèbre théorème d'incomplétude de G del, ainsi que sur des résultats connexes.
Le présent volume commence par un peu plus de logique propositionnelle et de logique du premier ordre, suivi par ce que j'appellerais un chapitre « fein », qui généralise simultanément certains résultats de la théorie de la récursion, des systèmes arithmétiques du premier ordre et de ce que j'appelle une « machine à décider ». Viennent ensuite cinq chapitres sur les systèmes formels, la théorie de la récursion et les applications métamathématiques dans un cadre général. Les cinq derniers chapitres portent sur le magnifique sujet de la logique combinatoire, qui n'est pas seulement fascinant en soi, mais qui a d'importantes applications en informatique. Le Laboratoire national d'Argonne est particulièrement impliqué dans ces applications, et je suis fier de dire que ses membres ont trouvé une utilisation à certains de mes résultats en logique combinatoire.
Ce livre ne couvre pas des sujets aussi importants que la théorie des ensembles, la théorie des modèles, la théorie de la preuve et les développements modernes de la théorie de la récursivité, mais le lecteur, après avoir étudié ce volume, sera amplement préparé à l'étude de ces sujets plus avancés.
Autres informations sur le livre :
| ISBN : | 9789814725729 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2017 |
| Nombre de pages : | 288 |
Achat:
Actuellement disponible, en stock.
