 (A) is the fact that large families of functions had been shown to be λ-definable and hence recursive. (B) is the striking fact that the various mathematically precise counterparts of computability—λ-definability, recursiveness, Turing computability and others of the period due to Gödel and Post—despite being technically quite different from one another—turn out to lead to the same class of functions. (Not everyone is impressed by this “confluence” of definitions; cf. Kreisel 1987.) As for (C), Kleene observes that Turing’s analysis constitutes a direct attempt to give a mathematical account of the actions of a human computor and thus differs from the other analyses (in terms of recursiveness and λ-definability), which “arose differently”. He remarks that Turing’s identification of intuitive computability with computability by a (Turing) machine constitutes an “independent statement of Church’s thesis”. For this reason  CT1  has come to be known as the Church-Turing Thesis. Both Church (1937b) and Kleene (1952) also note that Post (1936) independently gives an analysis very similar to Turing’s. Perhaps, then, CT1 should properly be known as the Church-Turing-Post-Thesis.