РАСПРЕДЕЛЕННОЕ ПОЗНАНИЕ И МАТЕМАТИЧЕСКАЯ ПРАКТИКА В ЦИФРОВОМ ОБЩЕСТВЕ: ОТ ФОРМАЛИЗАЦИИ ДОКАЗАТЕЛЬСТВ К ПЕРЕСМОТРУ ОСНОВАНИЙ
Ключевые слова:
распределенное познание, коммуникация, цифровое общество, математическая практика, формальное доказательство, основания математикиАннотация
В статье сделана попытка посмотреть на современную математическую практику через призму концепции распределенного познания. Характерное для цифрового общества повсеместное использование персональных компьютеров и сети интернета рассмотрено как способ достичь более эффективного распределения познавательной активности человека. В качестве решающего вызова, определяющего магистральное направление трансформации математической практики, в статье выделяется «проблема сложности». Современная тенденция к полной формализации математических доказательств на основе цифровых технологий рассматривается как одна из реакций на указанный вызов. Показано, что названная тенденция ведет к проекту переосмысления и перестройки самих оснований математики в целях обеспечения более эффективной коммуникации, а, тем самым, и надежности современной математики.
