Re: Richard seems to continue to blatantly lie -- I hope I am wrong about this

Am Wed, 10 Jul 2024 08:35:51 -0500 schrieb olcott:

On 7/10/2024 2:06 AM, Mikko wrote:

On 2024-07-09 14:31:17 +0000, olcott said:

The C language and all versions of x86 instruction set are so
complcated that it is harder to prove anything about them.

*C is about the simplest full programming language that exists*
Once you understands sequence, selection, iteration and function calls
you know the essence of the whole language.

Then why not use some untyped pseudocode?

All that you need to understand is that the first four instructions of
DDD correctly emulated by HHH do some housekeeping and then call
HHH(DDD) with no conditional branch escape from endless repetition.
*The C code says this even more simply*
void DDD()
{
   HHH(DDD);
}

Ah, there we go. Nothing about x86 semantics.
This program halts exactly iff HHH halts.

--
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.