Gödel's Philosophical Challenge (to Turing) | part of Computability: Turing, Gödel, Church, and Beyond | MIT Press books | IEEE Xplore