Related Books

Gödel's Disjunction
Language: en
Pages: 289
Authors: Leon Horsten
Categories: Mathematics
Type: BOOK - Published: 2016 - Publisher: Oxford University Press

DOWNLOAD EBOOK

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
From Frege to Gödel
Language: en
Pages: 684
Authors: Jean van Heijenoort
Categories: Philosophy
Type: BOOK - Published: 2002-01-15 - Publisher: Harvard University Press

DOWNLOAD EBOOK

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
Interpreting Gödel
Language: en
Pages: 293
Authors: Juliette Kennedy
Categories: Science
Type: BOOK - Published: 2014-08-21 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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
Gödel, Putnam, and Functionalism
Language: en
Pages: 357
Authors: Jeff Buechner
Categories: Philosophy
Type: BOOK - Published: 2007-09-21 - Publisher: MIT Press

DOWNLOAD EBOOK

The first systematic examination of Hilary Putnam's arguments against computational functionalism challenges each of Putnam's main arguments. With mind-brain id
Gödel's Incompleteness Theorems
Language: en
Pages: 393
Authors: Dirk W. Hoffmann
Categories: Gödel's theorem
Type: BOOK - Published: 2024 - Publisher: Springer Nature

DOWNLOAD EBOOK

In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In