juan_gandhi | Apr. 20th, 2006

Кто-нибудь мне может помочь? Я не логик... Балуясь с комбинаторами, я всё больше подозреваю, что в бестиповом лямбда-исчислении сидит внутри какой-то парадокс, вроде Рассела, вследствие которого конструкции вроде комбинаторов имеют примерно такой же логический смысл, как и брадобреи, бреющие тех и только тех, кто не бреет сам себя.