Sujet : Re: Can D simulated by H terminate normally?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 02. May 2024, 06:08:32
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v0v3k0$2qov3$16@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
User-Agent : Mozilla Thunderbird
On 5/1/24 11:59 PM, olcott wrote:
On 5/1/2024 10:56 PM, Richard Damon wrote:
And thus, since you divorce the simulaton from the actual behavior of the machine represented by the input, makes it as much, if not more so, a property of the decider than the input.
>
No I do not yet we are not at that point yet.
*We are still on this point*
(a) It is a verified fact that D(D) simulated by H cannot
possibly reach past line 03 of D(D) simulated by H whether H
aborts its simulation or not.
No, that has been refuted and no reply made, thus, your claim is invalid.
Your repeating it just shows how little you understand about logic or the theory.
You are admitting failure.
…