Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's Reflection

Newton/Descartes. Einstein/Gödel. The seventeenth century had its scientific and philosophical geniuses. Why shouldn't ours have them as well? Kurt Gödel was

"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher.

Kurt Gödel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Sh

Noted logician discusses both theoretical underpinnings and practical applications, exploring set theory, model theory, recursion theory and constructivism, pro