Поисковый запрос: (<.>K=математическое доказательство<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
1. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Ламберов, Л. Д. Строгость доказательства: "серая зона" между формализацией и практикой [Текст] / Л. Д. Ламберов> // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. )
. - ISSN 1560-7488ББК 22.1 + 87.25 Рубрики: Математика Общие вопросы математики Философия Философия науки Кл.слова (ненормированные): математическая практика -- математическое доказательство -- понимание доказательства -- строгость доказательства -- философия математики -- формализация Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
2. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Хлебалин, А. В. Коллективные результаты и коллективная верифакация математического результата [Текст] / А. В. Хлебалин> // Философия науки. - 2022. - № 4. - С. 65-74. - Библиогр.: 9 назв.
. - ISSN 1560-7488ББК 87.25 + 22.1 Рубрики: Философия Философия науки Математика Общие вопросы математики Кл.слова (ненормированные): верификация -- верификация доказательства -- математические результаты -- математическое доказательство -- социальная эпистемология Аннотация: Выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
3. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Ламберов, Л. Д. Три вида обозримости математического доказательства [Текст] / Л. Д. Ламберов> // Философия науки. - 2024. - № 1. - С. 57-66. - Библиогр.: с. 64-66 (11 назв. )
. - ISSN 1560-7488ББК 22.1 Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): глобальная обозримость -- локальная обозримость -- математическое доказательство -- мезоскопическая обозримость -- обозримость математического доказательства Аннотация: Рассматриваются три вида обозримости: глобальная, локальная и "мезоскопическая".
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
4. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Сторожук, А. Ю. Эволюция математического доказательства с точки зрения психологии развития [Текст] / А. Ю. Сторожук> // Философия науки. - 2023. - № 4. - С. 119-127. - Библиогр.: с. 125-127 (17 назв. )
. - ISSN 1560-7488ББК 22.12 Рубрики: Математика Математическая логика Кл.слова (ненормированные): абстрактность -- математическое доказательство -- развитие человеческого сознания Аннотация: Рассмотрение этапов развития математического доказательства как последовательных этапов развития человеческого мышления, идущего по пути нарастания абстрактности.
Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
5. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Бессонов, А. В. Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев> // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. )
. - ISSN 1560-7488ББК 22.12 + 87.4 Рубрики: Логика Математика Математическая логика Общие вопросы логики Кл.слова (ненормированные): вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Доп.точки доступа: Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик) Найти похожие
|
6. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Бурбаки, Никола. Понятие истины в математике [Текст] / Н. Бурбаки> // Экология и жизнь. - 2007. - N 5. - С. . 15-17. - RUMARS-eizh07_000_005_0015_1
ББК 22.1г Рубрики: Математика--История математики Кл.слова (ненормированные): истина -- математическая истина -- математическое доказательство -- математические объекты -- математические теории -- доказательство в математике -- объекты в математике Аннотация: О развитии понятия "математической истины".
Найти похожие
|
7. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Целищев, В. В. Понимание математического доказательства: логика vs. математика [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2022. - № 2. - С. 63-74. - Библиогр.: с. 73-74 (9 назв. )
. - ISSN 1560-7488ББК 87.4 + 22.12 Рубрики: Логика Общие вопросы логики Математика Математическая логика Кл.слова (ненормированные): математическая практика -- математическое доказательство -- математическое мышление -- формальные доказательства -- язык математики Аннотация: Анализируется противопоставление понимания математического доказательства его формализации. Показано, что в этом противопоставлении смешаны две проблемы: соотношение математической логики и математической практики доказательства и соотношение математического и формального доказательств.
Доп.точки доступа: Хлебалин, А. В. Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
8. ![](http://lib.sgap.ru/irbis64r_01/images/printer.jpg)
|
Целищев, В. В. Концептуальная и формальная строгость математического доказательства [Текст] / В. В. Целищев, А. В. Хлебалин> // Философия науки. - 2022. - № 1. - С. 64-70. - Библиогр.: с. 70-71 (3 назв. )
. - ISSN 1560-7488ББК 87.25 + 22.1 Рубрики: Философия Философия науки Математика Общие вопросы математики Кл.слова (ненормированные): доказательства -- математический аргумент -- математическое доказательство -- математическое мышление -- содержательная математика -- формализация -- формализованный язык -- ясность доказательства Аннотация: Рассматривается соотношение ясности и строгости как характеристик математического аргумента и достижения доказательства средствами формализации.
Доп.точки доступа: Хлебалин, А. В. Нет сведений об экземплярах (Источник в БД не найден)
Найти похожие
|
|