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