In the course of studying the problem, Church and his student Stephen Kleene introduced the notion of λ-definable functions, and they were able to prove that several large classes of functions frequently encountered in number theory were λ-definable.
В ходе изучения проблемы Чёрч и его ученик Стивен Клини ввели понятие λ-определимых функций, и они смогли доказать, что несколько больших классов функций, часто встречающихся в теории чисел, были λ-определимыми.