| Title: | Концептуальное понимание математического доказательства и его изменение в практике информационных технологий |
| Authors: | Михайлова, Н. В. |
| Keywords: | публикации ученых;философия;философская рефлексия;компьютерное доказательство;математическое доказательство |
| Issue Date: | 2024 |
| Publisher: | Омский государственный университет |
| Citation: | Михайлова, Н. В. Концептуальное понимание математического доказательства и его изменение в практике информационных технологий / Н. В. Михайлова // Математическое и компьютерное моделирование : сборник материалов XI Международной научной конференции, Омск, 15 марта 2024 г. / Омский государственный университет им. Ф. М. Достоевского. – Омск, 2024. – С. 58–60. |
| Abstract: | В статье рассматривается традиционное математическое доказательство и анализ тех его изменений, которые связаны с информационными технологиями и требуют философского осмысления компьютерного доказательства как средства убеждения, позволяющего найти нечто общее в двух видах взаимосвязанной аргументации. Формальная сложность такого осмысления проявляется в том, что комбинаторная методика, свойственная компьютерным доказательствам, плохо сочетается с интуицией математической креативности. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/55632 |
| Appears in Collections: | Публикации в зарубежных изданиях
|
