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

Дополненная, дополненная. Я вообще сначала всё это по-английски написал, потом переправил зачем-то )) Это я вспомнил про "Онтологию виртуальности" -- http://www.uis.kiev.ua/xyz/tv/tv-book.htm, программу Баеза про компактификацию предметных знаний физики, логики, вычислений через теорию категорий (http://arxiv.org/abs/0903.0340) и т.д.