https://www.mathnet.ru/rus/kvant1858
Д.Звонкин. Эллипс, симметричный как квадрат (Квант №1 за 2021 год)
«Эта статья о том, что из наличия в задаче симметрии иногда можно сразу вывести ответ…»
внутри предлагается такая, например, задача:
проведите прямую через центр куба так, чтобы сумма квадратов расстояний от вершин куба до прямой была минимальной; та же задача – про правильный тетраэдр, октаэдр, икосаэдр, додекаэдр
// via @geometry_nilov
Д.Звонкин. Эллипс, симметричный как квадрат (Квант №1 за 2021 год)
«Эта статья о том, что из наличия в задаче симметрии иногда можно сразу вывести ответ…»
внутри предлагается такая, например, задача:
проведите прямую через центр куба так, чтобы сумма квадратов расстояний от вершин куба до прямой была минимальной; та же задача – про правильный тетраэдр, октаэдр, икосаэдр, додекаэдр
// via @geometry_nilov
https://classics.nsu.ru/schole/assets/files/18-1-schetnikov.pdf
в качестве картинок по выходным — статья А.И.Щетникова «Исламские геометрические орнаменты»
в качестве картинок по выходным — статья А.И.Щетникова «Исламские геометрические орнаменты»
https://www.mathnet.ru/rus/mp117
напомним популярную статью Э.Б.Винберга «Калейдоскопы и группы отражений» (Мат. просвещение, сер. 3, вып. 7)
напомним популярную статью Э.Б.Винберга «Калейдоскопы и группы отражений» (Мат. просвещение, сер. 3, вып. 7)
vinberg-kaleid.pdf
153.8 KB
напомним тж популярную статью Винберга про калейдоскопы в Соросовском образовательном журнале
https://kvant.mccme.ru/1984/02/klassifikaciya_plenok.htm
статья А.П.Веселова про топологическую классификацию пленок… с главным героем — амёбиусом (Квант №2 за 1984 год)
статья А.П.Веселова про топологическую классификацию пленок… с главным героем — амёбиусом (Квант №2 за 1984 год)
Forwarded from МКН СПбГУ
Совместно с коллегами из МФТИ и ВШЭ проводим летний исследовательский интенсив для студентов.
Когда? С 7 июля по 8 августа
Где? Долгопрудный, Москва
Для кого? Студентов 3-4 курсов бакалавриата, магистров, аспирантов математических специальностей
По традиции научных стажировок после теоретического введения в контекст лекторы будут предлагать открытые задачи. В этот раз мы концентрируемся на задачах из разных разделов фундаментальной и прикладной математики.
Подробнее о программе, темах и условиях читайте тут
В прошлый раз это было так
Заявки на участие принимаются до 15 мая.
Когда? С 7 июля по 8 августа
Где? Долгопрудный, Москва
Для кого? Студентов 3-4 курсов бакалавриата, магистров, аспирантов математических специальностей
По традиции научных стажировок после теоретического введения в контекст лекторы будут предлагать открытые задачи. В этот раз мы концентрируемся на задачах из разных разделов фундаментальной и прикладной математики.
Подробнее о программе, темах и условиях читайте тут
В прошлый раз это было так
Заявки на участие принимаются до 15 мая.
https://mccme.ru/dubna/2025/
напомним, что Летняя школа «Современная математика» имени Виталия Арнольда в этом году проходит с 19 по 30 июля
на странице https://mccme.ru/dubna/2025/courses/ начинают постепенно появляться подробности о курсах этого года
а у желающих принять участие в работе школы старшеклассников и младшекурсников есть еще чуть больше недели (до 20 мая), чтобы подать заявку
напомним, что Летняя школа «Современная математика» имени Виталия Арнольда в этом году проходит с 19 по 30 июля
на странице https://mccme.ru/dubna/2025/courses/ начинают постепенно появляться подробности о курсах этого года
а у желающих принять участие в работе школы старшеклассников и младшекурсников есть еще чуть больше недели (до 20 мая), чтобы подать заявку
https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/
«In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I have overhauled the tool twice: first to turn it into a rudimentary proof assistant that could also handle some propositional logic; and second into a much more flexible proof assistant (deliberately designed to mimic the Lean proof assistant in several key aspects) that is also powered by the extensive Python package sympy for symbolic algebra, following the feedback from previous commenters. This I think is now a stable framework with which one can extend the tool much further; my initial aim was just to automate (or semi-automate) the proving of asymptotic estimates involving scalar functions, but in principle one could keep adding tactics, new sympy types, and lemmas to the tool to handle a very broad range of other mathematical tasks as well.»
«In a recent post, I talked about a proof of concept tool to verify estimates automatically. Since that post, I have overhauled the tool twice: first to turn it into a rudimentary proof assistant that could also handle some propositional logic; and second into a much more flexible proof assistant (deliberately designed to mimic the Lean proof assistant in several key aspects) that is also powered by the extensive Python package sympy for symbolic algebra, following the feedback from previous commenters. This I think is now a stable framework with which one can extend the tool much further; my initial aim was just to automate (or semi-automate) the proving of asymptotic estimates involving scalar functions, but in principle one could keep adding tactics, new sympy types, and lemmas to the tool to handle a very broad range of other mathematical tasks as well.»
Forwarded from ВШМ МФТИ
Семинар Добрушинской лаборатории
Когда: вторник 13 мая, 16:15
Где: Адм. корпус, ауд.322.
Доклад:
Михаил Цфасман (МФТИ),
"Плотные упаковки шаров: обзор результатов и алгеброгеометрические конструкции"
Я расскажу сегодняшнюю ситуацию с задачей о плотных упаковках равных шаров в R^n. В небольших размерностях, помимо классики, имеются знаменитые результаты Вязовской и результат Мусина о контактном числе. В больших размерностях (когда n стремится к бесконечности) сегодня идет борьба за логарифмические члены стохастическими методами. Но кроме того, имеются явные конструкции исходя из полей алгебраических чисел и кривых над конечным полем.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Вход в МФТИ только по пропускам или спискам. Поэтому участники БЕЗ пропусков МФТИ пришлите ЗАРАНЕЕ (до понедельника) информацию о себе и не забудьте паспорт.
Когда: вторник 13 мая, 16:15
Где: Адм. корпус, ауд.322.
Доклад:
Михаил Цфасман (МФТИ),
"Плотные упаковки шаров: обзор результатов и алгеброгеометрические конструкции"
Я расскажу сегодняшнюю ситуацию с задачей о плотных упаковках равных шаров в R^n. В небольших размерностях, помимо классики, имеются знаменитые результаты Вязовской и результат Мусина о контактном числе. В больших размерностях (когда n стремится к бесконечности) сегодня идет борьба за логарифмические члены стохастическими методами. Но кроме того, имеются явные конструкции исходя из полей алгебраических чисел и кривых над конечным полем.
Планируется интернет-трансляция по адресу:
https://telemost.yandex.ru/j/81255480783695
Регистрируйтесь вашей фамилией, а не псевдонимом!
Страницы семинара:
https://sites.google.com/view/dobr-seminar
https://www.mathnet.ru/conf167
Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Вход в МФТИ только по пропускам или спискам. Поэтому участники БЕЗ пропусков МФТИ пришлите ЗАРАНЕЕ (до понедельника) информацию о себе и не забудьте паспорт.
telemost.yandex.ru
Яндекс Телемост
Видеовстречи по ссылке. Собирайте в Телемосте рабочие конференции или встречайтесь с друзьями. Встречи не ограничены по времени. Можно скачать Телемост для Windows или macOS.
https://lejournal.cnrs.fr/diaporamas/une-collection-de-modeles-mathematiques-entre-art-et-science
(слегка задержавшаяся) традционная рубрика «картинки по выходным»
(слегка задержавшаяся) традционная рубрика «картинки по выходным»
CNRS Le journal
Une collection de modèles mathématiques entre art et science
Depuis 1928, l’Institut Henri Poincaré, à Paris, abrite plus de 600 modèles mathématiques. Conçus à la fin du XIXᵉ siècle pour l’enseignement, ils ont inspiré les surréalistes. Désormais numérisée,
https://mmo.mccme.ru/2025/zakr.htm
в это воскресенье (18.05) будет закрытие LXXXVIII Московской математической олимпиады и XXXIV Математического праздника, а также МОШ по вероятности и статистике
кроме награждения победителей и призеров будет игротека от журнала «Квантик» и лекции:
— председатель оргкомитета Андрей Игоревич Шафаревич расскажет про локально евклидовы пространства, дискретные группы и накрытия (для старшеклассников и всех желающих)
— Валентина Кириченко расскажет про теорему шансов и про разборчивую невесту (для 7-8 классов и всех желающих)
подробности, регистрация — по ссылке
в это воскресенье (18.05) будет закрытие LXXXVIII Московской математической олимпиады и XXXIV Математического праздника, а также МОШ по вероятности и статистике
кроме награждения победителей и призеров будет игротека от журнала «Квантик» и лекции:
— председатель оргкомитета Андрей Игоревич Шафаревич расскажет про локально евклидовы пространства, дискретные группы и накрытия (для старшеклассников и всех желающих)
— Валентина Кириченко расскажет про теорему шансов и про разборчивую невесту (для 7-8 классов и всех желающих)
подробности, регистрация — по ссылке
https://youtu.be/J1g11DCnZg4
Souvenirs mathématiques 1. Groupes d'homotopie : 1950-1952 - Jean-Pierre Serre
Souvenirs mathématiques 1. Groupes d'homotopie : 1950-1952 - Jean-Pierre Serre
Непрерывное математическое образование
https://youtu.be/J1g11DCnZg4 Souvenirs mathématiques 1. Groupes d'homotopie : 1950-1952 - Jean-Pierre Serre
https://youtu.be/Ssd6IAGNDkI
Souvenirs mathématiques 2. Faisceaux cohérents : 1952-1956 par Jean-Pierre Serre
Souvenirs mathématiques 2. Faisceaux cohérents : 1952-1956 par Jean-Pierre Serre
https://mccme.ru/free-books/matpros.html
к закрытию Московской мат. олимпиады выходит, как обычно, новый выпуск сборника «Математическое просвещение» (сейчас — 35-й)
к закрытию Московской мат. олимпиады выходит, как обычно, новый выпуск сборника «Математическое просвещение» (сейчас — 35-й)
Непрерывное математическое образование
в качестве картинок по выходным — Сергей Калмыков. Видимые изолированные бесконечные прямые и их сочетания (черное и белое). 1920–1922 частное собрание, Казахстан; сейчас — на выставке в Новой Третьяковке
https://oeis.org/A241600/a241600.pdf
Neil Sloane на ту же тему всевозможных расположений n прямых на плоскости
Neil Sloane на ту же тему всевозможных расположений n прямых на плоскости
Evil tongues whispered that there was really nothing new in Grassmann's exterior algebra, that it was just a mixture of Moebius' barycentric calculus, Pluecker's coordinates, and von Staudt's algebra of throws. The standard objection was expressed by the notorious question, “What can you prove with the exterior algebra that you cannot prove without it?” (…) In my time, I have heard it repeated for random variables, Laurent Schwartz' theory of distributions, ideles and Grothendieck's schemes, to mention only a few. A proper retort might be: “You are right. There is nothing in yesterday's mathematics that you can prove with exterior algebra that could not also be proved without it. Exterior algebra is not meant to prove old facts, it is meant to disclose a new world. Disclosing new worlds is as worthwile a mathematical enterprise as proving old conjectures.”
(…)
It took almost one hundred years before mathematicians realized the greatness of Grassmann's discovery. Such is the fate meted out to mathematicians who make their living on definitions.
Gian-Carlo Rota. Indiscrete Thoughts
(…)
It took almost one hundred years before mathematicians realized the greatness of Grassmann's discovery. Such is the fate meted out to mathematicians who make their living on definitions.
Gian-Carlo Rota. Indiscrete Thoughts
https://elementy.ru/problems/1129/Pryzhki_Vieta
a²+b²+1 делится на ab — докажите, что частное равно 3
a²+b²+1 делится на ab — докажите, что частное равно 3