The Unprovability of Consistency

The Unprovability of Consistency
Author :
Publisher : Cambridge University Press
Total Pages : 0
Release :
ISBN-10 : 0521092973
ISBN-13 : 9780521092975
Rating : 4/5 (975 Downloads)

Book Synopsis The Unprovability of Consistency by : George Boolos

Download or read book The Unprovability of Consistency written by George Boolos and published by Cambridge University Press. This book was released on 2009-01-08 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.


The Unprovability of Consistency Related Books

The Unprovability of Consistency
Language: en
Pages: 0
Authors: George Boolos
Categories: Mathematics
Type: BOOK - Published: 2009-01-08 - Publisher: Cambridge University Press

GET EBOOK

The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the prin
The Logic of Provability
Language: en
Pages: 318
Authors: George Boolos
Categories: Mathematics
Type: BOOK - Published: 1995-04-28 - Publisher: Cambridge University Press

GET EBOOK

Boolos, a pre-eminent philosopher of mathematics, investigates the relationship between provability and modal logic.
An Introduction to Gödel's Theorems
Language: en
Pages: 376
Authors: Peter Smith
Categories: Mathematics
Type: BOOK - Published: 2007-07-26 - Publisher: Cambridge University Press

GET EBOOK

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some a
Incompleteness
Language: en
Pages: 299
Authors: Rebecca Goldstein
Categories: Biography & Autobiography
Type: BOOK - Published: 2006-01-31 - Publisher: W. W. Norton & Company

GET EBOOK

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
Computability and Logic
Language: en
Pages: 365
Authors: George S. Boolos
Categories: Computers
Type: BOOK - Published: 2007-09-17 - Publisher: Cambridge University Press

GET EBOOK

This fifth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but a