An Introduction to Gödel’s Theorems by Peter Smith

An Introduction to Gödel’s Theorems

Cambridge Introductions to Philosophy

Peter Smith

missing page info Add in missing page information first pub 2007 (editions)

nonfiction mathematics philosophy challenging informative medium-paced
Powered by AI (Beta)
Loading...

Description

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most int...

Read more

Community Reviews

Loading...

Content Warnings

Loading...