Общий знаменатель – Telegram
Общий знаменатель
7.21K subscribers
509 photos
7 videos
10 files
579 links
Разговоры о математике
Download Telegram
У нас в ФМШ начинался первый урок алгебры, а за окном мужики забивали сваю: бум-м! Учитель Борис Михайлович Беккер подошёл к окну и посмотрел на стройку:

-- Должен сказать: чтобы заниматься математикой, вам не нужно задаваться вопросом, поможет ли она быстрее построить вот этот дом напротив. Если же вас это беспокоит, то не исключено, что математика вам противопоказана. Да что ж они так грохочут-то...

С учителем я был согласен на все сто. Если математический объект логически красив, то вот вам уже и причина его исследовать -- а применение в народном хозяйстве дело пятнадцатое. Тем удивительнее было потом узнать, что еще в 19-м веке математики -- даже сам король Карл Гаусс -- считали иначе, полагая, что они должны решать практические задачи, а не забавляться абстракциями.

Эту историю я вспомнил, когда прочёл на днях статью (по ссылке) московских геометров Виктора Прасолова и Аркадия Скопенкова о том, почему неевклидова геометрия была принята научным сообществом не сразу. Одна из причин как раз состояла в том, что Гаусс, который пришел к идеям неевклидовой геометрии примерно в то же время, что и Лобачевский с Бойяи, стеснялся пиарить своё открытие, опасаясь критики коллег за абстракционизм.

Опасался он, конечно, напрасно. Рассуждение о том, что математик не должен задумываться о практической пользе своих занятий, со временем было дополнено еще и тем соображением, что никаких бесполезных абстракций мы на самом деле не изобретаем, а только открываем (если везёт) нечто уже существующее, только доселе неведомое -- и рано или поздно оно и так пригодится на практике. Что и случилось с неевклидовыми геометриями впоследствии

https://arxiv.org/pdf/1307.4902.pdf
Ещё один момент в статье Прасолова и Скопенкова из предыдущего поста, уже не очень серьёзный. На странице 5 у них упоминаются фундаментальные области дробно-линейных преобразований комплексной переменной и даётся сноска: "Читатель, не знающий, что это такое, может пропустить этот абзац без ущерба для понимания
дальнейшего".

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

На то, что точные формулировки могут звучать нетактично, обращал внимание еще Джон Литлвуд в "Математической смеси" (по ссылке). Он привел пример, как один математик написал: "Часть 2, принадлежащая Харди и Литлвуду, тривиальна". На самом деле Харди и Литлвуд привели эту "Часть2" просто для полноты, но замечание выглядело так, будто они только и могут, что доказывать тривиальные утверждения. Обидно-с

https://www.e-reading.club/bookreader.php/1040882/Litlvud_-_Matematicheskaya_smes.html
задачка.png
347.5 KB
Задачка из школьного учебника 1910 года -- неплохо дрессировали учеников, правда? Всю решать не предлагаю, разомнитесь на пункте 8 -- устно, разумеется
Поздравляю женщин и хочу рассказать об одной яркой представительнице прекрасного пола в математике — это Таня Хованова, исследователь из Массачусетского технологического и активистка программы "Женщины и математика" в Институте перспективных исследований в Принстоне. А родилась и училась она в Советском Союзе.

В середине 1970-х Таня блистала на международных олимпиадах (1975 серебро, 1976 золото), а тренировали команду перед соревнованиями при помощи так называемых "еврейских задач". Обычно тяжёлые задачи у нас называют "гробами", а в Штатах "киллерами", но тут была особая ситуация, от чего и пошло другое название.

При помощи "гробов" в те годы в МГУ на вступительных экзаменах специально заваливали евреев. Подкопаться к приёмной комиссии было невозможно — для решения и правда хватало школьного курса, но задачки были неподъёмными для школьников. Как говорил В.И. Ленин, "формально верно, а по сути издевательство". Чтобы представлять уровень, попробуйте решить одну из тех задачек: сколько цифр в десятичной записи числа 125 в 100-й степени? По воспоминаниям самой Тани Ховановой, сборная смогла решить только половину еврейских задач.

Сейчас Таня пропагандирует и популяризирует математику. Сделала сервис "Сплетни о числах" . Вводите число и получаете на него досье: является ли оно простым, совершенным, счастливым или, допустим, числом Кармайкла. Об этих прекрасных числах, кстати, мы ещё отдельно поговорим.

А пока — всех женщин ещё раз с праздником
старый анекдот к празднику

-- Ты кого больше любишь: меня или алгебру? -- спросила девушка-филолог у своего парня-математика.
-- Допустим, алгебру.
-- Ах, так! -- вспыхнула девушка и убежала, так и не узнав, что бойфренд начал рассказывать ей доказательство от противного
Поговорим немножко, как собирались, о числах Кармайкла. Но сначала -- о поиске внеземных цивилизаций. Когда четыре года назад миллиардер Юрий Мильнер объявил о выдаче грантов на установление коммуникации с инопланетянами, я тоже задумался.

Худшее, что можно было бы сделать -- устроить профанское телевизионное шоу, в котором победила бы 11-летняя Дженнифер из штата Коннектикут. Она бы написала далеким братьям по разуму примерно следующее письмо: "Дорогие плывунцы с планеты Плюк! Пусть у вас две головы, три руки и четыре ноги -- мы всё равно хотим с вами дружить ради мира во всей Вселенной!" Закадровая массовка в этом месте закатилась бы аплодисментами.

Реально же это, конечно, полная ерунда. Ни на какой планете Плюк, Шелезяка или Татуин прочесть наше послание никто не сможет просто потому, что его невозможно дешифровать. Вы сначала доставьте на другую планету Розеттский камень или вроде того -- как ключ к дешифровке, а уже тогда мечтайте о межзвёздных письмах.

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

Мы не можем посылать им просто одинаковые сигналы через равные промежутки времени. Физики однажды поймали такую передачу и уже думали, что это инопланетяне, но увы -- оказалось, что на какой-то звезде есть просто источник излучения, который мы "слышим", когда эта звезда поворачивает его в нашу сторону. Мы также не можем послать к звёздам число "пи" или "е" -- мы же не знаем, какая у плывунцов на Плюке система счисления.

Даже простые числа нехороши для передачи -- как выясняется, они встречаются в природе в виде продолжительности жизни так называемых периодических цикад. Встречаются в природе и числа Фибоначчи -- в соответствии с ними плодятся кролики. Может быть, конечно, в этом факте нет ничего страшного для коммуникации с плывунцами, а , может быть, и есть -- раз уж эти числа носят такой естественный характер.

Вот почему я и подумал в итоге о числах Кармайкла (561,1105, 1729...). Это-то уж точно придумано разумом! Числа, по своим свойствам очень похожие на простые, но таковыми не являющиеся -- это явно игра ума человеков. Ну а плывунцы, если они разумны, тоже должны их придумать. Поэтому когда они засекут сигнал, передающий числа Кармайкла (например, 561 короткий сигнальчик, потом пауза, затем 1105 коротких сигнальчиков etc.), они сразу поймут, что на связь с ними вышли разумные существа.

Только всё это тоже не даёт никакой гарантии. Мы ведь таким образом пытаемся найти цивилизацию, которая будет примерно такой же по развитию, как наша, через то время, которое потребуется сигналу на преодоление чудовищного расстояния -- это могут быть сотни и тысячи лет. Ответный сигнал, если его даже примут и квалифицируют как послание другой цивилизации, будет идти столько же. Наконец, почему мы решили, что у плывунцов хватит терпения досчитать даже до 561? Особенно если их ритм жизни сильно отличается от нашего -- а ведь он может быть в десятки раз быстрее или медленнее.

Короче говоря, облом по всем направлениям. Если только не считать, что числа Кармайкла (см. ссылку) -- красивая штука сама по себе
@obznam

https://math.dartmouth.edu/~carlp/carmsurvey.pdf
👍3
Сегодня 3.14 -- День числа "пи". Всех с праздником, и вот вам любимая мнемоника на 15 знаков числа:

How I want a drink, alcoholic of course, after the heavy lectures involving quantum mechanics
@obznam
Тестировщик софта принимает пивной бар

заказывает 1 кружку пива
заказывает 2 кружки пива
заказывает 0 кружек пива
заказывает 999999999 кружек пива
заказывает -0,39 кружек пива
заказывает "1=1" кружек пива
заказывает ЙЦУКЕН кружек пива

все работает корректно -- бар одобряется и открывается

заходит первый посетитель и спрашивает, где тут туалет
Откровенно лженаучная и псевдоисторическая "Новая хронология" Анатолия Фоменко вызвала, тем не менее, бурные дискусии и профессиональный разбор в научной среде во многом из-за того, что автор — большой ученый в другой области. Выдающийся математик, академик РАН.

Заслуги Анатолия Тимофеевича в математике настолько бесспорны, что выдающийся лингвист, академик Андрей Зализняк какое-то время думал, что Фоменко просто шутит.

"Признаюсь, я сам не могу до конца отделаться от мысли, что для А.Т.Ф. его сочинения на гуманитарные темы — это забавный, хотя и изрядно затянутый фарс, мефистофелевская насмешка математика над простофилями гуманитариями, наука которых настолько беспомощна, что они не в состоянии отличить пародию от научной теории" ( http://www.mathnet.ru/links/250e6c2130d0e7634b0e2ab8c66d8485/rm288.pdf )

Далее Зализняк без особого труда разбивает "сенсационные" утверждения Фоменко вроде того, что река Темза это на самом деле пролив Босфор. Но его статья даже более интересна мыслями о соотношении наук, которые он высказывает по ходу развенчивания "Новой хронологии".

Что с того, что Фоменко большой математик? Собственно математики-то в "Новой хронологии" и нет — там не выводятся формулы и не доказываются теоремы. А если автор начинает проводить статистический анализ времён правления царей, так он должен сначала изучить времена этих царей как заправский историк. То же касается лингвистических и географических "открытий" Фоменко.

Не будем пересказывать всю статью, лучше почитайте оригинал. Академик Зализняк был большим знатоком языка и писал безупречно — и литературно, и логически
@obznam
Хорошо известно, что золотое сечение и числа Фибоначчи часто встречаются в природе и создают впечатление гармонии и красоты. О них часто и рассказывают в одних и тех же материалах (они легко гуглятся), но почему-то не так часто упоминают, что они теснейшим образом связаны, и, в сущности, представляют собой одно и то же явление.

Давайте просто начнем откладывать на прямой отрезки так, что каждый следующий длиннее предыдущего в соответствии с золотым сечением, то есть его длина умножается на 1,61803... или число Фидия (был такой древнегреческий скульптор, очень золотое сечение любил). Соответственно, по определению золотого сечения, длина каждого следующего отрезка будет равна сумме двух предыдущих отрезков -- а это, по сути, и есть числа Фибоначчи, только не натуральные.

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

Поэтому появлению чисел Фибоначчи в одних формулах с числом Фидия не стоит удивляться -- у них одна природа. Что совершенно не отменяет красоты этих формул, в частности формулы Бине (см. главу из книги А.Н.Швеца "Perl. Примеры программ")
👍2
Хотел сначала в качестве традиционной пятничной шутки поставить анекдот, и всё, но потом подумал, что он несколько глубже, чем просто хохма, и заслуживает комментария.

Сам анекдот таков. У математика спрашивают:
— У тебя есть девушка?
— Нет. Но я знаю, что она существует, и как её найти.

Больших математиков Феликса Бореля и Анри Лебега такая формулировка анекдота наверняка бы устроила, а вот их коллегам Давиду Гильберту и Феликcу Хаусдорфу, скорее всего, не понравилась бы. Дело в том, что Хаусдорф и Гильберт были сторонниками так называемой аксиомы выбора, а вот Борель и Лебег были от неё не в восторге.

Аксиома выбора гласит, что в любом непустом множестве можно выбрать некий элемент. Ну, очевидно, казалось бы — раз множество непустое, то элементы в нём есть, ну и, стало быть, можно выбрать. Фокус в том, что мы здесь не знаем, как именно выбрать и что это за элемент. А между тем — оперируем им.

Иными словами, Хаусдорф и Гильберт последнюю фразу анекдота сократили бы до "но я знаю, что она существует" — и достаточно. А вот Борелю и Лебегу был бы важен способ поиска девушки — так мыслят и многие физики.

Использование аксиомы выбора позволяет доказывать удивительнейшие, на первый взгляд, утверждения. Самое известное — парадокс Банаха-Тарского: шар можно разрезать на части таким образом, что эти части потом можно сложить в шар большего радиуса.

Что за чертовщина, скажете вы. Объясните свой парадокс торговцу арбузами на базаре: "Уважаемый, давай разрежем твой маленький арбуз и потом сложим из долек большой". Он покрутит пальцем у виска — в лучшем случае. И всё же.

Дело в том, если кратко, что шар, как его понимают математики — это модель арбуза, но это не в точности арбуз. И потому он вполне может обладать другими свойствами. А, кроме того, "разрезать" в прямом смысле у нас шар не получится — мы только будем знать, что искомые куски существуют, но в точности их не опишем. Это вообще будут такие хитрые куски, что у них даже не будет объема — так называемые неизмеримые множества.

Доказательство теоремы Банаха-Тарского и подробное обсуждение связанной с ней философии можно прочесть по ссылке. Там достаточно знания школьного курса
@obznam

https://www.mccme.ru/free-books/dubna/guba-lvovsky.pdf
👍2
А вот ещё косвенная иллюстрация к тому, о чём мы говорили в предыдущем посте -- чего достаточно для доказательства математику с абстрактным мышлением, и что нужно специалистам с мышлением конкретным.

Спят ли в полёте птицы, совершающие 10-суточный беспосадочный перелёт через океан? Для математика ответ очевиден -- конечно же, спят, ну как можно столько не спать. Биологи же не успокаиваются, пока не нацепят фрегату с Галапагосских островов на голову энцефалограф и не убедятся доподлинно: реально спят! (см. статью по ссылке)

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

Примерно о том же, только с другого ракурса -- старых и новых веяний в логике -- пишет Скотт Ааронсон в "Квантовых вычислениях со времен Демокрита":

Я хочу узнать, все ли вороны черные? Старомодный подход заключался бы в том, чтобы выйти наружу, найти стаю воронов и посмотреть, все ли они черные. Более современный подход: оглядеться вокруг, посмотреть на все нечерные объекты в комнате и обратить внимание на то, что все эти объекты не являются воронами ( цитата взята из канала @verba2 )

@obznam

https://www.nature.com/articles/ncomms12468
👍1
Сказка "Агент Лямбда" в 1980-е обошла капустники чуть ли не всех физмат факультетов. Написал ее, насколько знаю, выпускник НГУ, а ныне ректор Сибирского института управления РАНХиГС Сергей Сверчков. Вот самый прикольный (имхо) фрагмент:

-- Фи, какой Вы пси.
-- Сам Дирак.

Целиком сказку можно прочитать по ссылке ниже. С годами её все труднее находить в Сети, да и тексты разнятся. Помню, у нас на капустнике она начиналась словами "В некотором пространстве, в тридесятом подпространстве...", а здесь не так. Но в целом похоже
https://vk.com/note4613_10128516
Решения, принятые по "опыту" или "здравому смыслу", нередко оказываются неэффективными и даже вредными. А вот тщательные расчеты могут подсказать не очевидный, но более рациональный путь. Что блестяще доказала группа математиков, привлеченных Военно-морскими силами США для решения задач флота во Второй мировой войне

https://www.infox.ru/opinion/229/malutin/183663-rascet-vmesto-intuicii
Радостная новость для прогрессивного человечества, а в особенности для тех, кому дорога честь мат. статистики. Мощная группа специалистов -- 800+ человек -- выступила против недобросовестного использования стат. методов и вообще за пересмотр отношения к понятию статистической значимости -- https://www.tandfonline.com/doi/full/10.1080/00031305.2019.1583913 (более популярно изложено здесь -- https://www.nature.com/articles/d41586-019-00857-9 )

Проблему можно условно разделить на две:
1) недобросовестное установление зависимости разных явлений друг от друга
2) недобросовестное установление НЕзависимости разных явлений друг от друга

В первом случае речь идет о поспешных выводах из корреляционной зависимости явлений без попытки вникнуть в суть. Классический пример: корреляция между вращением ветряков и силой ветра. Поспешный вывод: чем быстрее крутится ветряк, тем сильнее дует ветер. Хотя на самом деле наоборот. А ещё выяснилось, что люди в Америке тем чаще тонут в бассейнах, чем чаще на экранах мелькает Николас Кейдж.

Последнее открытие сделал Тайлер Виген, энтузиаст из Миннеаполиса, ныне сотрудник Boston Consulting Group. Этот парень буквально помешан на поиске дурацких корреляций и даже написал об этом книгу, которая примерно так и называется : Spurious Correlations -- http://tylervigen.com/spurious-correlations . Полистайте, там есть над чем посмеяться )

Смех смехом, а когда нелепость утверждения не так очевидна, в него могут поверить даже искушенные профессионалы. В 2010 году экономисты с мировым именем Кармен Рейнхарт и Кеннет Рогофф обнаружили, что когда госдолг достигает уровня в 90% от ВВП, рост экономики страны замедляется. И сделали вывод: высокий долг вызывает замедление экономического роста. Это утверждение было опровергнуто только в 2013 году. Страшно представить, сколько на основе корреляций учеными помельче написано шарлатанских диссертаций, которые просто некому проверять.

Нынешнее выступление 800+ специалистов направлено скорее на решение второй проблемы: когда делаются утверждения о независимости явлений (их еще называют нулевыми гипотезами) опять-таки бездумно и поспешно. Если статистическая значимость меньше 5% -- не торопитесь c выводами, призывают авторы манифеста. Да, давайте не будем торопиться.
@obznam
Это доктор Кэти Боуман, 29, одна из главных героинь истории с первым фото чёрной дыры. Эксперимент "Телескоп Горизонта Событий" это не только астрофизика, но и обработка и визуализация огромных массивов данных, чем руководила как раз Кэти, которая еще в MIT занималась обработкой спутниковых снимков. Всего для получения изображения чёрной дыры команда Кэти Боуман обработала порядка 5 петабайт информации, корректно сопоставляя данные, поступающие с разных телескопов, и очищая их от шума
@obznam
Что ощущает технарь, живущий среди гуманитариев? Как выглядит юмор на языке математики? Чем замечательна задачка про сыновей и голубей? Рассказывает выпускник физфака НГУ, человек-оркестр Александр Пушной
https://telegra.ph/Intervyu-muzykanta-i-shoumena-fizika-po-obrazovaniyu-Aleksandra-Pushnogo-04-15
👍17
Изображения, которые получил Телескоп Горизонта Событий, подтвердили правильность теорий Эйнштейна и, соответственно, адекватность принятой нами модели пространства-времени, как континуума. Но это ведь макроуровень — а годится ли модель на микроуровне?

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

Мы не знаем , является ли пространство бесконечно делимым или есть единица длины, меньше которой ничего быть не может. Более того, даже если пространство-время бесконечно делимо, нынешние физические теории не слишком хорошо описывают то, что происходит на ультракоротких расстояниях.

Получается странная история — мы создали модель, которая в разных условиях неплохо работает, но мы не знаем толком, а чего именно это модель. Это был анонс очень познавательной статьи Джона Баэза "Страдания по континууму" (по ссылке) — о больших и малых расстояниях и адекватности наших теорий
https://arxiv.org/pdf/1609.01421.pdf
👍1
Сегодня 116 лет со дня рождения Андрея Колмогорова. Предлагаем отрывок из статьи о нём, которую написал его ученик, также большой математик Владимир Арнольд. Он попытался объяснить заметное непостоянство и конформизм Андрея Николаевича:

——
Хотя сам Андрей Николаевич считал основной причиной своей работы надежды, появившиеся в 1953 году, о Сталине он (следуя старому принципу говорить о покойниках только хорошее) всегда отзывался с благодарностью: «Во-первых, он подарил каждому академику по одеялу в тяжёлый военный год, а во-вторых, простил моё рукоприкладство в Академии, сказавши "и у нас такое бывает"». Впрочем, и о Лысенко, попавшем в опалу, Андрей Николаевич старался говорить хорошее, утверждая, что тот искренне заблуждался по невежеству (пока Лысенко был у власти, отношение Андрея Николаевича к этому «борцу со случайностью в науке» было совсем другим).

Повторяя сказанное Ходасевичем о Горьком, можно сказать об Андрее Николаевиче, что он был одновременно и одним из самых упрямых, и одним из самых нестойких людей.

«Когда-нибудь я Вам всё объясню», — говорил мне Андрей Николаевич, совершая какой-либо противоречащий своим принципам поступок. Давление на Андрея Николаевича оказывал, по-видимому, некий злой гений, влияние которого было огромным (роль передающего давление звена исполняли известные математики). Андрей Николаевич немного не дожил до того времени, когда об этих вещах стало можно говорить, и, как почти все пережившие тридцатые и сороковые годы люди его поколения, боялся «их» до последнего дня. Не надо забывать, что для профессоров того времени не сообщить куда следует о крамольных речах студента или аспиранта нередко означало быть завтра же обвинённом в сочувствии крамольным идеям (в доносе этого же студента или аспиранта-провокатора)
——-

Ниже ссылка на статью. Она не вся написана "простыми словами" и нередко предполагает знание университетского курса математики
http://ega-math.narod.ru/LSP/ANK.htm