Kurt Gödel and the Foundations of Mathematics: Horizons of Truth is the culmination of a creative research initiative coorganized by the Kurt Gödel Society, Vienna; the Institute for Experimental Physics; the Kurt Gödel Research Center; the Institute Vienna Circle; the Vienna University of Technology; the Austrian Academy of Sciences; and the Anton Zeilinger Group at the University of Vienna, where the Gödel centenary celebratory symposium “Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge” was held from April 27 to April 29, 2006.

More than twenty invited world-renowned researchers in the fields of mathematics, logic, computer science, physics, philosophy, theology, and the history of science attended the symposium, giving the participants the remarkable opportunity to present their ideas about Gödel's work and its influence on various areas of intellectual endeavor. These fascinating interdisciplinary lectures provided new insights into Gödel's life and work and their implications for future generations of researchers.

The interaction among international scholars who only rarely, if ever, have the opportunity to hold discussions in the same room – and some of whom almost never write articles – has produced a book that contains chapters expanded and developed to take advantage of the rich intellectual exchange that took place in Vienna. Written by some of the most renowned figures of the scientific and academic world, the resulting volume is an opus of current research and thinking that is built on the work and inspiration of Gödel.