Deutsch   English   Français   Italiano  
<vfj563$3p235$4@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Verified facts regarding the software engineering of DDD, HHH,
 and HHH1 ---
Date: Sat, 26 Oct 2024 11:25:39 -0500
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <vfj563$3p235$4@dont-email.me>
References: <vf3eu5$fbb3$2@dont-email.me>
 <45ea7a6da46453c9da62c1149fa1cf7739218c5f@i2pn2.org>
 <vf9qai$1scol$1@dont-email.me>
 <2a210ab064b3a8c3397600b4fe87aa390868bb12@i2pn2.org>
 <vf9sk6$1sfva$2@dont-email.me>
 <4c67570b4898e14665bde2dfdf473130b89b7dd4@i2pn2.org>
 <vfaqe7$21k64$1@dont-email.me>
 <f789d3ef27e3000f04feb3df4fc561c5da02381f@i2pn2.org>
 <vfcbl5$2b6h0$2@dont-email.me>
 <b707850664ad22bb1172006f4e24a27633ff1a4d@i2pn2.org>
 <vfe344$2o992$1@dont-email.me>
 <94449dae60f42358ae29bb710ca9bc3b18c60ad7@i2pn2.org>
 <vfeqqo$2ruhp$1@dont-email.me>
 <0553e6ab73fa9a21f062de4d645549ae48fd0a64@i2pn2.org>
 <vfg6us$36im7$2@dont-email.me>
 <da2d4f48cb3b9ac2e44b6f9c9ab28adb3022acb1@i2pn2.org>
 <vfh428$3bkkv$2@dont-email.me>
 <c72aa667027121011042e8b4413d343f3c61bdd1@i2pn2.org>
 <vfh8vt$3cdsr$2@dont-email.me>
 <8e17863681e1f32f132966f41699e57e5c322b41@i2pn2.org>
 <vfirsv$3ner2$6@dont-email.me> <vfj28k$3j3qf$6@i2pn2.org>
 <vfj2o7$3p235$1@dont-email.me>
 <d0c0bcf21b5f33fc0caf5b49ff29cf5a58d4190d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 18:25:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f00999e9e0e5447cf99e873d021c7ec9";
	logging-data="3967077"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19a0ipcUMEUEOEasy2I5i7w"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:I7XcdNxqKgk2OpLRq6/tHmiFb3E=
X-Antivirus: Norton (VPS 241026-4, 10/26/2024), Outbound message
In-Reply-To: <d0c0bcf21b5f33fc0caf5b49ff29cf5a58d4190d@i2pn2.org>
X-Antivirus-Status: Clean
Content-Language: en-US
Bytes: 3611

On 10/26/2024 10:52 AM, Richard Damon wrote:
> On 10/26/24 11:44 AM, olcott wrote:
>> On 10/26/2024 10:35 AM, Richard Damon wrote:
>>>
>>> Right, and either it follows the rules of the x86 language and NEVER 
>>> stop, or it disobeys the requirements of the x86 language to stop its 
>>> emulaiton and return.
>>>
>>
>> In other words after all of these years you still don't get this:
>>     "simulating halt decider H correctly simulates its input D until"
>>
>> Repetition to help your ADD see what it keeps missing.
>> Repetition to help your ADD see what it keeps missing.
>> Repetition to help your ADD see what it keeps missing.
> 
> But it fails to meet the requirements, because your logic presumes that 
> HHH will never abort.
> 

Not at all. In the hypothetical case where HHH never
aborts then DDD never stops running.

"would never stop running unless aborted"
"would never stop running unless aborted"
"would never stop running unless aborted"
"would never stop running unless aborted"

*ChatGPT understand this completely*
https://chatgpt.com/share/67158ec6-3398-8011-98d1-41198baa29f2

Your reasoning really is isomorphic to determining that you
never need to ever eat any food on the basis that you know
in advance that after eating food you will no longer need
to eat food after you have eaten.

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