Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

Peter Smith
5/5 ( ratings)
Kurt Gödel'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 Gödel'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.
Language
English
Pages
137
Format
Hardcover
ISBN
1916906303
ISBN 13
9781916906303

Gödel Without (Too Many) Tears

Peter Smith
5/5 ( ratings)
Kurt Gödel'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 Gödel'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.
Language
English
Pages
137
Format
Hardcover
ISBN
1916906303
ISBN 13
9781916906303

More books from Peter Smith

Rate this book!

Write a review?

loader