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: 405
Authors: Peter Smith
Categories: Biography & Autobiography
Type: BOOK - Published: 2013-02-21 - Publisher: Cambridge University Press

GET EBOOK

A clear and accessible treatment of Gödel's famous, intriguing, but much misunderstood incompleteness theorems, extensively revised in a second edition.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Language: en
Pages: 82
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 2012-05-24 - Publisher: Courier Corporation

GET EBOOK

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be pro
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