Поисковый запрос: (<.>K=математическая практика<.>) |
Общее количество найденных документов : 7
Показаны документы с 1 по 7 |
1.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Убедительность доказательства и рациональность мышления
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2006. - N 3. - С. 49-64 (Шифр phna/2006/3) Примечания : Библиогр.: с. 63-64 (12 назв. ). - s, 2006, , rusRUMARS-phna06_000_003_0049_1Зональная научная библиотека Ростовского государственного университетаN 3(30). - С. 49-64phna06_000_003_0049_1, 3, 49-64
ISSN: 1560-7488
УДК : 16 ББК : 87.4 Предметные рубрики: Логика-- Общие вопросы логики Ключевые слова (''Своб.индексиров.''): доказательства--математическая практика--математические доказательства--рациональное мышление Аннотация: Природа математического доказательства.
Найти похожие
|
2.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Клещев А. С.
Заглавие : Концепция банка математических знаний для научных исследований
. Ч. 1 : Метафора
Серия: Математические проблемы управления
Место публикации : Проблемы управления. - 2008. - N 4. - С.2-6. - ISSN 1819-3161. - ISSN 1819-3161 Примечания : Библиогр.: с. 6 (13 назв. )
УДК : 681.3:62-52 + 004.41/.42 ББК : 30.6-5-05 + 32.973-018 Предметные рубрики: Техника Автоматизация оборудования Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Ключевые слова (''Своб.индексиров.''): математическая практика--математические исследования--научная деятельность--научные исследования--математические знания--банк математических знаний--компьютерные системы--доказательства--построение доказательств--интуитивные доказательства--интерактивное построение доказательств Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.
Найти похожие
|
3.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В.
Заглавие : Интенсиональность математического дискурса: необходимость истин математики
Серия: Общие вопросы истории и философии науки
Место публикации : Философия науки. - 2018. - № 4. - С.34-47. - ISSN 1560-7488 (Шифр phna/2018/4). - ISSN 1560-7488 Примечания : Библиогр.: с. 46-47 (11 назв. )
УДК : 510.6 + 11/12 ББК : 22.12 + 87.21 Предметные рубрики: Математика Математическая логика Философия Метафизика. Онтология Ключевые слова (''Своб.индексиров.''): интенсиональность--математическая практика--математические дискурсы--математические истины--модальная логика--модальность Аннотация: Рассматривается применение модальной логики к анализу математического дискурса. Показано, что такое применение требует осторожности, поскольку часто приводит к абсурдным результатам. В частности, анализируется тезис о том, что в математике доказуема необходимость математических истин. Показано, что подобное смешение метафизики и математической логики является неправомерным.
Найти похожие
|
4.
|
Вид документа : Статья из журнала Шифр издания : 1/Ш24
Автор(ы) : Шапошников В. А. (кандидат философских наук; доцент)
Заглавие : На пути к открытой математике: трансформация практики математического доказательства от индивидуальной к социоцифровой
Серия: Философия математики
Место публикации : Вестник Московского университета. Сер. 7, Философия. - 2019. - № 1. - С.79-94. - ISSN 0201-7385 (Шифр mfls/2019/1). - ISSN 0201-7385 Примечания : Библиогр.: с. 92-94
УДК : 1 ББК : 87.25 Предметные рубрики: Философия Философия науки Ключевые слова (''Своб.индексиров.''): коммуникация--компьютеры--математическая практика--философия математики--цифровая культура Аннотация: В цифровой культуре математическая практика претерпевает существенные и далеко идущие изменения. В статье сделана попытка приглядеться поближе к тому, как меняется при этом представление математиков о природе и целях математического доказательства. Тема еще более сужена за счет выбора лишь одной из наличных тенденций, а именно усиления интереса к социальному и коммуникативному аспектам математического доказательства.
Найти похожие
|
5.
|
Вид документа : Статья из журнала Шифр издания : 1/Х55
Автор(ы) : Хлебалин А. В.
Заглавие : Polymath и трансформация математической практики
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2021. - № 4. - С.43-50. - ISSN 1560-7488 (Шифр phna/2021/4). - ISSN 1560-7488 Примечания : Библиогр.: с. 50 (4 назв. )
УДК : 1 + 510 ББК : 87.25 + 22.1 Предметные рубрики: Философия Философия науки Математика Общие вопросы математики Ключевые слова (''Своб.индексиров.''): polymath--блокчейн-платформа--верификации знания--дистрибутивное знание--математическая аргументация--математическая практика--математические сообщества--платформа polymath Аннотация: Исследованы социально-эпистемологические характеристики трансформации математического сообщества и математической практики получения и верификации знания в новых формах организации математического исследования на примере платформы Polymath.
Найти похожие
|
6.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Целищев В. В., Хлебалин А. В.
Заглавие : Понимание математического доказательства: логика vs. математика
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2022. - № 2. - С.63-74. - ISSN 1560-7488 (Шифр phna/2022/2). - ISSN 1560-7488 Примечания : Библиогр.: с. 73-74 (9 назв. )
УДК : 16 + 510.6 ББК : 87.4 + 22.12 Предметные рубрики: Логика Общие вопросы логики Математика Математическая логика Ключевые слова (''Своб.индексиров.''): математическая практика--математическое доказательство--математическое мышление--формальные доказательства--язык математики Аннотация: Анализируется противопоставление понимания математического доказательства его формализации. Показано, что в этом противопоставлении смешаны две проблемы: соотношение математической логики и математической практики доказательства и соотношение математического и формального доказательств.
Найти похожие
|
7.
|
Вид документа : Статья из журнала Шифр издания :
Автор(ы) : Ламберов Л. Д.
Заглавие : Строгость доказательства: "серая зона" между формализацией и практикой
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2023. - № 1. - С.120-133. - ISSN 1560-7488 (Шифр phna/2023/1). - ISSN 1560-7488 Примечания : Библиогр.: с. 131-133 (21 назв. )
УДК : 510 + 1 ББК : 22.1 + 87.25 Предметные рубрики: Математика Общие вопросы математики Философия Философия науки Ключевые слова (''Своб.индексиров.''): математическая практика--математическое доказательство--понимание доказательства--строгость доказательства--философия математики--формализация Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.
Найти похожие
|
|