Content deleted Content added
Line 377:
:::::: Do you agree that numbers and any other data type may be represented (as higher order functions) in Lambda calculus?
:::::: I am really struggling to make sense of your responses. If you could confine your self to
:::::: answering these specific points we
:::::: Is there a link to some article that explains your viewpoint?
:::::: Since you say all functions have at least one fixed point, what is the fixed point of <math>\operatorname{not}_1 = \lambda p.\lambda a.\lambda b.p\ b\ a</math>?
| |||