ИНТЕЛРОС > №4, 2018 > Распределенное познание и математическая практика в цифровом обществе: от формализации доказательств к пересмотру оснований Шапошников В.А.
|
В статье сделана попытка посмотреть на современную математическую практику через призму концепции распределенного познания. Характерное для цифрового общества повсеместное использование персональных компьютеров и сети Интернет рассмотрено как способ достичь более эффективного распределения познавательной активности человека. В качестве решающего вызова, определяющего магистральное направление трансформации математической практики, в статье выделяется «проблема сложности». Современная тенденция к полной формализации математических доказательств на основе цифровых технологий рассматривается как одна из реакций на указанный вызов. Показано, что названная тенденция ведет к проекту переосмысления и перестройки самих оснований математики в целях обеспечения более эффективной коммуникации, а тем самым и надежности современной математики. Вернуться назад |