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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

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

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

Бурбаки, Никола.
Понятие истины в математике [Текст] / Н. Бурбаки // Экология и жизнь. - 2007. - N 5. - С. . 15-17. - RUMARS-eizh07_000_005_0015_1

УДК

^a51(09)

ББК 22.1г
Рубрики: Математика--История математики
Кл.слова (ненормированные):
истина -- математическая истина -- математическое доказательство -- математические объекты -- математические теории -- доказательство в математике -- объекты в математике
Аннотация: О развитии понятия "математической истины".

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

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

УДК

^a510.6

^a16

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

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

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

Целищев, В. В.
Концептуальная и формальная строгость математического доказательства [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2022. - № 1. - С. 64-70. - Библиогр.: с. 70-71 (3 назв. ) . - ISSN 1560-7488

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
доказательства -- математический аргумент -- математическое доказательство -- математическое мышление -- содержательная математика -- формализация -- формализованный язык -- ясность доказательства
Аннотация: Рассматривается соотношение ясности и строгости как характеристик математического аргумента и достижения доказательства средствами формализации.

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

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

Целищев, В. В.
Понимание математического доказательства: логика vs. математика [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2022. - № 2. - С. 63-74. - Библиогр.: с. 73-74 (9 назв. ) . - ISSN 1560-7488

УДК

^a16

^a510.6

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

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

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

Хлебалин, А. В.
Коллективные результаты и коллективная верифакация математического результата [Текст] / А. В. Хлебалин // Философия науки. - 2022. - № 4. - С. 65-74. - Библиогр.: 9 назв. . - ISSN 1560-7488

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
верификация -- верификация доказательства -- математические результаты -- математическое доказательство -- социальная эпистемология
Аннотация: Выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам.

Нет сведений об экземплярах (Источник в БД не найден)

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

Ламберов, Л. Д.
Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. ) . - ISSN 1560-7488

УДК

^a510

^a1

ББК 22.1 + 87.25
Рубрики: Математика
   Общие вопросы математики
   Философия
   Философия науки
Кл.слова (ненормированные):
математическая практика -- математическое доказательство -- понимание доказательства -- строгость доказательства -- философия математики -- формализация
Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.

Нет сведений об экземплярах (Источник в БД не найден)

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

Сторожук, А. Ю.
Эволюция математического доказательства с точки зрения психологии развития [Текст] / А. Ю. Сторожук // Философия науки. - 2023. - № 4. - С. 119-127. - Библиогр.: с. 125-127 (17 назв. ) . - ISSN 1560-7488

УДК

^a510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
абстрактность -- математическое доказательство -- развитие человеческого сознания
Аннотация: Рассмотрение этапов развития математического доказательства как последовательных этапов развития человеческого мышления, идущего по пути нарастания абстрактности.

Нет сведений об экземплярах (Источник в БД не найден)

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

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

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