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 prova...
Saved in:
| Online Access: |
Full Text (via Cambridge) |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Cambridge University Press,
2014.
|
| Subjects: |