| Title: | Математическое познание в контексте философской проблемы компьютерного доказательства |
| Authors: | Михайлова, Н. В. |
| Keywords: | публикации ученых;математическое познание;компьютерные доказательства;философия математики |
| Issue Date: | 2022 |
| Publisher: | Курский государственный университет |
| Citation: | Михайлова, Н. В. Математическое познание в контексте философской проблемы компьютерного доказательства / Н. В. Михайлова // Проблемы онто-гносеологического обоснования математических и естественных наук : сборник научных трудов / Курский государственный университет ; редкол.: Е. И. Арепьев [и др.]. – Курск, 2022. – Вып. 13. – С. 66–74. |
| Abstract: | Появление и массовое распространение компьютеров не только изменило отношение к приложениям математики, но и привело к появлению новой реальности использование компьютеров в самой математике. В работе рассматривается новое понимание того, как можно доказывать в математике, точнее, на что можно надеяться при понимании двух типов доказательства – традиционно концептуального и компьютерного. В современной практике математического познания привычным понятием становится компьютерное доказательство, несмотря на то, что все еще продолжаются дискуссии о философском статусе таких доказательств. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/50629 |
| Appears in Collections: | Публикации в зарубежных изданиях
|
