А зачем она?

[mathclimber]

Перечитал сейчас "Апологию математика" Харди. Очень грустная книга, прямо вот понимаешь, каково человеку, когда уходит способность творить.

Но такая мысль. Думаю я, что Харди вот что не упомянул, рассуждая о "полезности" математики. Теперешняя она - это такой, ну, "храм", что-ли, логической строгости, насколько это вообще в силах человеческих (философию, please, тут не вспоминайте, она не храм, а совсем наоборот). Если все современные математики вдруг возьмут, и исчезнут, то сначала человечество этого никак не почувствует, совсем никак. С преподаванием потребных матметодов справятся физики и инженеры, они и сейчас это делают вполне хорошо, а о кобордизмах, гомотопиях, и прочих сигма-алгебрах грустить будет некому. Ну, струнную теорию двигать станет труднее без нас, но она ж пока тоже вещь в себе, ладно.

Но. Вот идёт время, идёт оно вперёд, как обычно. И сначала теоретические физики начинают приравнивать бесконечные интегралы к нулю и суммировать расходящиеся ряды с чуть меньшими угрызениями совести, чем обычно. После, и в менее теоретических областях стандарты строгости начинают дрейфовать куда-то. Потом и вообще в науке что-то доказывать станет дурным тоном, а вместо этого воцарится ужасное слово обосновать. И наступит wishful thinking, некому будет сдержать его, эталон утерян. И... в общем, ладно, ни слова про пушных зверей.

Так что, может и пускай оно продолжается так, как сейчас. Работает - не трогай?..