Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Gödel Without (Too Many) Tears
🌠 Top Free Algorithms Books - 100% Free or Open Source!
  • Title: Gödel Without (Too Many) Tears
  • Author(s) Peter Smith
  • Publisher: Logic Matters (November 9, 2022)
  • License(s): Available as a freely downloadable PDF
  • Paperback: 154 pages
  • eBook: PDF (154 pages)
  • Language: English
  • ISBN-10/ASIN: 1916906354
  • ISBN-13: 978-1916906358
  • Share This:  

Book Description

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 can express. but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel’s Second Incompleteness Theorem.

The aim is to make the Gödel's Theorems available, clearly and accessibly, even to those with a quite limited formal background (and at much less than half of the length of the same author‘s more wide-ranging An Introduction to Gödel‘s Theorems)

About the Authors
  • Until he retired, Peter Smith taught logic at the University of Cambridge. His Logic Matters website and blog is at https://www.logicmatters.net.
Reviews, Ratings, and Recommendations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
:
Other Categories
Resources and Links