 Concerning the origin of the terms ‘Church’s thesis’ and ‘Turing’s thesis’, Kleene seems to have been the first to use the word ‘thesis’ in this connection: in 1952, he introduced the name ‘Church’s thesis’ for the proposition that every effectively calculable function (on the natural numbers) is recursive (Kleene 1952: 300, 301, 317). The term ‘Church-Turing thesis’ also seems to have originated with Kleene—with a flourish of bias in favour of his mentor Church: