XPost: comp.theory, comp.lang.c++, comp.ai.philosophy
From: rjh@cpax.org.uk

On 04/10/2025 16:20, olcott wrote:
> On 10/4/2025 10:01 AM, Richard Heathfield wrote:
>> On 04/10/2025 13:56, olcott wrote:



>>> How is it that you can disagree with verified facts?
>>
>> The incomputability of the Halting Problem is a verified fact,



Nothing left.

--
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

--- SoupGate-Win32 v1.05
 * Origin: you cannot sedate... all the things you hate (1:229/2)