TGViewer
Матклуб Матклуб @club_math · 769 subscribers
Post #82 1.06K
В одиннадцатом классе я купил первый том "Искусство программирования" Кнута. Ничего я тогда не понял и, слава богу, программистом не стал. Однако ясно помню книгу: ярко-белая бумага, плотная вёрстка, чёткая печать. Её нравилось брать с полки, листать и обещать себе прочитать.

На первом курсе я прочитал статью "Плач математика" Локхарта. В ту осень днём я ходил на лекции, а вечером встречался с бывшими одноклассниками. Я пытался их убедить, что математики думают широко, глубоко и свободно, доказывают даже очевидное. И думать так – само по себе красиво.

Много лет спустя в Кнуте я вижу только TeX и очевидное доказываю редко. У меня появилось своё представление о математике. О том, что интересно, важно, полезно, прекрасно. И моя математика не кончается на доказательстве. Я хочу огранить свои мысли, я хочу быть понятным.

Я пробовал Beamer, ManimCE, reveal.js, Blender, но не Typst. Поэтому я попросил Супксинфая опубликовать его презентации. У него их две: одна для комиссии в университете, другая для Матклуба; светлая для проектора, тёмная для стрима; одна на 15 минут, другая на час. Открывая его работу, я чувствую то же, что и в одиннадцатом классе, и на первом курсе.

https://github.com/supxinfy/BerryPhaseSlides
  • ❤‍🔥 10
  • 👍 4
  • 🗿 1
More from @club_math
  1. Sep 21, 2026Голосование завершилось.. Поздравляю фанатов Тарского с ошеломительной победой! В связи с…
  2. Sep 18, 2026Post #85
  3. Aug 11, 2026Rusnock P., George R., Bolzano as Logician. Организатор: @last_kripkean Если немецкие идеа…
  4. Jul 20, 2026Фаза Берри в условиях изменения топологии. Организатор: @supxinfy Есть теоретические основ…
  5. Jun 30, 2026Angiuli C., Gratzer D., Principles of Dependent Type Theory. Организатор: @GabrielFallen Н…
  6. Jun 22, 2026Martin-Löf, Intuitionistic Type Theory. Организатор: @orenty7 Продолжаем погружаться в MLT…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →