Related Books

Kurt Gödel: Collected Works: Volume V
Language: en
Pages: 691
Authors: Kurt Gödel
Categories: Computers
Type: BOOK - Published: 2013-10 - Publisher:

DOWNLOAD EBOOK

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century. These collected works form the only comprehensive edition of Gödel's work
Kurt Gödel: Collected Works: Volume III
Language: en
Pages: 558
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 1986 - Publisher: Oxford University Press, USA

DOWNLOAD EBOOK

"Anyone interested in the life and work of Kurt Gödel, or in the history of mathematical logic in this century, is indebted to all of the contributors to this
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.
Kurt Gödel: Collected Works: Volume V
Language: en
Pages: 691
Authors: Kurt Gödel
Categories: Mathematics
Type: BOOK - Published: 2014-01-09 - Publisher: Clarendon Press

DOWNLOAD EBOOK

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incomplete
Kurt Gödel and the Foundations of Mathematics
Language: en
Pages: 541
Authors: Matthias Baaz
Categories: Mathematics
Type: BOOK - Published: 2011-06-06 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This volume commemorates the life, work and foundational views of Kurt Gödel (1906–78), most famous for his hallmark works on the completeness of first-order