Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---

Liste des GroupesRevenir à theory 
Sujet : Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR---
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theory
Date : 08. Mar 2025, 16:00:13
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqhm1s$6fo8$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28
User-Agent : Mozilla Thunderbird
On 3/8/2025 9:03 AM, olcott wrote:
On 3/8/2025 2:47 AM, Fred. Zwarts wrote:
Op 08.mrt.2025 om 02:49 schreef olcott:
On 3/7/2025 10:25 AM, Fred. Zwarts wrote:
Op 07.mrt.2025 om 16:17 schreef olcott:
On 3/7/2025 2:59 AM, Fred. Zwarts wrote:
Op 06.mrt.2025 om 21:13 schreef olcott:
On 3/6/2025 3:13 AM, Fred. Zwarts wrote:
Op 06.mrt.2025 om 04:53 schreef olcott:
On 3/5/2025 9:31 PM, dbush wrote:
On 3/5/2025 10:17 PM, olcott wrote:
On 3/5/2025 7:10 PM, dbush wrote:
>
In other words, you know that what you're working on has nothing to do with the halting problem, but you don't care.
>
In other words I WILL NOT TOLERATE ANY BULLSHIT DEFLECTION.
You have proven that you know these things pretty well SO QUIT THE SHIT!
>
>
You want people to accept that HHH(DD) does in fact report that changing the code of HHH to an unconditional simulator and running HHH(DD) will not halt.
>
>
DD correctly emulated by HHH cannot possibly
reach its own "ret" instruction and terminate normally.
>
Yes, we agree that HHH fails to reach the 'ret' instruction,
>
Despicably dishonest attempt at the straw-man deception.
>
>
No rebuttal. So, we agree that HHH fails to reach the 'ret' instruction.
>
Not at all. Trying to get away with changing the subject
WILL NOT BE TOLERATED.
>
If you do not agree that HHH fails to reach the 'ret' instruction (that world-class simulators do reach, just as the direct execution does), show how it reaches the 'ret' instruction.
>
*set X*
When-so-ever any input to any simulating termination
analyzer calls the simulator that is simulating itself
>
*result of set X*
this input cannot possibly reach its own final state
and terminate normally because it remains stuck in
recursive emulation.
>
>
So, we agree that any simulator that tries to simulate *itself* cannot possibly reach the end of its simulation.
 Apparently you don't understand that inputs to a
simulating termination analyzer specifying infinite
recursion or recursive emulation cannot possibly
reach their own final state and terminate normally.
Apparently you don't understand that inputs to a termination analyzer, simulating or otherwise, are specified by the specification that is the halting function:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed
And HHH(DD)==0 fails to meet the above specification

Date Sujet#  Auteur
1 Nov 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal