Goedel Without (Too Many) Tears
Author:   Peter Smith
Publisher:   Logic Matters
ISBN:  

9781916906303


Pages:   146
Publication Date:   15 June 2021
Format:   Hardback
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $32.34 Quantity:  
Add to Cart

Share |

Goedel Without (Too Many) Tears


Add your own review!

Overview

Kurt Goedel's famous First Incompleteness Theorem shows that for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory cannot prove. How is this remarkable result proved? This short book explains. It also discusses Goedel's Second Incompleteness Theorem. Based on lecture notes for a course given in Cambridge for many years, the aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

Full Product Details

Author:   Peter Smith
Publisher:   Logic Matters
Imprint:   Logic Matters
Dimensions:   Width: 17.00cm , Height: 1.00cm , Length: 24.40cm
Weight:   0.435kg
ISBN:  

9781916906303


ISBN 10:   1916906303
Pages:   146
Publication Date:   15 June 2021
Audience:   General/trade ,  General
Format:   Hardback
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

Reviews

Author Information

Peter Smith was a Senior Lecturer in Philosophy at the University of Cambridge before he retired.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now