On 2025-05-16 01:21:04 +0000, olcott said:void DDD()
On 5/15/2025 6:57 PM, Richard Heathfield wrote:Otherwise true but the "correctly" is not verified.On 16/05/2025 00:43, olcott wrote:>On 5/15/2025 6:18 PM, Richard Damon wrote:>On 5/15/25 4:47 PM, olcott wrote:>I overcome the proof of undecidability of the Halting>
Problem in that the code that
"does the opposite of whatever value that HHH returns"
becomes unreachable to DD correctly simulated by HHH.
Nope, only to youtr INCORRECTLY simuated by HHH.
>
In other words you believe that professor Sipser
screwed up when he agreed with these exact words.
Or maybe he just knows what 'if' means.
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
>
It is a verified fact that HHH does simulate DD according
to the rules of the x86 language, thus correctly
>
until HHH correctly determines that its simulated DD
would never stop running unless aborted
{
HHH(DDD);
return;
}
Anyone that knows C can tell that when HHH does simulate
DDD correctly that it keeps getting deeper in recursive
simulation until aborted or OOM error.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
| Date | Sujet | # | Auteur | |
| 27 Apr 26 |  … |
Les messages affichés proviennent d'usenet.