Physics is very interesting. There are many, many interesting theorems. Unfortunately, there are no definitions.
David Kazhdan.
John Baez suggests that this explains the synergy between category theory and physics: category theory has many many interesting definitions, but no theorems.
отсюда
David Kazhdan.
John Baez suggests that this explains the synergy between category theory and physics: category theory has many many interesting definitions, but no theorems.
отсюда
Сморите, бывают торические карты Земли. (отсюда) Интересно нарисовать старую карту вот так (и сделать первоапрельскую шутку о том, что в n-ском веке люди знали, что Земля искривлённая (ещё греки знали, да вообще, любой человек, видевший море, знает)), но почему-то решили что тороидальная (и поэтому-то и рисовали карты на прямоугольниках — удобно в тор склеивать!)
Ещё круче будет сделать такую карту с небольшим рельефом и напечатать тор на 3d принтере.
Ну и, наконец, карты-то были с кучей неизвестных мест (и потому представляли собой сферы с дырками — а их можно дополнить до тора!) — так что можно предположить, что Земля тороидальная, выбрать наиболее разумный способ нарисовать материки на торе и написать исторический фанфик о том, как бы история изменилась (торговали бы по-другому, воевали, спутники запускали и тд).
Отличная тема для курсовой, в общем (в т.ч. про написание фанфика — курсовая по экономической географии!). Дарю.
Ещё круче будет сделать такую карту с небольшим рельефом и напечатать тор на 3d принтере.
Ну и, наконец, карты-то были с кучей неизвестных мест (и потому представляли собой сферы с дырками — а их можно дополнить до тора!) — так что можно предположить, что Земля тороидальная, выбрать наиболее разумный способ нарисовать материки на торе и написать исторический фанфик о том, как бы история изменилась (торговали бы по-другому, воевали, спутники запускали и тд).
Отличная тема для курсовой, в общем (в т.ч. про написание фанфика — курсовая по экономической географии!). Дарю.
,þ;Z$ṡ€2ẎẊḣ1;ẎḟL’ɗÐḟ@ḣ1ʋ¥ƬƊṪ
Выше вы видите программу на языке Jelly, которая
рисует случайное (все с положительно вероятностью) остовное дерево для графа прямоугольника (кусок стандартной клетчатой бумаги), размеры которого она кушает на вход.
На питоне выглядит подлиннее (оттуда же):
from random import*
w,h=input();w+=1
t={1}
while 1:z=choice([{a,b}for a in t for b in{a-1,a+1,a-w,a+w}-t if b%w>0<b<w*h]);print z;t|=z
Умеет ли ChatGPT писать на Jelly? Интересный язык, судя по всему.
Выше вы видите программу на языке Jelly, которая
рисует случайное (все с положительно вероятностью) остовное дерево для графа прямоугольника (кусок стандартной клетчатой бумаги), размеры которого она кушает на вход.
На питоне выглядит подлиннее (оттуда же):
from random import*
w,h=input();w+=1
t={1}
while 1:z=choice([{a,b}for a in t for b in{a-1,a+1,a-w,a+w}-t if b%w>0<b<w*h]);print z;t|=z
Умеет ли ChatGPT писать на Jelly? Интересный язык, судя по всему.
Почитал статью Rita Solomyak "On coincidence of entropies for two classes of dynamical systems". Там напрямую доказывается совпадение топологических энтропий случайных деревьев и гармонических функций на Z^2 со значениями в S^1.
Статья 1995 года и написана вопреки всем советам о том, как надо писать статьи. Но тем интереснее оказалось! Просто пропускаются всякие поглаживания "это мы делаем затем, а это -- за этим", одна мысль на предложение (а не на абзац) и тд. Поэтому мысль спотыкается каждую строчку и приходится думать самому, искать упомянутое обозначение на предыдущих страницах и тд. То есть статья очень хорошая, но без наводки, о том, что её надо прочитать, сам не прочитаешь.
В топологической энтропии мне вот что непонятно: для её определения нужно действие группы, но оказывается, что она измеряет log (числа состояний)/размер системы, когда система увеличивается, то есть группа нужна в определении топологической энтропии, а потом куда-то пропадает при переформулировках. Удивительно!
Статья 1995 года и написана вопреки всем советам о том, как надо писать статьи. Но тем интереснее оказалось! Просто пропускаются всякие поглаживания "это мы делаем затем, а это -- за этим", одна мысль на предложение (а не на абзац) и тд. Поэтому мысль спотыкается каждую строчку и приходится думать самому, искать упомянутое обозначение на предыдущих страницах и тд. То есть статья очень хорошая, но без наводки, о том, что её надо прочитать, сам не прочитаешь.
В топологической энтропии мне вот что непонятно: для её определения нужно действие группы, но оказывается, что она измеряет log (числа состояний)/размер системы, когда система увеличивается, то есть группа нужна в определении топологической энтропии, а потом куда-то пропадает при переформулировках. Удивительно!
вот такое число
20111843155854521281511856815634834511735847254687511871244730368
является произведением двух простых.
20111843155854521281511856815634834511735847254687511871244730368
является произведением двух простых.
В России процесс поступления в вузы в 2021–2022 годах был связан с высокими рисками для абитуриентов. Многие абитуриенты вплоть до самого конца приёмной кампании – до момента публикации списков поступивших – не могли быть уверены, что они приняты на программу, куда принесли “согласие на зачисление”.
В настоящей статье анализируется основанная на динамической версии алгоритма Гэйла-Шепли централизованная система распределения абитуриентов. Главным плюсом предлагаемой системы является намного меньшая неопределённость для абитуриентов. Если абитуриент выбрал некоторую программу – он может быть уверен, что ему предложат место на этой программе ранее, чем абитуриентам с меньшим количеством баллов. Как мы объясняем, такие правила приёма стимулируют абитуриентов выбирать образовательные программы в первую очередь исходя из своих интересов и пользы для общества, а не из необходимости поступить хоть куда-либо.
Для практической реализации самым важным является вопрос скорости сходимости данного алгоритма, чему и посвящена настоящая статья. Мы приводим результаты моделирования предлагаемой системы на синтетических данных и исследуем случаи, мешающие быстрому распределению абитуриентов по программам. В статье также будет представлено несколько предложений как убыстрить сходимость алгоритма в реальной ситуации.
Мы рассматриваем нашу статью в первую очередь как policy paper – академическое сообщество может и должно принимать участие в разработке правил приёма в вузы.
В настоящей статье анализируется основанная на динамической версии алгоритма Гэйла-Шепли централизованная система распределения абитуриентов. Главным плюсом предлагаемой системы является намного меньшая неопределённость для абитуриентов. Если абитуриент выбрал некоторую программу – он может быть уверен, что ему предложат место на этой программе ранее, чем абитуриентам с меньшим количеством баллов. Как мы объясняем, такие правила приёма стимулируют абитуриентов выбирать образовательные программы в первую очередь исходя из своих интересов и пользы для общества, а не из необходимости поступить хоть куда-либо.
Для практической реализации самым важным является вопрос скорости сходимости данного алгоритма, чему и посвящена настоящая статья. Мы приводим результаты моделирования предлагаемой системы на синтетических данных и исследуем случаи, мешающие быстрому распределению абитуриентов по программам. В статье также будет представлено несколько предложений как убыстрить сходимость алгоритма в реальной ситуации.
Мы рассматриваем нашу статью в первую очередь как policy paper – академическое сообщество может и должно принимать участие в разработке правил приёма в вузы.
Удивительная и трагическая жизнь Ольги Белоглавек.
Биография этой замечательной женщины может послужить великолепной иллюстрацией к полной потрясений, взлётов и трагедий истории самой России первой половины XX века.
...
Вот так в середине жизни (а было О.А. Белоглавек к тому моменту уже 38 лет) она опять оказалась там, куда стремилась ещё молоденькой девушкой. Партия сказала “надо”, и Ольга Алоизиевна стала аспиранткой физико-математического факультета ЛГУ со специализацией “математический анализ”.
...
То есть, в голосовании приняли участие преподаватели, студенты и аспиранты, техники, рабочие и вахтёры. Не мудрено, что результат был неожиданным — первым руководителем мат-меха ЛГУ стала аспирант Ольга Белоглавек
...
И вот седьмого августа 1937 года началась следующая глава в жизни О.А. Белоглавек. Сначала она была выслана из Ленинграда в город Кокчетав на севере Казахстана, откуда её довольно быстро перевели в село Дмитриевка неподалёку от маленького городка Щучинск той же Карагандинской области.
...
Наконец, в 1940 году НКВД прислало ей бумагу о замене высылки на лишение права проживания в режимных городах и приграничных районах. Ни о каком возвращении в Ленинград, равно как и в любой другой крупный центр, увы, не было и речи. Но по крайней мере теперь её взяли на работу. Она переехала в Щучинск, после чего начался следующий этап её биографии — школьная учительница в небольшом провинциальном городке на севере Казахстана.
...
Не вызывает сомнений одно — по данным УМГБ Кокчетавской области Ольга Алоизиевна Белоглавек была арестована 19 января 1952 года и в апреле 1952 года осуждена на 10 лет исправительно-трудовых лагерей
...
Также пока что не удалось найти ни одной её фотографии. Возможно, где-то — в петербургских архивах Бестужевских курсов, в глубоких подвалах какого-нибудь министерства внутренних дел или в семейном альбоме одного из её учеников когда-то обнаружится снимок этой замечательной женщины. Я надеюсь, что в один прекрасный день кто-то из наших читателей поможет его найти
http://www.mathsoc.spb.ru/history/olga_beloglavek.pdf
Биография этой замечательной женщины может послужить великолепной иллюстрацией к полной потрясений, взлётов и трагедий истории самой России первой половины XX века.
...
Вот так в середине жизни (а было О.А. Белоглавек к тому моменту уже 38 лет) она опять оказалась там, куда стремилась ещё молоденькой девушкой. Партия сказала “надо”, и Ольга Алоизиевна стала аспиранткой физико-математического факультета ЛГУ со специализацией “математический анализ”.
...
То есть, в голосовании приняли участие преподаватели, студенты и аспиранты, техники, рабочие и вахтёры. Не мудрено, что результат был неожиданным — первым руководителем мат-меха ЛГУ стала аспирант Ольга Белоглавек
...
И вот седьмого августа 1937 года началась следующая глава в жизни О.А. Белоглавек. Сначала она была выслана из Ленинграда в город Кокчетав на севере Казахстана, откуда её довольно быстро перевели в село Дмитриевка неподалёку от маленького городка Щучинск той же Карагандинской области.
...
Наконец, в 1940 году НКВД прислало ей бумагу о замене высылки на лишение права проживания в режимных городах и приграничных районах. Ни о каком возвращении в Ленинград, равно как и в любой другой крупный центр, увы, не было и речи. Но по крайней мере теперь её взяли на работу. Она переехала в Щучинск, после чего начался следующий этап её биографии — школьная учительница в небольшом провинциальном городке на севере Казахстана.
...
Не вызывает сомнений одно — по данным УМГБ Кокчетавской области Ольга Алоизиевна Белоглавек была арестована 19 января 1952 года и в апреле 1952 года осуждена на 10 лет исправительно-трудовых лагерей
...
Также пока что не удалось найти ни одной её фотографии. Возможно, где-то — в петербургских архивах Бестужевских курсов, в глубоких подвалах какого-нибудь министерства внутренних дел или в семейном альбоме одного из её учеников когда-то обнаружится снимок этой замечательной женщины. Я надеюсь, что в один прекрасный день кто-то из наших читателей поможет его найти
http://www.mathsoc.spb.ru/history/olga_beloglavek.pdf
Достаточно понятное объяснение, что такое нестандартные натуральные числа.
На примере такого парадокса: если есть любая функция на натуральных числах (даже невычислимая), то есть модель натуральных чисел, где она становится вычислимой (то есть машина Тюринга останавливается за конечное число шагов).
А что такое конечное? Это, по определению, равномощное натуральному числу (а в нестандартной модели натуральные числа бывают бесконечно большие...)
А вот историко-философское введение в нестандартные модели. Там мало математики, больше логики, но можно узнать исторические подробности, мотивацию, и то, как это ныне понимают философы математики.
И ещё короткий текст (где говорят, что умножать нестандартные числа тяжело, идеи доказательства и вообще хорошая презентация про нестандартные натуральные числа тут).
PS А есть и стандартная модель натуральных чисел (та, которая является начальным куском всех моделей).
На примере такого парадокса: если есть любая функция на натуральных числах (даже невычислимая), то есть модель натуральных чисел, где она становится вычислимой (то есть машина Тюринга останавливается за конечное число шагов).
А что такое конечное? Это, по определению, равномощное натуральному числу (а в нестандартной модели натуральные числа бывают бесконечно большие...)
А вот историко-философское введение в нестандартные модели. Там мало математики, больше логики, но можно узнать исторические подробности, мотивацию, и то, как это ныне понимают философы математики.
И ещё короткий текст (где говорят, что умножать нестандартные числа тяжело, идеи доказательства и вообще хорошая презентация про нестандартные натуральные числа тут).
PS А есть и стандартная модель натуральных чисел (та, которая является начальным куском всех моделей).
Azimuth
Computing the Uncomputable
I love the more mind-blowing results of mathematical logic: • Surprises in logic. Here’s a new one: • Joel David Hamkins, Any function can be computable. Let me try to explain it wi…
Forwarded from MAA — САП
Открытые проблемы в топологии нетранзитивных игр, в частности, покера.
1. В классическом техасе найдена 4-мерная сфера, а 5-мерная не найдена. Какая максимальная размерность возможна?
2. Сделать то же самое в омахе. Какие подпространства возможны, каких размерностей?А в омахе 5+2?
3. Открываем одну-две-три карты на флопе, вероятности исходов меняются, пространства деформируются. Пространства каких размерностей могут получиться?
4. Можно ли в топологии нетранзитивных игр найти пространства с несвободными фунд. группами? В классическом покере много букетов сфер разных размерностей и окружностей.
1. В классическом техасе найдена 4-мерная сфера, а 5-мерная не найдена. Какая максимальная размерность возможна?
2. Сделать то же самое в омахе. Какие подпространства возможны, каких размерностей?А в омахе 5+2?
3. Открываем одну-две-три карты на флопе, вероятности исходов меняются, пространства деформируются. Пространства каких размерностей могут получиться?
4. Можно ли в топологии нетранзитивных игр найти пространства с несвободными фунд. группами? В классическом покере много букетов сфер разных размерностей и окружностей.
посерёд картинки (из дневников Стеклова — и нам нужна помощь химика) (кажется) написано слово
ойдхлорином
Это кусок текста:
...(сам открыл газ мне неизвестный, который оказался, конечно, известным <?>хлорином), увлекся пиротехникой. Бросил праздное знакомство...
Мне кажется, написано "ойд" — "д" такая же, как в "праздное", "й" такое же как в "неизвестный", "о" такое же как в "бросил".
Беда в том, что ни что такое ойдхлорин, ни йодхлорин — не получается найти.
Что такое известный газ "йодхлорин"?
Спросите у химиков, пожалуйста.
ойдхлорином
Это кусок текста:
...(сам открыл газ мне неизвестный, который оказался, конечно, известным <?>хлорином), увлекся пиротехникой. Бросил праздное знакомство...
Мне кажется, написано "ойд" — "д" такая же, как в "праздное", "й" такое же как в "неизвестный", "о" такое же как в "бросил".
Беда в том, что ни что такое ойдхлорин, ни йодхлорин — не получается найти.
Что такое известный газ "йодхлорин"?
Спросите у химиков, пожалуйста.
Рассмотрим все бесконечные последовательности целых чисел. Две такие последовательности можно почленно сложить. В общем, множество таких последовательностей — абелева группа. Можно её Z^N обозначить, это счётная сумма (счётное произведение, спасибо Сепе) экземпляров Z.
Так вот.
Это группа не свободна(!!!!). Называется Baer–Specker group.
понятно, что нет ей причин свободной быть — для этого надо было бы найти базис, чтобы любой элемент единственным образом представлялся в виде _конечной_ суммы элементов базиса, и неясно, откуда такой базис взять
но всё равно удивительно. На бесконечности свобода пропадает (куда?).
Так вот.
Это группа не свободна(!!!!). Называется Baer–Specker group.
понятно, что нет ей причин свободной быть — для этого надо было бы найти базис, чтобы любой элемент единственным образом представлялся в виде _конечной_ суммы элементов базиса, и неясно, откуда такой базис взять
но всё равно удивительно. На бесконечности свобода пропадает (куда?).
Купил ручку. Что ей ни пишу -- выцветает через 5 минут, как будто ничего и не писал. Пробовал нагревать бумагу, где было написано -- без толку. Ну, экономится бумага для черновиков...
И вдруг понял, зачем такое: писать иероглифы в прописях (особенно, где уже часть черт нарисована, и можно тренироваться соблюдать пропорции).
До чего техника дошла.
И вдруг понял, зачем такое: писать иероглифы в прописях (особенно, где уже часть черт нарисована, и можно тренироваться соблюдать пропорции).
До чего техника дошла.
Фольклорный результат: в счётном множестве можно найти несчётное(!) семейство подмножеств, такое, что любые два множества из этого семейства имеют конечное пересечение.
фольклорная конструкция фольклорного результата: давайте счётное множество представим рациональными числами и для каждого иррационального числа возьмём любую возрастающую последовательность рациональных чисел, к нему сходящуюся.
Вуаля, построили континуальное семейство множеств рациональных чисел, пересечение любых двух множеств из этого семейства — конечно.
Вуаля, построили континуальное семейство множеств рациональных чисел, пересечение любых двух множеств из этого семейства — конечно.
эксперты ВШЭ предлагают продавать крабов на аукционе. Ещё леса в России на аукционах продают (но там аукционы маленькие). А что ещё? 5G вроде решили вообще не запускать (если я правильно помню). Бывают ещё какие-то залоговые аукционы?
Это к вопросу о популяризации науки: статья написана чуть не три года назад, а пиар служба вышки до неё дошла только сейчас. Может, конечно, как-то хитро выбирали время.
Это к вопросу о популяризации науки: статья написана чуть не три года назад, а пиар служба вышки до неё дошла только сейчас. Может, конечно, как-то хитро выбирали время.
Представьте, у вас поверхность в трехмерном пространстве. Например, тор нарисован такой несимметричный. Вы бы как его площадь определяли?
Если нарисован график дифференцируемой функции из квадрата в отрезок, можно формулу написать, мол, площадь равна такому-то интегралу. А почему такую формулу? То есть, почему именно это называется площадью?
В общем, какие аргументы про формулы для площади поверхности вас убеждают что это именно площадь, а непрепод заставляет считать интегралы.?
Если нарисован график дифференцируемой функции из квадрата в отрезок, можно формулу написать, мол, площадь равна такому-то интегралу. А почему такую формулу? То есть, почему именно это называется площадью?
В общем, какие аргументы про формулы для площади поверхности вас убеждают что это именно площадь, а не
Новый номер The Mathematical Intelligencer довольно безумный (по возрастанию безумия):
Ну, статья про деколонизацию математики ("As my colleague Elijah Lifyand wrote me about fighting “decolonization” in mathematics, “This is our red line. This is our last redoubt.”")
статья про русскую рожу Кэли и размер мозга русских женщин (такой же как у мужчин):
Can there be anything in what has so often been cited as fact, that in the Russian
race alone the brain of the woman equals that of the man in size and weight?” Halsted’s aside is confusing, but suggestive. The equal relative weight of Russian women’s brains is posited as explanatory of Cayley’s mathematical success—something inherited from his mother’s side. At the end of his biography, he returned to the Russian heritage, citing Cayley’s “mother’s compatriot Lobachevsky”
И, наконец, статья про математический гулаг в антураже математического конгресса ("He will be brought before the Ethics Tribunal of the International Congress of Mathematicians. If he is convicted, he will be barred from all mathematics conferences for the rest of his life.”, "You will be spending quite a bit of time in the Congress prison.")
Ну, статья про деколонизацию математики ("As my colleague Elijah Lifyand wrote me about fighting “decolonization” in mathematics, “This is our red line. This is our last redoubt.”")
статья про русскую рожу Кэли и размер мозга русских женщин (такой же как у мужчин):
Can there be anything in what has so often been cited as fact, that in the Russian
race alone the brain of the woman equals that of the man in size and weight?” Halsted’s aside is confusing, but suggestive. The equal relative weight of Russian women’s brains is posited as explanatory of Cayley’s mathematical success—something inherited from his mother’s side. At the end of his biography, he returned to the Russian heritage, citing Cayley’s “mother’s compatriot Lobachevsky”
И, наконец, статья про математический гулаг в антураже математического конгресса ("He will be brought before the Ethics Tribunal of the International Congress of Mathematicians. If he is convicted, he will be barred from all mathematics conferences for the rest of his life.”, "You will be spending quite a bit of time in the Congress prison.")