Algoritme

Catatan kaki Rosser #5 merujuk karya dari (1) Church dan Kleene dan definisi dari definabiliti-λ, secara khusus Church menggunakannya dalam "An Unsolvable Problem of Elementary Number Theory"-nya (1936);
(2) Herbrand dan Godel dan penggunaan rekursi mereka terutama Godel menggunakannya dalam makalah terkenalnya "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" (1931);
dan (3) Post (1936) dan Turing (1936-7) dalam model mekanisme komputasi mereka.