Related Books
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 2016 - Publisher: Oxford University Press
The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equiv
Language: en
Pages: 684
Pages: 684
Type: BOOK - Published: 2002-01-15 - Publisher: Harvard University Press
The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for
Language: en
Pages: 293
Pages: 293
Type: BOOK - Published: 2014-08-21 - Publisher: Cambridge University Press
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 oth
Language: en
Pages: 357
Pages: 357
Type: BOOK - Published: 2007-09-21 - Publisher: MIT Press
The first systematic examination of Hilary Putnam's arguments against computational functionalism challenges each of Putnam's main arguments. With mind-brain id
Language: en
Pages: 393
Pages: 393
Type: BOOK - Published: 2024 - Publisher: Springer Nature
In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In