Logic of Provability by George S. Boolos
Look inside with Google Book Preview
Logic of Provability
By George S. Boolos

The Logic of Provability

By (author) See other recent books by George S. Boolos
Format: Paperback

Normal Price: $125.00
Your Price: $112.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.50! (10% off normal price)
Plus...earn $5.62 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas



Logic of Provability by George S. Boolos

Book Description

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.

Buy Logic of Provability book by George S. Boolos from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521483254
ISBN-10: 0521483255
Format: Paperback
(228mm x 152mm x 18mm)
Pages: 316
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 28-Apr-1995
Country of Publication: United Kingdom

Books By Author George S. Boolos

Computability and Logic by George S. Boolos Computability and Logic, Paperback (September 2007)

Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.

» View all books by George S. Boolos

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Logic of Provability book by George S. Boolos and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by George S. Boolos close
Computability and Logic by George S. Boolos
Computability and Logic by George S. Boolos
»
BoomerangBooks.com.au close