https://www.youtube.com/live/TYgVTbHisPs?si=ntydZdeqCHGKEdOr


Ооо, что подвезли!
Вопросы были удивительные; кажется, аудитория была совсем неподходящей для таких тем. Особенно уморительно про МЧС.

Шалак особенно настаивает на различении формальных и формализованных теорий. Даже если он не во всём тут прав, иногда людям имеет смысл чуть осознать это различие, чтобы не думать, что формализация есть везде, где мы просто значки используем