Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча. Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Самохвалов, К. Ф. Физический тезис Черча [Текст] / К. Ф. Самохвалов> // Философия науки. - 2010. - N 2. - С. 34-61. . - Библиогр.: с. 60-61 (25 назв. )
Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): сверхзадачи -- Черча Тезис -- Тезис Черча -- гипервычисление Аннотация: В статье дается методологический анализ физического тезиса Черча. Доп.точки доступа: Черч, А. (американский логик и математик) Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Хаханян, В. Х. Независимость принципа униформизации от тезиса Черча в интуиционистской теории множеств [Текст] / В. Х. Хаханян> // Известия РАН. Серия математическая. - 2013. - Т. 77, № 6. - С. 207-222. - Библиогр.: с. 222 (11 назв.) . - ISSN 0373-2436
Рубрики: Математика Математический анализ Кл.слова (ненормированные): Маркова принципы -- Черча тезис -- аксиоматические системы -- интуиционизм -- интуиционистская логика -- интуиционистские системы -- интуиционистские теории множеств -- множества -- принципы Маркова -- тезис Черча -- теории множеств -- униформизация Аннотация: Доказана независимость сильного принципа униформизации от тезиса Черча с выбором в интуиционистской теории множеств с аксиомой объемности, расширенной принципами Маркова и двойного дополнения множеств. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |