XPost: sci.logic, comp.theory
Richard Damon <
Richard@Damon-Family.org> 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)