Groups | Search | Server Info | Keyboard shortcuts | Login | Register

Groups > comp.programming > #16765

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

Show all headers | View raw

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 Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Back to comp.programming | Previous | Next — Previous in thread | Find similar

Thread

Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals olcott <polcott333@gmail.com> - 2025-03-04 09:56 -0600
  Re: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals Richard Heathfield <rjh@cpax.org.uk> - 2025-03-04 16:38 +0000

csiph-web