Kurt Goedel and the Foundations of Mathematics

This volume commemorates the life, work and foundational views of Kurt Goedel by exploring the impact of his work on current research and its future implications not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science.