"When a theologian speaks of the widespread misconception nowadays, that faith is an intellectual holding of what-is-possible, they underpin a wretched reductio

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century. These collected works form the only comprehensive edition of Gödel's work