Gödel Without (Too Many) Tears - Hardcover

Smith, Peter

 
9781916906341: Gödel Without (Too Many) Tears

Synopsis

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 Theorems available, clearly and accessibly, even to those with a quite limited formal background.


The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.

"synopsis" may belong to another edition of this title.

About the Author

Until he retired, Peter Smith was a Senior Lecturer at the University of Cambridge.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9781916906358: Gödel Without (Too Many) Tears

Featured Edition

ISBN 10:  1916906354 ISBN 13:  9781916906358
Publisher: Logic Matters, 2022
Softcover