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 provable nor...

Full description

Bibliographic Details
Other Authors: Kennedy, Juliette, 1955- (Editor)
Format: Book
Published: Cambridge : Cambridge University Press, 2014.
Online Access:CONNECT