Переусложненность современной математики: философско-методологический анализ

В статье анализируются и выявляются новые философские аспекты в проблеме обоснования современной математики, согласно которым к концу прошлого века точнейшая из наук испытала новые потрясения, связанные с кризисом переусложненности математических теорий. В контексте обоснования математики, философский вывод состоит в том, что с методологической точки зрения, для общего вывода о том, развивается современная математика или нет, как раз отсутствие кризиса должно оцениваться более негативно, чем ее слишком длительное беспроблемное состояние. Свершившимся фактом стало то, что одним из самых серьезных революционных технических изобретений прошедшего века, оказавшим огромное влияние на математику, можно считать компьютер. В таком развитии прогресса современной математики, точнее, в ее инструментальных технологиях выявляются новые философские проблемы - это роль компьютеров и новые стандарты математического мышления. Кроме того, с развитием современной математики приходится наблюдать появление все более сложных и объемных доказательств, теряющих свое неоспоримое методологическое преимущество - обозримость, и, следовательно, убедительность. В рамках философии математики эта проблема пока еще не обсуждалась, возможно, потому, что по этой теме не высказались ведущие математики. После этого мы вправе ожидать методологически важного периода уточнения «деталей», который может придать самому процессу обоснования математики философскую завершенность, так как кризис переусложненности в математике - это не «системный кризис», несущий потенциальную опасность разрушения всего математического знания.