Read The Logic of Provability by Boolos George S George S. Boolos Online

the-logic-of-provability

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 (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathThis 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 (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention....

Title : The Logic of Provability
Author :
Rating :
ISBN : 9780511625183
Format Type : ebook
Number of Pages : 108 Pages
Status : Available For Download
Last checked : 21 Minutes ago!

The Logic of Provability Reviews