Gödel's incompleteness theorems /
Kurt Gödel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently 'undecidable.' His work on the completeness of logic, the incompleteness of number theory, and the co...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Oxford University Press,
2020.
|
| Series: | Oxford logic guides ;
19. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
