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

Тут очень сложный вопрос: чтобы воспользоваться мировым опытом, "категорным нинзя" нужно будет разобраться с "обычной математикой". А чтобы стать "категорным нинзя", сегодня также нужно разбираться с обычной математикой -- и стимул "выучить немного, чтобы уметь много" пропадает. Тут нужно поставить задачу "глобальной перекодировки", которая больше связана с культурой и образованием, нежели с собственно перекодировочной работой. Как я понимаю, развитие софта устроено примерно так же: legacy-приложения делают почти невозможной задачу развития. В 1975 году легко было развивать софт, ибо legacy еще не было. А вот сегодня тебе дадут предзаданную среду из ОС, библиотек, фреймворка и соглашений кодирования -- и будешь писать свой маленький кусочек. С формализмами все еще хуже: прикоснешься к ним, и затем нужно будет переписывать всю физику, всю инженерную литературу и т.д. В 1750-м году именно так и делали, но тогда наработано было много меньше. Я бы подумал-подумал и поставил задачу "перекодирования" для искусственного интеллекта: пусть переписывает книжки со старых языков на новые, по мере затребования этих книжек читателями! Будет еще один google.translate.com с "докатегорного" на "посткатегорный" ;) Это в 2010 году только наполовину шутка...