From Newsgroup: comp.theory

On 8/24/2025 7:48 PM, Mr Flibble wrote:

Much like negative zero, Olcott's refutations of the Halting Problem
proofs don't exist.

Signed zero can be fairly interesting wrt how we got there, so to
speak... Think of:

..., -1, -.5, -0

vs

..., +1, +.5, +0

If we have a negative zero, we mush have got there from the negative
side going up. A positive zero, from the positive side going down...?

They are all equal to 0. think of it as meta data in a sense? Fair enough?


--- Synchronet 3.21a-Linux NewsLink 1.2