Ben didn't bother to see that my reply is necessarily true --- We can know that all blue cars are blue

On 10/12/2024 7:24 PM, Ben Bacarisse wrote:

Richard Damon <richard@damon-family.org> writes:
... stuff ...
 If you must reply, take care with the subject line.  There's no reason
to help spread PO's misrepresentation.
 

https://en.wikipedia.org/wiki/Self-evidence
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game.  PO really /has/ an H
 > (it's trivial to do for this one case) that correctly determines
 > that P(P) *would* never stop running *unless* aborted.
Thus when H is an emulating termination analyzer that reports
on whether or not its emulation of its input finite string x86
machine code P(P) must be aborted H is unequivocally correct.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer