Sujet : Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.programmingDate : 04. Mar 2025, 17:38:16
Autres entêtes
Organisation : Fix this later
Message-ID : <vq7a9o$1up3h$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 04/03/2025 15:56, olcott wrote:
On 3/4/2025 8:47 AM, Richard Heathfield wrote:
On 04/03/2025 14:32, olcott wrote:
The only valid rebuttal is to show all of the steps of
exactly how DD correctly emulated by HHH reaches its
own "ret" instruction.
>
If that is the only rebuttal you are prepared to accept as valid, congratulations! You have solved the Halting Problem entirely to your own satisfaction.
>
If you want to be recognised for your breakthrough, however, it is not enough that nobody should convince you that you're wrong; you have to convince others that you're right,
If they can not show how DD correctly emulated by HHH
reaches its own "ret" instruction this proves that they
lack the technical competence to understand that the
code proves that HHH(DD) is correct to reject its input
as non-terminating.
Unfortunately, declaring that you're right isn't sufficiently convincing to win you any recognition. Just saying "X proves Y" lacks rigour, and rigour is what you're going to need if you're to persuade anyone.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within