История изменений
Исправление buddhist, (текущая версия) :
((zero inc) 0)
Зачем вы пытаетесь применить 0 к операции «+1» а потом еще и применить это к десятичному числу?
Почему 0 - тождественная ф-я?
Можете хоть так определить натуральные числа:
0 = \f -> [\x->sin x]
+1 = \n -> [\f -> [\x sin ((n f) x)]]
Исходная версия buddhist, :
((zero inc) 0)
Зачем вы пытаетесь применить 0 к операции «+1» а потом еще и применить это к десятичному числу?
Почему 0 - тождественная ф-я?
Можете хоть так определить натуральные числа:
0 = \f -> [\x->sin x]
+1 = \n -> [\f -> [\x sin ((n f) x)]]