Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 22. May 2024, 13:48:05
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2km1l$1nrg0$1@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
User-Agent : Mozilla Thunderbird
On 5/21/24 11:55 PM, olcott wrote:
On 5/21/2024 10:13 PM, Keith Thompson wrote:
Richard Damon <richard@damon-family.org> writes:
[snip]
>
Richard, will you *please* drop comp.lang.c from your posts on
this thread, at least for posts with no C content? olcott is not
persuadable, but perhaps you are.
>
I have stayed focused on the C and people kept totally
ignoring the C so I had to explain what the C is important.
D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt because D correctly simulated by
H remains stuck in recursive simulation.
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.
Nope.
Because your arguement is based on a changing definition of what a correct simulation is, and thus is just a LIE.