 No doubt many have been misled by the practice in the literature of using the terms ‘Church’s thesis’ and ‘Church-Turing thesis’ to refer indiscriminately not only to a thesis concerning which there is little real doubt, the Church-Turing thesis properly so called, but also a medley of different theses, of unknown truth-value.