Научная библиотека Нижнетагильского государственного социально-педагогического института

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Картотека статей - результаты поиска

Вид поиска

Электронный каталог НТГСПИ

Картотека газет и журналов

Картотека статей

Полнотекстовая база изданий НТГСПИ

Полнотекстовая база ВКР

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=Тезис Черча<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488

УДК

^a510.6

^a16

ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.

Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

Найти похожие

Самохвалов, К. Ф.
Физический тезис Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2010. - N 2. - С. 34-61. - Библиогр.: с. 60-61 (25 назв. ) . - ISSN 1560-7488

УДК

^a16

^a510.6

ББК 87.4 + 22.12
Рубрики: Логика
   Общие вопросы логики
   Математика
   Математическая логика
Кл.слова (ненормированные):
сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление
Аннотация: В статье дается методологический анализ физического тезиса Черча.

Доп.точки доступа:
Черч, Алонзо (американский логик и математик) \а.\

Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)