Re: At least 100 people kept denying the easily verified fact

On 6/06/24 18:56, olcott wrote:

On 6/6/2024 11:48 AM, ornott wrote:

On 5/06/24 04:55, olcott wrote:

The machine description of DD specifies that it does not halt to
simulating halt decider HH and you already know that you cannot
possibly prove otherwise.

>
The machine description of DD specifies (to everyone) that it halts if HH(DD,DD) returns 0.
>

 From: ornott <news2@immibis.com>
established Liar.
 

You are unable to refute this established fact:
 > On 5/06/24 04:19, olcott wrote:
 >> It is fully operational C code it can run out of stack space
 >> even if you give it googolplex of terabytes.
 >
 > Sounds like it's infinite recursion. Infinite recursion doesn't halt.  > Deciders always halt, so a program that's infinitely recursive isn't a > decider.
because it is true.