Kurt Gdel 1906 - 1978 was the most outstanding logician of the twentieth century. These collected works form the only comprehensive edition of Gdels work available and are designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.[...]
Newton/Descartes. Einstein/Godel. The seventeenth century had its scientific and philosophical geniuses. Why shouldn't ours have them as well? Kurt Godel was indisputably one of the greatest thinkers of our time, and in this first extended treatment of his life and work, Hao Wang, who was in close c[...]
This 2011 volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of c[...]
This volume commemorates the life, work and foundational views of Kurt Godel (1906-78), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice[...]