Interpreting Gödel : critical essays / edited by Juliette Kennedy, University of Helsinki.
"The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provab...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2014.
|
| Subjects: |
Closed Stacks - Engineering Math & Physics Library - Stacks
| Call Number: |
QA9.2 .I58 2014
|
|---|---|
| QA9.2 .I58 2014 | Available Place a Hold |