Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.
"synopsis" may belong to another edition of this title.
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 mathematicians. Here it receives its first scientific application since its invention.
"About this title" may belong to another edition of this title.
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0521483255I4N00
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0521483255I4N00
Seller: Solr Books, Lincolnwood, IL, U.S.A.
Condition: very_good. This book is in Very good condition. There may be a few flaws like shelf wear and some light wear. Seller Inventory # BCV.0521483255.VG
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 698488-n
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9780521483254
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 698488
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. 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 mathematicians. Here it receives its first scientific application since its invention. 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 mean provability and consistency. Seller Inventory # LU-9780521483254
Quantity: Over 20 available
Seller: Greener Books, London, United Kingdom
Paperback. Condition: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Seller Inventory # 5130818
Quantity: 1 available
Seller: Bingo Books 2, Vancouver, WA, U.S.A.
Soft cover. Condition: Near Fine. soft cover in near fine condition. Seller Inventory # 127913
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521483254
Quantity: 10 available