Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |