Re: Everyone on this forum besides Keith has been a damned liar about this point

On 6/9/2025 4:18 PM, olcott wrote:

On 6/9/2025 3:15 PM, dbush wrote:

On 6/9/2025 4:10 PM, olcott wrote:

On 6/9/2025 2:59 PM, dbush wrote:>>>

I pay attention to the fact that you've admitted on the record that:
>
* What the halting problem proofs prove is correct

>
I said it is correct under a false assumption dipshit.
>
Are you too stupid to know that correct under a false
assumption means incorrect?

>
And that false assumption is the assumption that an H exists that performs the following mapping:
>

>
That is not what I said you damned (condemned to actual Hell) liar.
>

 

 On 7/4/2023 12:57 AM, olcott wrote:
 > If you frame the problem in that a halt decider must divide up finite
 > strings pairs into those that halt when directly executed and those that
 > do not, then no single program can do this.