Четкое описание класса отчасти рекурсивных функций совместно с тезисом Черча дает одно из вероятных решений задачки об уточнении понятия метода.…