XPost: sci.logic, comp.theory

Richard Damon <[email protected]> writes:

On 6/19/2023 3:08 PM, Ben Bacarisse wrote:

Me: "do you still assert that [...] false is the "correct" answer even
���� though P(P) halts?"

PO: Yes that is the correct answer even though P(P) halts.

<cut>

This was not a slip of the tongue.� He has been quite clear that he is
talking about something other than what the world calls halting.� It's
about what /would/ happen if the program were slight different, not
about what actually happens:

PO: "A non-halting computation is every computation that never halts
���� unless its simulation is aborted.� This maps to every element of the >>> ���� conventional halting problem set of non-halting computations and a
���� few more."

Ben is just pointing out the ERRORS in your logic

I don't think I pointed to any errors of logic. I just quoted PO so
that readers can see what he's talking about.

Why do you keep making posts with personally derogatory subject lines?
You are just amplifying his nasty voice.

--
Ben.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)