I don’t think it makes omega logically impossible in all situations, I think it depends upon whether F-->YD (or a function based on it that can be recursively applied) has a fixed point) or not.
I’ll try and hash it out tomorrow in haskell. But now it is late. See also the fixed point combinator if you want to play along at home.
I don’t think it makes omega logically impossible in all situations, I think it depends upon whether F-->YD (or a function based on it that can be recursively applied) has a fixed point) or not.
I’ll try and hash it out tomorrow in haskell. But now it is late. See also the fixed point combinator if you want to play along at home.