News for hackers. Stuff that matters.
Re:Fixed-Point Combinator by QuesnayJr on Saturday February 24, 2024 @12:45AM (#39489423)
If it doesn't really have a fixed point you get a function that never terminates. In denotational semantics you define a special value, "bottom" that means "undefined", and the fixed point is bottom.

And it's not all functions, just computable ones. But if there's algorithm to compute non-trivial zeroes of the zeta function, it would just never terminate if there aren't any.

There are no comments on this comment yet.