Oberon space

General Category => Общий раздел => Тема начата: pygubanov от Март 15, 2013, 11:43:42 am

Название: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнично
Отправлено: pygubanov от Март 15, 2013, 11:43:42 am

Y = λf.(λx.f (x x)) (λx.f (x x))  - wolframalpha не смогла понять

если убрать точки, заменив их на пробелы, то ответ будет Y = λ^3 f^3 x^6

Название: Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
Отправлено: valexey_u от Март 15, 2013, 12:23:43 pm

Цитата: pygubanov от Март 15, 2013, 11:43:42 am

Y = λf.(λx.f (x x)) (λx.f (x x))  - wolframalpha не смогла понять

если убрать точки, заменив их на пробелы, то ответ будет Y = λ^3 f^3 x^6

Это ж Y-комбинатор -- один из комбинаторов неподвижной точки. Интересно, что там wolframalpha должна была бы выдать? ;-)

Название: Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
Отправлено: ilovb от Март 15, 2013, 12:57:29 pm

Цитата: valexey_u от Март 15, 2013, 12:23:43 pm

Это ж Y-комбинатор -- один из комбинаторов неподвижной точки.

Название: Re: Y = λf.(λx.f (x x)) (λx.f (x x)) - wolframalpha не смогла понять (Пятнич
Отправлено: Geniepro от Март 17, 2013, 05:30:48 pm

Да это же основы нетипизированного лямбда-исчисления. В типизированных языках типа хаскеля или окамля это выражение является неправильным, кстати -- у него бесконечный тип...