This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on GOdel's famous incompleteness theorem, along with related results.The present
Popis produktu
This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on GOdel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not
Knihy
V našej podkategórii Knihy nájdete široký výber kníh z rôznych žánrov, ktoré sú určené pre všetkých, ktorí sa radi ponoria do príbehov a dobrodružstiev. Milovníci sci-fi, fantasy, detektíviek, romantiky ale aj histórie si prídu na svoje. Môžete si prečítať bestsellery, klasiky svetovej literatúry ale aj novinky od slovenských a českých autorov. Okrem toho, nájdete tu aj denníky, autobiografie, cestopisy a mnoho ďalších zaujímavých kníh. Ponúkame knihy v slovenskom, českom a anglickom jazyku. Náš sortiment kníh sa neustále obnovuje, pretože sa snažíme byť vždy v kontakte s dopytom čitateľov aj najnovšími trendami v literatúre. Vyberte si svoju obľúbenú knihu a zažite nezabudnuteľné dobrodružstvo stránkami knihy.