Не могу разобраться. Вот есть λn.n(λx.false)true. Можете привести выкладки для λfx.x и, например, для λfx.fx. В книжках пишут, что мол слишком просто, чтоб доказывать. И можно ссылкочку на док-во (а лучше, на какое-нибудь доступное пособие)?
Не могу разобраться. Вот есть λn.n(λx.false)true. Можете привести выкладки для λfx.x и, например, для λfx.fx. В книжках пишут, что мол слишком просто, чтоб доказывать. И можно ссылкочку на док-во (а лучше, на какое-нибудь доступное пособие)?
Ответ на:
комментарий
от Apple-ch
Ответ на:
комментарий
от Apple-ch
Ответ на:
комментарий
от LIKAN