Очень понравился рассказ. Потянуло на философские мысли...
У меня РО - одно из основных направлений специальности.
В крайне убогом состоянии математика находится. Это очень суьъективное мнение - сейчас интернеты полнятся милионами восторженных статей о новых научных достижениях матеметики. Но из этого, как ни страно, и можно сделать мой вывод. Математика превратилась в придумывание новых около-инженерных, около-программистских приёмов для подсчёта специфичных задач. С начала прошлого века, когда всеми математиками разделялось мнение о имеющем место кризисе, всё изменилось только в худшую сторону.
Милионы практических поделок с одной стороны, и тысячи доходящих до абсурда работ по изучению предельно абстрактных объектов говорят о том что, всё плохо. И тенденции роста говорят о том, что переворотов не ожидается.
"Для любого А всегда найдётся такое Б, что В будет справедливо всегда"... Это, если всерьёз задуматься, вроде вообще абсолютно отвлечённый тип суждений, никакого отношения к непрерывности не имеющий... Но это лежит в основе всего сейчас существующего - на этом построены модели электро-магнитных полей (далее электроэнергия, ... , компьютеры), разных (всех) производств. В глубине лежит красивая, целостая, почти философская основа.
Нужен глубокий (околофилософский) пересмотр оснований математики. Новая математика, центральным объектом которой будет вопрос формализации информации, возможно рассмотрение всей старой математики как частного случая информационных моделей. Не "теория информации" Шеннона - это по сути инженерные рекомендации для оптимальной передачи сигналов по проводам, - нужно чтото вроде "новых информационных флюксий" Ньютона.
Это здесь, не совсем моё исследование, Колмогоров, например, которого наверно небезоснавательно многие считали величайшим математиком 20в. к таким мыслям приходил - что-то делал, но ничего не получилось.
У меня тут в блоге некоторая война с математиками произошла некоторое время назад. Я как раз и писал: математика и практика разъехались, и нужно как-то это дело переустроить. Ибо сейчас теория про одно, а практика про другое -- а связь между ними случайна. Инженерные же модели и физические модели делаются "под потребность" и там все время что-то новенькое происходит, новые абстракции придумывают, безо всякой математики.
То, что вы пишете, время от времени кусочками делают (от исследований по логике до вольфрамовской "новой науки"), но все эти кусочки разнонаправлены, как броуновское движение, никакого "проекта" и направленной эволюции нет. Поэтому (как в случае любой ненаправляемой эволюции) либо результат будет скоро, либо не скоро, либо эволюция вообще пока обойдется без результата, и сам результат так и останется неопределенным и неназыванным -- ничего сказать нельзя...
я тут разошёлся конечно.
хотел высказать только сомнение в ожидании прорывов в математике. так обычно только в среднебюджетных фильмах бывает - создание суперкомпьютера неминуемо приводит к возникновению в нём злобного искуственного интеллекта. практика показывает, что развитие вычислительного оборудования и математики никак не связаны.
не всегда успеваю глянуть на даты. топчутся на месте, как тогда так и сейчас. квантовые компьютеры, как числодробилки, может чего путного и выйдет. А вот то что - возможно в принципе "машинное обучение" -не верю сейчас. не поверю, ровно до того момента, пока не явят миру разум. или интеллект.