Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/50629
Full metadata record
DC FieldValueLanguage
dc.contributor.authorМихайлова, Н. В.-
dc.coverage.spatialКурскru_RU
dc.date.accessioned2023-03-21T12:40:37Z-
dc.date.available2023-03-21T12:40:37Z-
dc.date.issued2022-
dc.identifier.citationМихайлова, Н. В. Математическое познание в контексте философской проблемы компьютерного доказательства / Н. В. Михайлова // Проблемы онто-гносеологического обоснования математических и естественных наук : сборник научных трудов / Курский государственный университет ; редкол.: Е. И. Арепьев [и др.]. – Курск, 2022. – Вып. 13. – С. 66–74.ru_RU
dc.identifier.urihttps://libeldoc.bsuir.by/handle/123456789/50629-
dc.description.abstractПоявление и массовое распространение компьютеров не только изменило отношение к приложениям математики, но и привело к появлению новой реальности использование компьютеров в самой математике. В работе рассматривается новое понимание того, как можно доказывать в математике, точнее, на что можно надеяться при понимании двух типов доказательства – традиционно концептуального и компьютерного. В современной практике математического познания привычным понятием становится компьютерное доказательство, несмотря на то, что все еще продолжаются дискуссии о философском статусе таких доказательств.ru_RU
dc.language.isoruru_RU
dc.publisherКурский государственный университетru_RU
dc.subjectпубликации ученыхru_RU
dc.subjectматематическое познаниеru_RU
dc.subjectкомпьютерные доказательстваru_RU
dc.subjectфилософия математикиru_RU
dc.titleМатематическое познание в контексте философской проблемы компьютерного доказательстваru_RU
dc.typeArticleru_RU
Appears in Collections:Публикации в зарубежных изданиях

Files in This Item:
File Description SizeFormat 
Mihailova_Matematicheskoe_poznanie.pdf693.36 kBAdobe PDFView/Open
Show simple item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.