Computability and Logic
- 364 stránok
- 13 hodin čítania
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
John P Burgess Knihy
John P. Burgess je profesorom systematickej teológie, ktorý sa vo svojej práci zameriava na hlboké prepojenie viery a identity. Jeho písanie skúma cesty, ktorými sa náboženské tradície a komunity môžu znovuobjavovať a reformovať vo svete, ktorý sa neustále mení. S dôrazom na teologické a duchovné aspekty hľadá spôsoby, ako môžu starobylé spisy a viery naďalej rezonovať v modernom kontexte a prinášať novú vitalitu.
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (CUP, 1979). Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self referential' sentences constructed in their proof. The book explores the effects of reinterpreting the notions of necessity and possibility to near probability and consistency. It contains the first application of quantified modal logic to formal probability, and shows the results of applying modal logic to formal provability.
