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

[metaclass]

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



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

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

Comments

[vp.livejournal.com]

пошли лучше пива попьем

[komarov.livejournal.com]

диссер таким и должен быть :-)

[volodymir-k.livejournal.com]

Алгебраисты даже в политехе есть.

[redchrom.livejournal.com]

кстати в этой формуле я понял только лямбда вычисление, оно то кстати и ни шиза, хороший программист даже без образования должен понимать.