Очередное интервью Ландо про матфак ВШЭ

[posic]

На 4-й странице 17-го номера "Троицкого варианта" -- http://www.scientific.ru/trv/17N.pdf

Порекламирую новый математический факультет Высшей Школы Экономики и я. Я знаю сейчас в России всего два высших учебных заведения, которые хотя бы стремятся преподавать современную фундамендальную математику (а не устаревшую лет на 100 инженерно-прикладную). Это один частный университет -- НМУ, и один факультет государственного университета -- матфак ВШЭ.

Comments

[aron-turgenev.livejournal.com]

Ответил на то, что увидел, никаких "задних" мыслей у меня не было. Я не занимаюсь и не занимался комбинаторикой в стиле Семереди, я лишь не берусь определять, какое направление является самым важным. У меня деятельность по длине арифметических последовательностей как-то ассоцируется с теорией разбиений, но защищать этот тезис я не берусь. Высказывания Гельфанда относились к молодым людям, увлеченных вакханалией прямых и обратных функторов, и означали, я думаю, лишь призыв не пренебрегать классикой. Во всяком случае, буквально понимать его слова не следует. "Издевка" - неудачное слово, но к словам Бурбаки, осуждающим Эйлера, без иронии относиться невозможно. Теория распределений, на мой взгляд, есть замечательное соединение современного подхода с классикой, это же относится и к подходу Гротендика к задаче о ядре. Чисто концептуальной математикой я бы это не назвал, какой-то моцартианский элемент там присутствует. Интуитивное понятие о дельта-фукции у физиков к этому времени уже было, термин "обобщенные функции" уже существовал и т.д.

[sowa.livejournal.com]

У меня вызвало удивление то, где Вы ответили, а не на что.

"Я не занимаюсь и не занимался комбинаторикой в стиле Семереди, я лишь не берусь определять, какое направление является самым важным."

Не Вы ли сказали, что возможности концептуального подхода исчерпаны, и следует возвращаться к каким-то истокам?

"Высказывания Гельфанда относились к молодым людям, увлеченных вакханалией прямых и обратных функторов, и означали, я думаю, лишь призыв не пренебрегать классикой."

Надо думать, не высказывание о том, что следует знать производные категории? Которые, кстати очень медленно осваиваются математиками, и если Гельфанда они перестали интересовать в какой-то момент, то другие осваивают это только сейчас.

"Теория распределений, на мой взгляд, есть замечательное соединение современного подхода с классикой..."

Было бы интересно услышать, что из классики и какой классики Вы там видите. Создание теории распределений подробно описано самим Л. Шварцем. Публике практически неизвестно, например, что существенным толчком для Шварца были идеи де Рама, т.е. гомологическая алгебра в широком смысле.

"Чисто концептуальной математикой я бы это не назвал, какой-то моцартианский элемент там присутствует."

То ли Вы хотели просто обругать концептуальную математику (которую Вы, очевидно, не любите - очевидно из этой дискуссии), то ли Вы просто непонятно выразились. Каков смысл Вашего противопоставления коцептуальной математики Моцарту? Я бы мог уподобить концептуальную математику Баху и Малеру, например (а мог бы и Моцарту), а Семереди - Kylie Minougue, но смысла в этом мало.

И что, собственно, Вы понимаете под концептуальной математикой? Пока я уловил только то, что Вам не нравятся категории и функторы, которые действительно играют большую роль в том, что обычно называется концептуальной математикой, но их (явное) присутствие совсем не обязательно. (Неявно они присутствуют почти везде.)

[marina_p]

Когда отвечаешь на последний комментарий к записи, кнопки "Reply to this" и "Post a new comment" находятся совсем рядом, легко ошибиться и нажать не туда. У меня так тоже не раз было.

[sowa.livejournal.com]

Но ведь видно, что получилось. Автоматически выскакивает экран с комментом. Можно исправить, дав линк, или стерев и поставив в нужное место.

Да и комментарий мой был не последним: http://posic.livejournal.com/242517.html?thread=891733#t891733.

[marina_p]

Если там пойти по ссылке, то получится как раз последний. А экран для написания коммента выскакивает в самом низу страницы, разница не заметна, если не присматриваться. Когда коммент уже отправлен, тогда разница видна, конечно. Но можно не сообразить, почему так получилось (вы забываете о разнице в ЖЖ-стаже, мне кажется :-)

[sowa.livejournal.com]

Тогда я не знаю, что такое последний коммент. Ниже него - целая ветка, см. http://posic.livejournal.com/242517.html?thread=881237#t881237. Последний по времени в какой-то момент - несомненно. Это верно для любого коммента.

"Когда коммент уже отправлен, тогда разница видна, конечно. Но можно не сообразить, почему так получилось (вы забываете о разнице в ЖЖ-стаже, мне кажется :-)"

Вот именно, видно. А почему так получилось - совершенно неважно, исправить можно в любом случае.

[marina_p]

Я имела в виду, что когда я нажимаю на вашу ссылку в ответе А.-Т. (http://posic.livejournal.com/242517.html?thread=891477#t891477), то открывается окно, в котором только один комментарий, он же последний. Но, в общем, это всё неважно, я только хотела объяснить, как такие вещи получаются (тем более что сама не раз такие ответы "не туда" отправляла).

[sowa.livejournal.com]

"кнопки "Reply to this" и "Post a new comment" находятся совсем рядом"

Никак не мог этого понять. Это, наверное, от стиля зависит. У меня они очень далеко. Что, впрочем, не имеет значения - см. сказанное раньше.

[aron-turgenev.livejournal.com]

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

[sowa.livejournal.com]

"Есть время накапливать результаты и время обдумывать результаты. Феликс Кляйн и писал книгу об икосаэдре и формулировал Эрлангенскую программу. Дело не только в толчках, но и материале, накопленном до толчков."

Противопоставление результатов обдумыванию, etc. довольно перпендикулярно противопоставлению концептуальной математики неконцептуальной. Это видно даже из знаменитого эссэ упомянутого Вами Гоуэрса. (Как обычно, рекомендую всем - это его лучшая работа.) Самый яркий и известный пример концептуальной математики - АГ Гротендика - это не обдумывание чего-то накопленного, это решение задачи.

"Лемма Семереди относится к аддитивной теории чисел, не мне говорить Вам, сколько математики вылезло из теории чисел.

То, что обычно называется "леммой Семереди" отностится к теории графов. Теории чисел там и близко не лежало.

К "аддитивной теории чисел" относится "теорема Семереди". "Аддитивная теория чисел" не является теорией чисел в стандартном смысле этого слова, поскольку занимается только аддитивной структурой целых чисел, т.е. исследует Z как абелеву группу, а не как кольцо. Результаты этого направления естественно обобщаются на другие абелевы группы, иногда на нильпотентные. Мнение о том, что это не теория чисел, разделяют по крайней мере некоторые специалисты по теории чисел, в том числе и присутствующие в ЖЖ.

"Под концептуализмом я понимаю безаппеляционные заявления типа :"Математика - это ..."."

Это полностью обесценивает все Ваши предыдущие высказывания в комментариях к этому посту. Вы придумали свое определение "концептуализма", при котором он выглядит непривлекательно просто по определению.

Спорить при таком определении не о чем. Засим, пожалуй, стоит раскланяться.