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

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

#math #teachers