metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2007-12-15 04:53 pm

Душа радуется

Формула из диссертации одного из авторов Nemerle:



Ирреальный позитив. Довести себя до интуитивного понимания таких формул и пойти сдаться в психушку на том основании, что не могу больше мыслить обычными категориями. "Жена вызвала санитаров, за то что учил дочку считать в нумералах Чёрча".
Если от такого крыша едет, то страшно даже представить, что творится в голове у математиков, занимающихся, например, струнными теориями.

Кто-нибудь в курсе, в Беларуси хотя бы в одном вузе подобную шизу (лямбда-исчисление, всякую там функциональщину и прочий CS мрак) преподают?

[identity profile] kong-en-ge.livejournal.com 2007-12-16 11:40 am (UTC)(link)
Знаете, но это же Гиннес, а не местный натурпродукт!

[identity profile] themech.livejournal.com 2007-12-16 11:58 am (UTC)(link)
В таком случае MIXX - то самое заведение, где благородным донам не западло будет провести вечер за неспешной беседой...
Жрать только там нечего ;-)