Skip navigation
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: https://libeldoc.bsuir.by/handle/123456789/50629
Название: Математическое познание в контексте философской проблемы компьютерного доказательства
Авторы: Михайлова, Н. В.
Ключевые слова: публикации ученых;математическое познание;компьютерные доказательства;философия математики
Дата публикации: 2022
Издательство: Курский государственный университет
Описание: Михайлова, Н. В. Математическое познание в контексте философской проблемы компьютерного доказательства / Н. В. Михайлова // Проблемы онто-гносеологического обоснования математических и естественных наук : сборник научных трудов / Курский государственный университет ; редкол.: Е. И. Арепьев [и др.]. – Курск, 2022. – Вып. 13. – С. 66–74.
Аннотация: Появление и массовое распространение компьютеров не только изменило отношение к приложениям математики, но и привело к появлению новой реальности использование компьютеров в самой математике. В работе рассматривается новое понимание того, как можно доказывать в математике, точнее, на что можно надеяться при понимании двух типов доказательства – традиционно концептуального и компьютерного. В современной практике математического познания привычным понятием становится компьютерное доказательство, несмотря на то, что все еще продолжаются дискуссии о философском статусе таких доказательств.
URI: https://libeldoc.bsuir.by/handle/123456789/50629
Располагается в коллекциях:Публикации в зарубежных изданиях

Файлы этого ресурса:
Файл Описание РазмерФормат 
Mihailova_Matematicheskoe_poznanie.pdf693.36 kBAdobe PDFОткрыть
Показать полное описание Просмотр статистики Google Scholar

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.