💾 Прекрасная рекомендация от YT: урок Теренса Тао по компьютерным доказательствам (математических теорем) в Lean. Рано или поздно придется освоить.

🧩А вот кое-что попроще — лекция Бориса Трушина. Не смотрел целиком, но лишь потому что уже читал его книгу с теми же сюжетами: понравилась. В начале видео Борис предлагает хорошую игру — мне доводилось играть с учениками перед занятием. Из той же серии есть игра «Гарвард». Обе оставляют пищу для ума с точки зрения теории игр.

#math #teachers

Бог не вмешивается и не нарушает законы природы. Это позиция любого серьезного ученого.

Стивен Хокинг #quote

💾 Хотите попробовать Manim в два клика? Здесь онлайн-версия: выберите сцену из Examples и нажмите кнопку Run. Естественно, можно написать свой код, адаптировать другие примеры документации или обратиться к LLM. Мои уроки по Manim можно найти здесь.

Впрочем, онлайн-версии были и раньше. Например, Discord-бот в официальном канале. Еще недавно попробовал через Binder и Google Colab — удобно, удалось настроить кириллицу в формулах LaTeX.

Десктоп-версию сейчас тоже легко поставить. Достаточно, имея Python 3.12-3.14, скомандовать в терминале

pip install manim

#manim

🎬 Не ждали? Новое видео планируется к выпуску в течение недели. Желающие попасть в спонсорские титры могут взять соответствующую подписку в ближайшие три дня. Если в телеграме видео не грузится (прикрепил трейлер), можно посмотреть здесь.

#video #wildmathing

🚀 Новое видео посвящено геометрии фейерверка, баллистике, небесной механике, законам Кеплера и задаче, которая вызывала головную боль у Ньютона.

В основе лежит статья из «Кванта», которой в свое время со мной поделился Фёдор Нилов. Вдохновения прибавляли советские научно-популярные фильмы о космосе.

#wildmathing #video #cinema #kvant

🚀 Полет человека вокруг Луны. Впервые за 50+ лет. Прямой эфир

На русском языке трансляцию уже освещает Виталий Егоров¹, а чуть позже можно будет послушать Владимира Сурдина и Алексея Семихатова.

¹Признан минюстом иноагентом.
#science

🚀 Почему лунная миссия необходима для дальнейшего освоения космоса? Рекомендую посмотреть недавнее видео Владимира Сурдина. Досадно, что Россия не в лидерах этой гонки, как некогда СССР, хотя ресурсы есть. В том же ролике Владимир Георгиевич упоминает роман Жюля Верна «С Земли на Луну...» (1865). Совсем недавно его читал и хотел поделиться цитатой.

Начиная с XVI века зрительные трубы все расширялись и удлинялись, и к середине XIX столетия позволяли уже далеко проникать в неведомые до тех пор глубины звездного неба. Наиболее замечательными рефракторами этой эпохи считались пулковский в России, стоивший 80 тысяч рублей, с объективом в 15 дюймов (38 сантиметров) в диаметре...

#science

Догадываюсь, что вы немного устали от космической темы, но сегодня 12 апреля. Много интересного послушал и посмотрел в последнее время, хочется поделиться лучшим.

🚀 The Overview Effekt. Прекрасная 3D-визуализация траекторий Лунных миссий. Если вы слышали о прецессии Луны, но никогда не видели, рекомендую посмотреть.

🚀 StartTalk. Почему снова летим на Луну? Это задорная беседа, которая полна реализма. Позволю себе дерзость поправить одно предложение Нила Тайсона: многоступенчатую ракету придумал не фон Браун, это идея Циолковского.

🚀Натан Эйсмонт. Интервью с советским инженером. Он участвовал в лунном проекте СССР, многое повидал. Понравился рассказ про расчеты на логарифмических линейках и арифмометрах.

Наконец, вспомним главного героя — курс про Юрия Гагарина.

#science

Был один святой, который проповедовал рыбам. Мне кажется [такой подход] — это высшая степень научной популяризации. Когда тебе не нужен слушатель — ты просто хочешь хорошо и внятно рассказать о квантовой механике.

Андрей Коняев (интервью)

Судя про опросу выше, вас не проведешь. А может ли наземный парусный транспорт с человеком на борту развивать скорость 150-200 км/ч? Уже не так очевидно. Ответ положительный. Аэродинамика крыла (паруса) сложнее, чем кажется на первый взгляд.

Про такие средства передвижения впервые прочел у Жюля Верна: герои за неимением поезда отправились по снегу на парусных санях. А рекордные скорости буеры ставят на льду: меньше трение. На вики утверждается, что Пётр I (на прикрепленной открытке не он) катался на буере у Зимнего дворца.

🧩 В последнее время искал задачи, над которыми можно поразмышлять в дороге (без «карандаша»). Вот симпатичный сюжет, который придумал Александр Шень.

Будем называть «размером» прямоугольного параллелепипеда сумму трёх его измерений — длины, ширины и высоты. Может ли случиться, что в некотором прямоугольном параллелепипеде поместился больший по размеру прямоугольный параллелепипед?

Мы уже разбирали задачу, в которой больший тетраэдр (по сумме длин всех ребер) поместился в меньшем. Так что и на параллелепипеды смотрел оптимистично. Начал писать код для небольшого видео, но, осознав ответ и его очевидность, передумал. Сложно будет в одну-две минуты объяснить широкой публике, чем красива задача. А для вас, публики не широкой, но глубокой, есть два решения текстом.

UPD. Еще два красивых решения

#problem