Abstract

As to the misconceptions: In the first place, the existence of "undecidable propositions" or "unsolvable problems" has only remote connections with the failure of excluded middle. More precisely, from the fact that a certain problem is unsolvable, one cannot infer that the affirmative and negative answers to that problem are both incorrect. Both Gödel's and Church's theorems were originally proved for systems with the excluded middle, i.e. for systems in which 'p or not p' is provable for every proposition 'p'; though in the light of Gödel's theorem there are propositions 'p' such that neither 'p' nor 'not p' is provable in those systems. Careful distinction should be made between the following locutions