 So Turing’s and Church’s theses are equivalent. We shall usually refer to them both as Church’s thesis, or in connection with that one of its … versions which deals with ‘Turing machines’ as the Church-Turing thesis. (Kleene 1967: 232)