avva (
avva) wrote2025-11-20 12:39 am
Entry tags:
симплектическая геометрия
Миша Вербицкий написал очень интересное (для меня по крайней мере) о сомнительном основании у некоторых частей современной математики:
"...есть целые области математики, у которых отсутствует фундамент, начисто, то есть никакого способа обосновать результаты нет. Научиться им очень трудно, потому что в силу отсутствия корпуса фундаментальных текстов, можно узнать, что верно или что нет, только в личном общении. Например, выучить симплектическую геометрию, не имея адвайзора, который ею занимается, невозможно (я знал одного студента, который сие не понимал, и пытался освоить симплектическую геометрию самостоятельно; то ли дурак, то ли аутист, а скорее всего и то и другое. Поболтался в Израиле и вернулся в сраную, сейчас работает в школе, в общем результат предсказуем).
Вот тут чудесные очерки крестового похода, который
ведет знаменитый математик Алекс Зингер, разоблачая
попытки обосновать пачку фундаментальных результатов
симплектической геометрии:
https://www.math.stonybrook.edu/~azinger/
Вот еще статья, про другую проблему, с аналогичным статусом:
https://www.quantamagazine.org/the-fight-to-fix-symplectic-geometry-20170209/
(несколько коллективов весьма великих ученых заявляют, что они-то все строго построили, при этом разоблачают аналогичные утверждения конкурентов; по факту, какая-то степень строгости есть у каждого, но до настоящего доказательства им очень далеко).
Вот тут это обсуждают
https://www.reddit.com/r/math/comments/kwp2de/controversy_in_symplectic_geometry_zinger_ruan_li/
https://www.reddit.com/r/math/comments/5t3n48/a_fight_to_fix_symplectic_geometrys_foundations/
Сами результаты, конечно, верны, а ученые, которые эти тексты написали, люди весьма уважаемые и квалифицированные, несмотря на ошибки, местами неприличные; но фундамент у сей науки осутствует и по сей день. Куча народу заявляет, что у них оно есть, но по факту что-то доказано только в весьма ограниченной ситуации, либо вообще толком не доказано. Знающие люди знают, чем можно пользоваться, а чем нет, и существенных противоречий в математике доселе не накопали. Но в принципе, могут, конечно, накопать, и тогда какие-то из статей придется переписывать."
Я почитал некоторые из полемик Зингера по ссылке, это действительно эпично выглядит - и достаточно неприглядно.
Есть знаменитый в истории математики случай с "итальянской школой алгебраической геометрии", где в начале 20 века была похожая ситуация, результаты были мягко говоря не строго доказаны, и постепенно из "нет точных доказательств, но результаты верны" перешло в "сами результаты неверны" и весь этот карточный домик схлопнулся.
Но я не знал, что есть что-то похожее в наше время (кроме спора о гипотезе ABC, но это немного другое).
"...есть целые области математики, у которых отсутствует фундамент, начисто, то есть никакого способа обосновать результаты нет. Научиться им очень трудно, потому что в силу отсутствия корпуса фундаментальных текстов, можно узнать, что верно или что нет, только в личном общении. Например, выучить симплектическую геометрию, не имея адвайзора, который ею занимается, невозможно (я знал одного студента, который сие не понимал, и пытался освоить симплектическую геометрию самостоятельно; то ли дурак, то ли аутист, а скорее всего и то и другое. Поболтался в Израиле и вернулся в сраную, сейчас работает в школе, в общем результат предсказуем).
Вот тут чудесные очерки крестового похода, который
ведет знаменитый математик Алекс Зингер, разоблачая
попытки обосновать пачку фундаментальных результатов
симплектической геометрии:
https://www.math.stonybrook.edu/~azinger/
Вот еще статья, про другую проблему, с аналогичным статусом:
https://www.quantamagazine.org/the-fight-to-fix-symplectic-geometry-20170209/
(несколько коллективов весьма великих ученых заявляют, что они-то все строго построили, при этом разоблачают аналогичные утверждения конкурентов; по факту, какая-то степень строгости есть у каждого, но до настоящего доказательства им очень далеко).
Вот тут это обсуждают
https://www.reddit.com/r/math/comments/kwp2de/controversy_in_symplectic_geometry_zinger_ruan_li/
https://www.reddit.com/r/math/comments/5t3n48/a_fight_to_fix_symplectic_geometrys_foundations/
Сами результаты, конечно, верны, а ученые, которые эти тексты написали, люди весьма уважаемые и квалифицированные, несмотря на ошибки, местами неприличные; но фундамент у сей науки осутствует и по сей день. Куча народу заявляет, что у них оно есть, но по факту что-то доказано только в весьма ограниченной ситуации, либо вообще толком не доказано. Знающие люди знают, чем можно пользоваться, а чем нет, и существенных противоречий в математике доселе не накопали. Но в принципе, могут, конечно, накопать, и тогда какие-то из статей придется переписывать."
Я почитал некоторые из полемик Зингера по ссылке, это действительно эпично выглядит - и достаточно неприглядно.
Есть знаменитый в истории математики случай с "итальянской школой алгебраической геометрии", где в начале 20 века была похожая ситуация, результаты были мягко говоря не строго доказаны, и постепенно из "нет точных доказательств, но результаты верны" перешло в "сами результаты неверны" и весь этот карточный домик схлопнулся.
Но я не знал, что есть что-то похожее в наше время (кроме спора о гипотезе ABC, но это немного другое).







