Stephen Kleene (1952) adds to the list the functions "reckonable in the system S1" of Kurt Gödel 1936, and Emil Post's (1943, 1946) "canonical systems".
Стивен Клини (1952) додаје на листу функције "Процењиви у систем С1" Курт Гедела 1936, и Емил Постових (1943, 1946) "канонских система".