![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Душа радуется
Формула из диссертации одного из авторов Nemerle:
Ирреальный позитив. Довести себя до интуитивного понимания таких формул и пойти сдаться в психушку на том основании, что не могу больше мыслить обычными категориями. "Жена вызвала санитаров, за то что учил дочку считать в нумералах Чёрча".
Если от такого крыша едет, то страшно даже представить, что творится в голове у математиков, занимающихся, например, струнными теориями.
Кто-нибудь в курсе, в Беларуси хотя бы в одном вузе подобную шизу (лямбда-исчисление, всякую там функциональщину и прочий CS мрак) преподают?
Ирреальный позитив. Довести себя до интуитивного понимания таких формул и пойти сдаться в психушку на том основании, что не могу больше мыслить обычными категориями. "Жена вызвала санитаров, за то что учил дочку считать в нумералах Чёрча".
Если от такого крыша едет, то страшно даже представить, что творится в голове у математиков, занимающихся, например, струнными теориями.
Кто-нибудь в курсе, в Беларуси хотя бы в одном вузе подобную шизу (лямбда-исчисление, всякую там функциональщину и прочий CS мрак) преподают?
no subject
no subject
no subject