Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Тезис Черча<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Бессонов, А. В.
    Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
УДК
^a510.6
^a16
ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.


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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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


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


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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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


    Хаханян, В. Х.
    Независимость принципа униформизации от тезиса Черча в интуиционистской теории множеств [Текст] / В. Х. Хаханян // Известия РАН. Серия математическая. - 2013. - Т. 77, № 6. - С. 207-222. - Библиогр.: с. 222 (11 назв.) . - ISSN 0373-2436
УДК
^a517
ББК 22.16
Рубрики: Математика
   Математический анализ
Кл.слова (ненормированные):
Маркова принципы -- Черча тезис -- аксиоматические системы -- интуиционизм -- интуиционистская логика -- интуиционистские системы -- интуиционистские теории множеств -- множества -- принципы Маркова -- тезис Черча -- теории множеств -- униформизация
Аннотация: Доказана независимость сильного принципа униформизации от тезиса Черча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 24.07.2024
Число запросов 95198
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)