Sujet : Re: D simulated by H never halts no matter what H does V3 ---
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 05. May 2024, 21:47:10
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v18nnu$5asq$6@i2pn2.org>
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 29 30 31 32 33 34
User-Agent : Mozilla Thunderbird
Since you haven't, I guess you are just admitting you don't have a response to my post.
On 5/5/24 2:33 PM, olcott wrote:
I am only responding to my new post
[Every D(D) simulated by H presents non-halting behavior to H]
On 5/5/2024 12:54 PM, Richard Damon wrote:
On 5/5/24 1:21 PM, olcott wrote:
On 5/5/2024 11:41 AM, Richard Damon wrote:
On 5/5/24 10:30 AM, olcott wrote:
On 5/5/2024 5:36 AM, Fred. Zwarts wrote:
>
Those N steps were simulated correctly, but the fact that it stops after N steps make it an incorrect simulation.
>
In other words a decider is wrong unless it never
stops simulating an non-halting input?
>
No, the decider is wrong if it gives the wrong answer.
>
Now, if to determine the correct answer requires simulating more, then it needs to simulate more.
>
If to determine the correct answer requires simulating to the end, it needs to simulate to the end, even if that takes forever.
>
If it needs to simulate forever, but also needs to answer in finite time, then the method has just been shown not to meet the requirements.
>
>
Bullshit. Try and show any detail that it incorrect
with the conclusion of my new post:
[Every D(D) simulated by H presents non-halting behavior to H]
>
I did and you ignored it turning you into a LIAR by restating it.
>
You even elsewhere said you were going to refute it, but never did.
>
All you are doing is showing that you don't care about truth, but just want to push your lies.
>
>
…