An Introduction to Godel's Theorems - Peter Smith
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 pro... |
 |
|
|
