Общие подходы

content Окт 13, 2016 0 Комментарии

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