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

Базы данных


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

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


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


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

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

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


    Ламберов, Л. Д.
    Понимание доказательства и простота оснований: набросок методологии для философии математики [Текст] / Л. Д. Ламберов // Философия науки. - 2019. - № 4. - С. 66-79. - Библиогр.: с. 77-79 (22 назв. ) . - ISSN 1560-7488
УДК
^a510
^a1
ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики
   Философия
   Философия науки
Кл.слова (ненормированные):
критерии простоты -- математическое доказательство -- методология философии науки -- понимание доказательства -- простата оснований -- убедительность -- философия математики
Аннотация: Рассматриваются понятие простоты математического доказательства и связь простоты с убедительностью. В контексте оснований математики проблематизируется критерий простоты оснований, выявляются сложности его применения, а также намечаются пути дальнейших исследований методологии философии математики.


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

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