Самохвалов, К. Ф.     Обзор аргументов против тезиса Черча / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ) ББК 87.4 + 22.12 Рубрики: Логика--Общие вопросы логики    Математика--Математическая логика Кл.слова (ненормированные): алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис

Самохвалов, К. Ф.     Обзор аргументов против тезиса Черча / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ) ББК 87.4 + 22.12 Рубрики: Логика--Общие вопросы логики    Математика--Математическая логика Кл.слова (ненормированные): алгоритмы (понятие) -- вычислимость (понятие) -- вычислимые функции -- Тезис Черча -- функциональное представление -- Черча Тезис

Самохвалов, К. Ф.     Физический тезис Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2010. - N 2. - С. 34-61. - Библиогр.: с. 60-61 (25 назв. ) . - ISSN 1560-7488ББК 87.4 + 22.12 Рубрики: Логика    Общие вопросы логики    Математика    Математическая логика Кл.слова (ненормированные): сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление Аннотация: В статье дается методологический анализ физического тезиса Черча. Доп.точки доступа: Черч, А. (американский логик и математик)