timelets

Does God (or any other deity of your choice) have a solution to the Entscheidungsproblem? If yes, how are we going to find out whether the answer is not a trick of the Devil?

(1) The most optimistic position is that there is a systematic method to establish either A true or ∼A true, for any proposition A. I take this position to imply a positive solution to Hilbert’s Entscheidungsproblem, in direct contradiction with the result gained by Church and Turing.30 Thus, this position is self-contradictory. J.G. Granstrom. Treatise on Intuitionist Logic.