This introduction to mathematical logic takes Gödel's incompleteness theorem as a starting point. It goes beyond a standard text book and should interest every

Kurt Gödel (1906–1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mat

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

Kurt Gödel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of

This volume explores how understanding relates to conscious experience. In doing so, it builds bridges between different philosophical disciplines and provides