Научная библиотека СГЮА

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

Поисковый запрос: (<.>K=вычислимость (понятие)<.>)

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

Самохвалов, К. Ф.
Обзор аргументов против тезиса Черча [Текст] / К. Ф. Самохвалов // Философия науки. - 2006. - N 4. - С. . 62-85. - Библиогр.: с. 83-85 (18 назв. ). - s, 2006, , rus. - RUMARS-phna06_000_004_0062_1. - Зональная научная библиотека Южного федерального университета. - N 4(31). - С. 62-85. - phna06_000_004_0062_1, 4, 62-85

УДК

^a510.6

^a16

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

Доп.точки доступа:
Черч, Алонзо (американский логик и математик) \а.\
Нет сведений об экземплярах (Источник в БД не найден)

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

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

УДК

^a510.6

^a16

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

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

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

Тематический навигатор

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