Below are the 3 most recent journal entries recorded in O's LiveJournal:
Основная проблема была в том чтобы найти новый язык на котором можно формально работать с объектами с которыми работает современная чистая математика. Теория множеств для этого не годится, грубо говоря по тому что на ее языке комбинаторная сложность описания объектов растет экспоненциально с ростом уровня абстрактности.