Kurt Gödel and the Foundations of Mathematics: Horizons of TruthThis volume commemorates the life, work, and foundational views of Kurt G del (1906 1978), most famous for his hallmark works on the completeness of first order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of