| Математический форум 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/ |
|