Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Gödel's writings on the philosophy and foundations of mathe

Richard Tieszen analyzes, develops, and defends the writings of Kurt Gödel (1906-1978) on the philosophy and foundations of mathematics and logic. Gödel's rel

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

"Among the many expositions of Gödel's incompleteness theorems written for non-specialists, this book stands apart. With exceptional clarity, Franzén gives ca

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introduction—ingenious, instructive, ent