Математический форум Math Help Planet
http://mathhelpplanet.com/

Y-комбинатор
http://mathhelpplanet.com/viewtopic.php?f=53&t=27682
Страница 1 из 1

Автор:  new-1 [ 09 ноя 2013, 22:25 ]
Заголовок сообщения:  Y-комбинатор

Заглянул сегодня в вики по поводу сабжа и увидел следующее определение:
Y=/f.(/x.(f(x x)) (/x.(f(x x))))
Там где слеши - это лямбды
Не закралась ли тут ошибка, ведь после получения f мы должны вычислить аппликацию в которой присутствует некий x, а откуда ему взяться?

Страница 1 из 1 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/