Aspiring Data Science
384 subscribers
465 photos
12 videos
12 files
2.16K links
Заметки экономиста о программировании, прогнозировании и принятии решений, научном методе познания.
Контакт: @fingoldo

I call myself a data scientist because I know just enough math, economics & programming to be dangerous.
Download Telegram
Forwarded from New Yorko Times (Yury Kashnitsky)
Когда математики в ступоре и опять про важность софт-скиллов
#math #science

Статья в моем блоге: https://yorko.github.io/2022/rus-abc-conjecture/

Эта история не нова, завязалась она в 2012-ом и, как кажется, развязалась – в 2018-ом. Кто следил за историей док-ва abc-гипотезы - поставьте 🤓 к посту, а для остальных я вкратце перескажу суть этой истории, от которой любители математики могут почувствовать настоящий фриссон – тот самый мороз по коже.

abc-гипотеза – одна из главных в теории чисел, она связывает сложение, умножение и простые числа где-то на “самом низком уровне”. В английском “conjecture” означает, что большинство верит в верность утверждения, но оно еще не доказано (в переводе на русский эта коннотация теряется, гипотеза – это всего лишь гипотеза). Я не буду тут играть в тру математика, смысл abc-гипотезы я не смогу толком оценить (после доклада декана ФКН Аржанцева по алгебраической геометрии я даже бабушке перестал говорить, что математик). Но важность abc-гипотезы можно оценить по вторичным признакам: во-первых, она еще не доказана, а значит, скорее всего с помощью существующих математических аппаратов ее либо невозможно либо очень сложно доказать (вряд ли уж за почти 40 лет человечество проглядело простое элегантное доказательство, хотя как знать). Когда наконец будет доказана, значит, математика скорее всего выработает принципиально новый аппарат и продвинется далеко вперед. Во-вторых, как говорят математики, великая теорема Ферма – просто следствие abc-гипотезы, значит, если доказать abc-гипотезу, то можно “за бесплатно” получить доказательство пресловутой великой теоремы Ферма, формулировку которой поймет любой школьник, а на доказательство которой понадобилось более 350 лет человечества и несколько лет затворничества одного конкретного человека – британца Эндрю Уайлса.

И вот в 2012 году японец Синъити Мотидзуки выкладывает 4 статьи объемом более 500 стр. в сумме и утверждает, что доказал abc-гипотезу. Первая статья под названием «Интер-универсальная теория Тейхмюллера 1: Построение театров Ходжа», начинается с утверждения, что цель работы в «разработке арифметической версии теории Тейхмюллера для цифровых полей ограниченных эллиптической кривой… с помощью применения теории полуграфов анабелиоидов, фробениоидов, эталь тета-функций и логарифмических оболочек». Звучит как что-то на марсианском. Причем не только для нас, но и для специалистов. «Смотря на неё, ты чувствуешь будто читаешь статью из будущего или далёкого космоса», – написал в своем блоге Джордан Элленберг, профессор математики в Висконсинского университета.

Сообщество математиков было в полнейшем ступоре. Игнорировать статью не получалось: Мотидзуки к своим 43 годам уже добился всего чего можно в математике, в 16 лет он поступил в университет Принстона, а в 22 года уже получил докторскую степень под руководством лауреата Филдсовской премии в области алгебраической геометрии Герда Фальтингса. Но и вникнуть в доказательство было почти невозможно: Мотидзуки цитирует в основном себя самого, в статьях, цитирующих опять же Мотидзуки, и т.д. по рекурсии – получается гора из почти 2000 статей. Лучшие умы алгебраической геометрии оценивали, что им нужно около года вникать в теории Мотидзуки, чтоб хотя бы сформировать хоть какое-то мнение о его теории. Не помогало и то что Мотидзуки не очень спешил пояснять свои “театры Ходжа” и прочие головоломные исхищрения, его не раз приглашали в топовые универы с курсами лекций, но японец довольно высокомерно отказывался, считая, что ни за неделю, ни за месяц нельзя объяснить его доказательство.

И получается патовая ситуация. Труд математиков могут оценить только математики (peer review), но в данном случае верификация слишком сложна, как будто подрываются сами основы самой, казалось бы, точнейшей и чистейшей из наук – математики. А пока лучшие умы вникают в новую статью, нам простым смердам остается только гадать, что происходит, надо ли гению распинаться и пояснять свои выкладки или мы, человечество поймем все веке эдак в 24-ом, пусть лучше гений тем временем еще дальше продвинет науку.
#religion vs #science

Это вообще находка. Крайне корректный, интересный диалог умных собеседников. Очень эрудированный батюшка, который не видит, в отличие от предыдущего, никакой проблемы в том, что эволюция создана Богом. Но даже такого батюшку удалось загнать (на короткое время) в тупик мысленным экспериментом. Эксперимент, кстати, показал, что церковь догматична настолько, что если бы Христос сошёл во второй раз прямо сегодня, и так же как и 2000 лет тому стал творить чудеса, верующие... ему бы не поверили, и упекли в психушку. А учёные бы уже поверили. Это лучший диалог богослова и учёного, который я только видел.

https://www.youtube.com/watch?v=U6rOHLGRNMM&ab_channel=%D0%A1%D0%B5%D1%80%D0%B0%D1%84%D0%B8%D0%BC
#science #fun

наука важнее
💔5
#science

Один из итогов бездарного управления страной. Китайские товарищи - красавцы.

"Согласно ежегодному индексу Nature, Пекин снова стал лучшим городом мира по качеству и количеству научных работ, а Шанхай занял третье место. Среди 50 лучших городов в этом рейтинге 18 китайских, которые за год улучшили свои позиции, тогда как европейские и американские мегаполисы их ослабили. В списке 200 самых научных городов попал один российский — это Москва, которая расположилась на 60 месте."

https://3dnews.ru/1096523/kitayskie-goroda-rastut-v-mirovom-nauchnom-reytinge-a-amerikanskie-i-evropeyskie-teryayut-pozitsii

https://www.nature.com/nature-index/supplements/nature-index-2023-science-cities/tables/overall
🤡3😁1