After Gödel: Platonism and Rationalism in Mathematics and Logic
Find in the Library
This book presents an analysis, development, and defense of a number of central ideas in the great logician Kurt Gödel's writings on the philosophy and foundations of mathematics and logic. The argument is structured around Gödel's three philosophical heroes, Plato, Leibniz and Husserl, and includes treatment of the incompleteness theorems and other technical results.
Oxford University Press