Path: ...!weretis.net!feeder6.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: Proof that H(D,D) meets its abort criteria --self-evident truth--
Date: Wed, 20 Mar 2024 12:12:08 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <utf1so$2gfo0$1@i2pn2.org>
References: <ut1sgk$2buev$2@dont-email.me> <ut5tcl$23hsb$19@i2pn2.org>
 <ut5tlk$3bq8h$2@dont-email.me> <ut5um7$23hsc$25@i2pn2.org>
 <ut6q6q$3hh79$3@dont-email.me> <ut79og$3knkh$6@dont-email.me>
 <ut7u85$3peut$3@dont-email.me> <ut899e$27bqa$4@i2pn2.org>
 <ut8bji$3vipc$3@dont-email.me> <ut8cju$27bqa$8@i2pn2.org>
 <ut8e9k$8nr$1@dont-email.me> <ut8gic$27bqb$9@i2pn2.org>
 <ut8go9$l2l$2@dont-email.me> <ut8ide$27bqb$10@i2pn2.org>
 <ut8j23$t3b$3@dont-email.me> <ut8lhu$27bqa$10@i2pn2.org>
 <ut9k08$7i77$1@dont-email.me> <ut9li5$7pdg$1@dont-email.me>
 <ut9ufd$9qc8$2@dont-email.me> <uta5j7$b8d6$1@dont-email.me>
 <uta7n9$c11s$1@dont-email.me> <uta88f$c3ln$1@dont-email.me>
 <uta8rr$c91o$1@dont-email.me> <utaam1$ckrm$1@dont-email.me>
 <utab3j$cn6l$2@dont-email.me> <utac8g$csl0$1@dont-email.me>
 <utacqt$d328$1@dont-email.me> <utau6c$2b09e$10@i2pn2.org>
 <utb28m$ksn2$1@dont-email.me> <utb40e$2be23$1@i2pn2.org>
 <utb4pf$lati$1@dont-email.me> <utciqf$uvmo$1@dont-email.me>
 <utcklk$v0lj$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 20 Mar 2024 16:12:08 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2637568"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <utcklk$v0lj$7@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3054
Lines: 31

On 3/19/24 2:14 PM, olcott wrote:
> On 3/19/2024 12:42 PM, immibis wrote:
>> On 19/03/24 05:37, olcott wrote:
>>> You are just getting nutty now. You are tossing out the sequence, 
>>> selection, iteration model of computation.
>>
>> aren't you tossing out the turing machine model of computation?
>>
> 
> I am only tossing out the halting problem specification.
> I am not saying (like Richard is saying) that sequential
> code can be executed out-of-sequence.
> 

Just more of your lies.

Where did I say "Sequential Code" can run out-of-sequence.


THe codes that I talk about not being in the sequence you think are two 
INDEPENDENT copies of the machines.

The H that is deciding the D(D) does not enforce that the ACTUAL D(D) it 
is simulating has not been run yet, and in fact, since we can consider 
Turing Machines to "auto-start" once created, it is IMPOSSIBLE to give 
to H a description of a D(D) that has not already run itself.

We, as finite humans may not know what it did, but the mathematical 
world of truth does.

You can't seem to comprehend that world, because you seem to like to 
live in your world of LIES.