Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Ben didn't bother to see that my reply is necessarily true --- We can
 know that all blue cars are blue
Date: Sat, 12 Oct 2024 19:53:05 -0500
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <vef5lh$bknp$5@dont-email.me>
References: <ve39pb$24k00$1@dont-email.me>
 <39f1a350cac0a8431753486526da1c35f458df65@i2pn2.org>
 <ve4aai$2b7jg$1@dont-email.me> <87iktydx8w.fsf@bsb.me.uk>
 <vecefu$3rai1$1@dont-email.me>
 <6500466ecda52ff6aca400d5dce50ff8c95d23ba@i2pn2.org>
 <871q0keto2.fsf_-_@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 13 Oct 2024 02:53:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4dff4ea9256eef2f131620d81ba94869";
	logging-data="381689"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+18MnQSRmimFnYdi3jQq8o"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AfW4aEDTrotNymwW/4wGbYK9Q/o=
In-Reply-To: <871q0keto2.fsf_-_@bsb.me.uk>
Content-Language: en-US
Bytes: 2137

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