Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Proof that DDD specifies non-halting behavior --- point by point --- in our head Date: Thu, 15 Aug 2024 21:28:03 -0500 Organization: A noiseless patient Spider Lines: 30 Message-ID: References: <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org> <190847da05ab48555c036a799e768f555461eb43@i2pn2.org> <28bda6bb7d9efdacadf3de76c85a4857d0f83cb3@i2pn2.org> <144194c31aa90f6ac975fcefb07d0e15c34baea5@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 16 Aug 2024 04:28:03 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0832828dca420f70d701da47ce3141da"; logging-data="1367136"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+mlIvcrWK15WxgW5cMwJaN" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:7zefAgef2ZViD/w8JxbYaCYkJpI= In-Reply-To: <144194c31aa90f6ac975fcefb07d0e15c34baea5@i2pn2.org> Content-Language: en-US Bytes: 2503 On 8/15/2024 8:57 PM, Richard Damon wrote: > On 8/15/24 12:26 PM, olcott wrote: >> 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. >> > > And what rule is that? > Go back and see the last 500 times that I explained this. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer