Related Books

Gödel's Proof
Language: en
Pages: 118
Authors: Ernest Nagel
Categories: Gödel's theorem
Type: BOOK - Published: 1989 - Publisher: Psychology Press

DOWNLOAD EBOOK

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A col
Incompleteness
Language: en
Pages: 299
Authors: Rebecca Goldstein
Categories: Biography & Autobiography
Type: BOOK - Published: 2006-01-31 - Publisher: W. W. Norton & Company

DOWNLOAD EBOOK

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.
An Introduction to Gödel's Theorems
Language: en
Pages: 376
Authors: Peter Smith
Categories: Mathematics
Type: BOOK - Published: 2007-07-26 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some a
Forever Undecided
Language: en
Pages: 286
Authors: Raymond M. Smullyan
Categories: Mathematics
Type: BOOK - Published: 2012-07-04 - Publisher: Knopf

DOWNLOAD EBOOK

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent
Metamathematics, Machines and Gödel's Proof
Language: en
Pages: 224
Authors: N. Shankar
Categories: Computers
Type: BOOK - Published: 1997-01-30 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Describes the use of computer programs to check several proofs in the foundations of mathematics.