Some examples of non-existent combinators (Q1314364)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some examples of non-existent combinators |
scientific article |
Statements
Some examples of non-existent combinators (English)
0 references
1 September 1994
0 references
This note discusses some interesting properties that combinators may or may not have. First, the author mentions an open problem: is there a fixed point combinator \(Y\) such that \(Y= Y(SI)\)? Next, he proves that no fixed point combinator can be defined in terms of the combinators \(B\) and \(WI\). He defines hypercreative and hypereasy combinators and shows none exist and also shows that there is no universal generator \(M\) for which there exists an \(N\) such that for all combinators \(P\), \(M\twoheadrightarrow NP\).
0 references
combinatory logic
0 references
combinators
0 references
fixed point combinator
0 references
universal generator
0 references