на мой вопрос на mathoverflow про формулу набигают AI- боты, которые постят ответы, сгенерированные AI. Потом модераторы эти ответы удаляют. Сейчас там уже третитй такой ответ, но постит их, кажется, уже человек. И модератор пишет ему: " the user can dispel my doubts by giving a high-level summary of the method, leaving out all the trivial steps, and including the skipped details."
В общем, мы думали, что тест Тьюринга будут пытаться проходить машины. Реальность другая — людей просят доказать, что они не боты и не пользуются AI, а думают сами. Ответы причём достаточно высокообразованные и логически связанные. Просто неправильные)
В общем, мы думали, что тест Тьюринга будут пытаться проходить машины. Реальность другая — людей просят доказать, что они не боты и не пользуются AI, а думают сами. Ответы причём достаточно высокообразованные и логически связанные. Просто неправильные)
MathOverflow
Is it known? A sum over lattice parallelograms of area one is equal to $\pi$
I recently discovered a formula, my proof is really a high school proof in three lines.
$$4\sum_{x, \, y \, \in \, \mathbb Z_{\geq 0}^2, \, \det(x \ \ y) = 1} \frac{1}{\lVert x\rVert^2\cdot\lVert y...
$$4\sum_{x, \, y \, \in \, \mathbb Z_{\geq 0}^2, \, \det(x \ \ y) = 1} \frac{1}{\lVert x\rVert^2\cdot\lVert y...
Догадался Штирлиц через месяц, что книгу по истории математики удобнее читать грудой из 50 файлов по персоналиям, а не одним файлом на 500 страниц.
Прикладываю архив.
Интересные биографии петербургских математиков (включая Кантора). И про их математику.
На английском, с цветными картинками.
Прикладываю архив.
Интересные биографии петербургских математиков (включая Кантора). И про их математику.
На английском, с цветными картинками.
Вопрос по истории кино: существует док.фильм "Такой молодой университет" про ЛГУ, снятый в 60-х годах к какой-то годовщине. И его было бы прикольно найти. Но нигде такого в интернете нет! Есть ли какой-то способ узнать, есть ли в архивах такой фильм? Какой архив спрашивать?
идея, почему "математики" так не любят "методистов": во многих (школьных и нет) предметах материал бьётся на куски, которые можно изучать независимо друг от друга. И если обучаемый что-то не знает из другого куска (который приводится в качестве примера или немного используется), то и фиг с ним, время на объяснение не тратится. Отсюда появляется дробление материала на десятки тем, чёткий (поминутный) план урока-лекции + множество трюков, как объяснить один из этих кусочков красиво.
Это, видимо, отлично работает для изучения иностранных языков. Но абсолютно не работает при изучении математики. Во-первых, математических концептов не так уж и много. Поэтому неочевидна польза от изучения решений _разных типов_ квадратных уравнений, например. Дробление одного концепта на десяток.
И математика иерархична — если выясняется, что студент не знает как складывать дроби/определение производной/китайскую теорему об остатках (и спрашивает), лучше потратить 10 минут на объяснения. Поэтому лекции по математике иногда выглядят странно: в начале лекции какой-нибудь студент задаёт дурацкий вопрос, и дальше вместо планируемой лекции происходит ответ на этот вопрос (который может занимать всё отведённое время). И это правильно, иначе математике не учатся, кажется.
Суть же методистов, кажется, именно в том, что есть методы обучения, пригодные ко всему — поэтому что отлично работает и может быть формализовано для обучения языкам, то же годится и для обучения математике, в том же понятийном аппарате (дробление на мелкие темы, частое повторение, подходы к одной простой теме с разных сторон).
Это, видимо, отлично работает для изучения иностранных языков. Но абсолютно не работает при изучении математики. Во-первых, математических концептов не так уж и много. Поэтому неочевидна польза от изучения решений _разных типов_ квадратных уравнений, например. Дробление одного концепта на десяток.
И математика иерархична — если выясняется, что студент не знает как складывать дроби/определение производной/китайскую теорему об остатках (и спрашивает), лучше потратить 10 минут на объяснения. Поэтому лекции по математике иногда выглядят странно: в начале лекции какой-нибудь студент задаёт дурацкий вопрос, и дальше вместо планируемой лекции происходит ответ на этот вопрос (который может занимать всё отведённое время). И это правильно, иначе математике не учатся, кажется.
Суть же методистов, кажется, именно в том, что есть методы обучения, пригодные ко всему — поэтому что отлично работает и может быть формализовано для обучения языкам, то же годится и для обучения математике, в том же понятийном аппарате (дробление на мелкие темы, частое повторение, подходы к одной простой теме с разных сторон).
pi2.pdf
236.3 KB
записал про формулу для числа пи (известную, впрочем, ещё Гурвицу) и передоказал некую формулу Загира. Что прикольно, на архив выложить не получается, роботы (а потом люди) её банят, говорят, короткая и малозначимая заметка, неча такое на архив выкладывать. Ну хоть тут попиарю)
added: разбанили https://arxiv.org/abs/2410.10884
added: разбанили https://arxiv.org/abs/2410.10884
Forwarded from Непрерывное математическое образование
На Турнире городов предлагалось изучить такой вопрос.
Пусть есть два многочлена со старшим к-том 1. Посчитаем произведение значений первого многочлена в корнях второго¹. А потом, наоборот, произведение значений второго в корнях первого. Как связаны эти числа?
Какой самый простой содержательный частный случай? Пусть один из многочленов — это просто x. Тогданас спрашивают, как связано произведение корней многочлена и значение в нуле, т.е. свободный член. На этот вопрос отвечает теорема Виета.
(продолжение следует)
¹ Считаем, что у наши многочленов столько различных вещественных корней, какая у них степень. Или можно учитывать комплексные корни и кратности. Или… впрочем, об этом в следующий раз.
Пусть есть два многочлена со старшим к-том 1. Посчитаем произведение значений первого многочлена в корнях второго¹. А потом, наоборот, произведение значений второго в корнях первого. Как связаны эти числа?
Какой самый простой содержательный частный случай? Пусть один из многочленов — это просто x. Тогда
(продолжение следует)
¹ Считаем, что у наши многочленов столько различных вещественных корней, какая у них степень. Или можно учитывать комплексные корни и кратности. Или… впрочем, об этом в следующий раз.
matpros.pdf
500.7 KB
а мы ровно про это написали популярную заметку. Ото ж как совпало. Турнир городов как с языка снял!
Рассмотрим небольшую выпуклую фигуру, и рассмотрим упаковки (то есть её образы не пересекаются) ею плоскости (не обязательно решётчатые — можно вращать её). У любой такой упаковки можно определить плотность (давайте например как супремум плотностей упаковки по расширяющимся кругам).
Тогда есть упаковка, плотность которой равна супремуму плотностей по всем упаковкам.
Как это быстро доказать? У меня какие-то длинные запутанные рассуждения, а факт-то кристально ясный
Тогда есть упаковка, плотность которой равна супремуму плотностей по всем упаковкам.
Как это быстро доказать? У меня какие-то длинные запутанные рассуждения, а факт-то кристально ясный
Для натурального числа g скажем, что p — Артиново простое для g, если g — примитивный корень для p.
Гипотеза (Буняковского): среди значений 326n^2 +3 бесконечно много простых чисел.
Пример-гипотеза (Лехмера) 99% этих простых являются Артиновыми простыми для числа 326.
тут детали (Artin prime producing polynomials, Akbary, Scholten). Много дивного на свете.
Гипотеза (Буняковского): среди значений 326n^2 +3 бесконечно много простых чисел.
Пример-гипотеза (Лехмера) 99% этих простых являются Артиновыми простыми для числа 326.
тут детали (Artin prime producing polynomials, Akbary, Scholten). Много дивного на свете.
Forwarded from Непрерывное математическое образование
https://www.mat.univie.ac.at/~michor/leray.pdf
многие слышали, что Жан Лере придумал спектральные последовательности в лагере для военнопленных
вот в статье «Leray in Edelbach» по ссылке есть разные подробности про эту историю
например, заключенные организовали там университет и Лере был его ректором
многие слышали, что Жан Лере придумал спектральные последовательности в лагере для военнопленных
вот в статье «Leray in Edelbach» по ссылке есть разные подробности про эту историю
например, заключенные организовали там университет и Лере был его ректором
А в лекциях Радемахера, примерно там, где он описывает, как использовать круги Форда в его адаптации кругового метода (стр. 113), он говорит, что вот, ряды Фарея настолько хороши, что из них можно вообще всю теорию чисел выводить. И даже теорему Евклида о том, что любое натуральное число раскладывается в простые.
Как? Как из построения рядов Фарея вывести что-то про разложения в простые числа?
Как? Как из построения рядов Фарея вывести что-то про разложения в простые числа?
Услышал слово "изжени" и стал думать, какое оно имеет отношение к женам и женитьбе.
Должно быть калькой с греческого, подумал я, нашёл — ἐκδιώκω. Никакого отношения к женам. Кажется, изгоню - изжену — это просто замены в корне гон/жен. Даже жден бывает — гнѣвъ ижденемъ, уныніе изринемъ. Ещё гугл забавно транслитерировал ἐκδιώκω, см принтскрины.
Хорошо, а откуда слова жена? Что-то праславянское, мб связано с γυνή (гюно). В общем, тоже замены жен/гн возможны.
Итого: нет никакой связи. Разные "жн/гн", разные корни.
Должно быть калькой с греческого, подумал я, нашёл — ἐκδιώκω. Никакого отношения к женам. Кажется, изгоню - изжену — это просто замены в корне гон/жен. Даже жден бывает — гнѣвъ ижденемъ, уныніе изринемъ. Ещё гугл забавно транслитерировал ἐκδιώκω, см принтскрины.
Хорошо, а откуда слова жена? Что-то праславянское, мб связано с γυνή (гюно). В общем, тоже замены жен/гн возможны.
Итого: нет никакой связи. Разные "жн/гн", разные корни.
Была у меня идея публиковать что-нибудь про пески на русском, и вот — вышла статья с красивыми картинками (посланная два года назад). В Чебышевском сборнике (это самый молодой журнал по математике на русском языке. В самом старейшем — Математический сборник — тоже публиковал про пески со студентом).
Зачем я это делал, сложно сказать, но так можно про всю научную деятельность сказать. Хотелось — сделал, гештальт закрыл. Там ещё продолжение было — студент в дипломе доказал часть того, что анонсировалось в этой экспериментальной статье, но посылать в журнал было уже всем недосуг. А тут картинки классные.
Зачем я это делал, сложно сказать, но так можно про всю научную деятельность сказать. Хотелось — сделал, гештальт закрыл. Там ещё продолжение было — студент в дипломе доказал часть того, что анонсировалось в этой экспериментальной статье, но посылать в журнал было уже всем недосуг. А тут картинки классные.
Forwarded from Проветримся!
Ещё один петербургский разговор этого сезона. Никита Калинин — Associate Professor в Технионе в Гуандуне и автор канала Tropical Saint-Petersburg. Мы поговорили с ним про Петебругскую математику и математиков.
https://youtu.be/mgPJ072Y53M
https://youtu.be/mgPJ072Y53M
YouTube
Никита Калинин: петербургская математическая школа
Никита Калинин — Associate Professor в Технионе в Гуандуне и автор канала Tropical Saint-Petersburg. Мы поговорили с ним про Петебругскую математику и математиков.
Канал Никиты:
https://t.me/tropicalgeometry
Книга «Математики Петербурга и их открытия»:…
Канал Никиты:
https://t.me/tropicalgeometry
Книга «Математики Петербурга и их открытия»:…
В детстве такие штуки глупостями казались, а сейчас, наоборот, испытываю эстетическое наслаждение.
Доказывается такой факт, если a^2=2b^2 то 2(a-b)^2=(2b-a)^2.Можно скобки раскрыть, а можно увидеть на первой картинке из соображений площадей.
На второй картинке катеты равны q, а гипотенуза p. Проведём из острого угла биссектрису, по ней сложим, и сверху получим прямоугольный треугольник с катетами p-q и гипотенузой 2q-p, что и требовалось.
Удовольствие платонического толка — смотришь, и практически осязаешь платоническую идею, оперируешь не формулами и силлогизмами, а воображаемыми листами бумаги.
Так можно доказать иррациональность корня из 2. От противного: если он рационален и равен a/b, то a^2=2b^2, а как показывают рассуждения выше, у такого уравнения нет наименьшего натурального решения (по каждому решению (a,b), a>b, можно построить решение (2b-a,a-b), и оно меньше).
Почему это в детстве не нравилось? потому что показывают фокус вместо технологии (и разводят глубокую философию на мелких местах).
Доказывается такой факт, если a^2=2b^2 то 2(a-b)^2=(2b-a)^2.
На второй картинке катеты равны q, а гипотенуза p. Проведём из острого угла биссектрису, по ней сложим, и сверху получим прямоугольный треугольник с катетами p-q и гипотенузой 2q-p, что и требовалось.
Удовольствие платонического толка — смотришь, и практически осязаешь платоническую идею, оперируешь не формулами и силлогизмами, а воображаемыми листами бумаги.
Так можно доказать иррациональность корня из 2. От противного: если он рационален и равен a/b, то a^2=2b^2, а как показывают рассуждения выше, у такого уравнения нет наименьшего натурального решения (по каждому решению (a,b), a>b, можно построить решение (2b-a,a-b), и оно меньше).
Почему это в детстве не нравилось? потому что показывают фокус вместо технологии (и разводят глубокую философию на мелких местах).
"Вы имеете право на большее, если будете культивировать в себе Ваши силы, беседуя с сильнейшими (умершими) людьми."
Из письма Лузина Канторовичу.
Там ещё дальше интересно: "Вы, судя по Вашим трудам по теории проективных множеств, не совсем правильно оцениваете мою роль и мое значение в теории аналитических множеств (не менее половины которой принадлежит мне, а не Суслину), но здесь Вашей сознательной вины еще нет, так как Вы просто были не совсем правильно информированы частью московских математиков. Вы ведь не москвич и не можете судить правильно о генезисе и развитии теории «А-множеств»."
И ещё интереснее: "Но Вы не могли не видеть, что теория-то проективных множеств несомненно дело, вышедшее из моих рук, и что я продолжаю еще над ними работу. Вы не могли не видеть, что с отходом от меня этих теорий в смысле изложения их в Энциклопедии, у меня ничего не остается и что, если это не будет специально согласовано у нас обоих: Вас и меня, то переход в другие руки этих теорий равносильно категорическому отстранению меня из Энциклопедии.
Действительно, что мне остается там излагать? Не теорию же «C-свойства», о которой я забыл думать давно!"
"Вы, наконец, просто не могли не считаться с обычными правилами научной этики, которая очень строга среди культурных людей на Западе, и которая категорически предписывает посоветоваться с основателем теории, прежде чем браться за ее изложение."
"Это я говорю не затем, чтобы отнимать у Суслина его и без того большую часть, но ради того, что терминология Hausdorff'а “Souslinsche Menge” неверная, внушенная определенными кругами и не соответствующая фактам, доказать которые можно вполне."
Очень близко к сердцу Лузин принимал А-множества. И вообще был очень эмоциальный человек. Может, в том числе из-за этого он и привлёк в математику столько гигантов/создал школу? Для этого надо воодушевлять, а воодушевляют эмоциями, а не логикой.
Из письма Лузина Канторовичу.
Там ещё дальше интересно: "Вы, судя по Вашим трудам по теории проективных множеств, не совсем правильно оцениваете мою роль и мое значение в теории аналитических множеств (не менее половины которой принадлежит мне, а не Суслину), но здесь Вашей сознательной вины еще нет, так как Вы просто были не совсем правильно информированы частью московских математиков. Вы ведь не москвич и не можете судить правильно о генезисе и развитии теории «А-множеств»."
И ещё интереснее: "Но Вы не могли не видеть, что теория-то проективных множеств несомненно дело, вышедшее из моих рук, и что я продолжаю еще над ними работу. Вы не могли не видеть, что с отходом от меня этих теорий в смысле изложения их в Энциклопедии, у меня ничего не остается и что, если это не будет специально согласовано у нас обоих: Вас и меня, то переход в другие руки этих теорий равносильно категорическому отстранению меня из Энциклопедии.
Действительно, что мне остается там излагать? Не теорию же «C-свойства», о которой я забыл думать давно!"
"Вы, наконец, просто не могли не считаться с обычными правилами научной этики, которая очень строга среди культурных людей на Западе, и которая категорически предписывает посоветоваться с основателем теории, прежде чем браться за ее изложение."
"Это я говорю не затем, чтобы отнимать у Суслина его и без того большую часть, но ради того, что терминология Hausdorff'а “Souslinsche Menge” неверная, внушенная определенными кругами и не соответствующая фактам, доказать которые можно вполне."
Очень близко к сердцу Лузин принимал А-множества. И вообще был очень эмоциальный человек. Может, в том числе из-за этого он и привлёк в математику столько гигантов/создал школу? Для этого надо воодушевлять, а воодушевляют эмоциями, а не логикой.
скатался к другу в Харбин. Там в туристических буддистских храмах необычное — буддистский ад. Есть разные буддизмы, но есть и такой: всю жизнь страдаешь, потом попадаешь в ад (и там тебя мучают). Потом в десятом аду тебя могут смолоть в ничто (и всё заканчивается), либо снова отправляют на реинкарнацию (страдать). Привлёк моё внимание шестой ад. Там мучают нерадивых учителей и тех, кто непочтительно относится к каллиграфии (см картинку из храма, переведите её). Вторая картинка (про то как мучаются вышеуказанные) отсюда, в храме картинки мало отражают сюжет (третья картинка из седьмого ада из храма).
Для контраста: в православном храме Харбина (между прочим, единственном действующем в Китае) русских мало, китайцев и эфиопов больше. Поют на китайском и русском. Мечеть пустовала (в воскресенье).
Для контраста: в православном храме Харбина (между прочим, единственном действующем в Китае) русских мало, китайцев и эфиопов больше. Поют на китайском и русском. Мечеть пустовала (в воскресенье).