DC Field | Value | Language |
dc.contributor.author | Михайлова, Н. В. | - |
dc.coverage.spatial | Курск | ru_RU |
dc.date.accessioned | 2023-03-21T12:40:37Z | - |
dc.date.available | 2023-03-21T12:40:37Z | - |
dc.date.issued | 2022 | - |
dc.identifier.citation | Михайлова, Н. В. Математическое познание в контексте философской проблемы компьютерного доказательства / Н. В. Михайлова // Проблемы онто-гносеологического обоснования математических и естественных наук : сборник научных трудов / Курский государственный университет ; редкол.: Е. И. Арепьев [и др.]. – Курск, 2022. – Вып. 13. – С. 66–74. | ru_RU |
dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/50629 | - |
dc.description.abstract | Появление и массовое распространение компьютеров не только изменило отношение к приложениям математики, но и привело к появлению новой реальности использование компьютеров в самой математике. В работе рассматривается новое понимание того, как можно доказывать в математике, точнее, на что можно надеяться при понимании двух типов доказательства – традиционно концептуального и компьютерного. В современной практике математического познания привычным понятием становится компьютерное доказательство, несмотря на то, что все еще продолжаются дискуссии о философском статусе таких доказательств. | ru_RU |
dc.language.iso | ru | ru_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.type | Article | ru_RU |
Appears in Collections: | Публикации в зарубежных изданиях
|