Skip to content

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Spend $50 to get a free DVD!

ISBN-10: 0486669807

ISBN-13: 9780486669809

Edition: Reprint 

Authors: Kurt Godel

List price: $8.95
Blue ribbon 30 day, 100% satisfaction guarantee!
Buy eBooks
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $8.95
Publisher: Dover Publications, Incorporated
Publication date: 4/1/1992
Binding: Paperback
Pages: 80
Size: 5.25" wide x 8.00" long x 0.50" tall
Weight: 0.286
Language: English

Kurt Godel was probably the most outstanding logician of the first half of the twentieth century. Born in Czechoslovakia, Godel studied and taught in Vienna and then came to the United States in 1940 as a member of the Institute for Advanced Study at Princeton University. In 1953 he was made a professor at the institute, where he remained until his death in 1978. Godel is especially well known for his studies of the completeness of logic, the incompleteness of number theory, the consistency of the axiom of choice and the continuum hypothesis. Godel is also known for his work on constructivity, the decision problem, and the foundations of computation theory, as well as his views on the philosophy of mathematics; especially his support of a strong form of Platonism in mathematics.