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