Content deleted Content added
Line 372:
:::::: I am not understanding the relevance of your response.
:::::: Do you agree that for most (or at least many) functions F the Y F will not reduce to a normal form by beta and eta reductions? (even using applicative order).
:::::: Do you agree that there are functions F (in mathematics) for which the cardinality { Y F | Y F = F Y F} is 0, 1 or > 1.
:::::: Do you agree that if the cardinality is zero there does not exist a fix point of F?
| |||