ABSTRACT
V.1 Church’s Thesis is a most remarkable proposal. Why on earth should one suggest that, for any confirmable predicate of natural numbers, there is a ∑-representation? Why should one even suggest that it is representable-that is, in terms of L, a, m, e? Or in any terms at all?
