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

>>Дальше у меня мысли пошли в сторону моего любимого текста (много лет я таскал листочек с его распечаткой у себя в портфеле) Accretion model of theory formation (кратенько пересказана в конце постинга http://ailev.livejournal.com/469995.html). Нужно время от времени находить новые формализмы (и непосредственно соответствующие им нотации), и перекодировать большие куски знания в эти формализмы. Иначе каюк, не будет хватать мощности головы (да и компьютера впридачу тоже не хватит). John Baez и The n-Category Café (и того, и другое Вы упоминали уже) как раз являются двигателями одного из проектов по такой перекодировке. А именно, большие куски математического знания перекодируются в очень удобную и единообразную форму - теория категорий (n-категорий). Самый мощный текст по этой программе - это конечно лекции Баеца, но тут нужна уже сильная подготовка. А так тексты Баеца бывают очень и очень популярны (мне кажется, он из тех, кого потом назовут "великий популяризатор").