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: Re: Proof that DDD specifies non-halting behavior --- point by point
 --- in our head
Date: Thu, 15 Aug 2024 11:26:21 -0500
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <v9la7f$113gd$1@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me>
 <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org>
 <v9h5af$9jn6$1@dont-email.me>
 <aa4bc24ac5642087e81796fffc31e5022bd8823e@i2pn2.org>
 <v9h9ec$a0id$1@dont-email.me>
 <190847da05ab48555c036a799e768f555461eb43@i2pn2.org>
 <v9hbhm$abr9$1@dont-email.me>
 <28bda6bb7d9efdacadf3de76c85a4857d0f83cb3@i2pn2.org>
 <v9ibpq$f16v$4@dont-email.me>
 <be041261e6d47d07a3b29255dc408e6803d870ad@i2pn2.org>
 <v9jnm0$q0lv$1@dont-email.me> <v9klf4$u594$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 15 Aug 2024 18:26:23 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b70e3e79cdddcca7f32bbdda15810b8e";
	logging-data="1084941"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18S5F1yeFJwbbuwUiLBdgZH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:wzcFJOHMhArgDK52P0stBsiRSSs=
Content-Language: en-US
In-Reply-To: <v9klf4$u594$1@dont-email.me>
Bytes: 2190

On 8/15/2024 5:32 AM, Mikko wrote:
> On 2024-08-15 02:03:44 +0000, olcott said:
> 
>> On 8/14/2024 6:40 PM, Richard Damon wrote:
>>> Note, its "Behavior" is defined as what it would do when run, even if 
>>> it never is,
>>>
>>
>> No that is the big mistake of comp theory where it violates
>> its own rules.
> 
> The big mistake is yours where you violate the rules of computation
> theory and honest discussion.
> 

It is at least the case that conventional halting
problem proofs violate one of the rules of the theory
of computation.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer