Без заголовка

Абсолютно с той же идеи начинался и на ней же продолжается мой журнал: привитие вкуса к формализации, во всех областях знания. Это не означает абсолютно какой-то "сухости" или "мертвости" знания - пример моноидальных категорий показывает, что формализм может быть выражен ярко и образно, без потери точности. Математическая формальность говорит лишь о точности мышления, о его осознанности. Я уверен, что люди со временем сумеют отобразить в точных нотациях самые расплывчатые знания - если это действительно знания. Вообще опыт общения с людьми, которые хорошо знают свое дело, показывают, что у них часто развиваются чрезвычайно точные языки, не терпящие отклонений. Причем это встречается даже в таких, казалось бы, смутных материях, как медитативная практика. Это означает, по-моему, что за таким отточенным мышлением, или за какой-то его существенной частью, скрыт - да, формализм.