These results led Stephen Kleene (1952) to coin the two names "Church's thesis" (Kleene 1952:300) and "Turing's Thesis" (Kleene 1952:376).
Aceste rezultate l-au condus pe Stephen Kleene (1952) să introducă denumirile de „teza lui Church” (Kleene 1952:300) și „teza lui Turing” (Kleene 1952:376).