Scan barcode
145 pages • first pub 2020 (editions)
ISBN/UID: 9798677892196
Format: Paperback
Language: English
Publisher: Not specified
Publication date: 16 October 2020
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 cannot prove. How is this remarkable result proved? This short book explain...
Community Reviews
Content Warnings
145 pages • first pub 2020 (editions)
ISBN/UID: 9798677892196
Format: Paperback
Language: English
Publisher: Not specified
Publication date: 16 October 2020
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 cannot prove. How is this remarkable result proved? This short book explain...
Community Reviews
Content Warnings