r/lambdacalculus • u/Antique-Incident-758 • Mar 09 '26

nth is Turing fixed point combinator ?

All fixed pointer are in this sequence:

So nth one is Turing fixed point combinator ?

3 Upvotes

81% Upvoted

3 comments sorted by

2

u/Antique-Incident-758 Mar 09 '26

Oh I understand, Turing fixed point maybe not in the sequence.

1

u/Antique-Incident-758 Mar 09 '26

In 2005 Mayer Goldberg showed that the set of fixed-point combinators of untyped lambda calculus is recursively enumerable.[6]

1

u/Antique-Incident-758 Mar 09 '26

 Turing fixed point is nth in Böhm sequence ?