Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: What it would take... People to address my points with reasoning
 instead of rhetoric
Date: Wed, 14 May 2025 18:32:29 +0100
Organization: Fix this later
Lines: 32
Message-ID: <1002k3e$2k04c$1@dont-email.me>
References: <vvm948$34h6g$2@dont-email.me> <87v7q5n3sc.fsf@bsb.me.uk>
 <vvtf7n$17c1i$5@dont-email.me> <87plgdmldp.fsf@bsb.me.uk>
 <vvudut$1ife1$1@dont-email.me> <vvuii0$1j0qo$1@dont-email.me>
 <vvuk0d$1j6s0$5@dont-email.me> <vvvbtd$1ov7e$10@dont-email.me>
 <vvvpia$1tcfq$1@dont-email.me> <vvvqd1$1tgam$1@dont-email.me>
 <vvvrhl$1so2t$2@dont-email.me> <vvvu75$1rc4t$3@dont-email.me>
 <1000cs0$21dtc$4@dont-email.me>
 <9c1af7d0e9c40b141b0e69465ed4e4d89136a5e5@i2pn2.org>
 <1002d1g$2i4bk$10@dont-email.me> <1002do1$2h3mu$1@dont-email.me>
 <1002j6t$2k00a$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 14 May 2025 19:32:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0c399434be0097fc2343dbe56cfc06f0";
	logging-data="2752652"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19E6faIjoV6r5Ka6gCjxE2606lGWrwZUf9+reIGb6QMDw=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HIOxlDf0XivtC+1K7YhV9d/pqxo=
In-Reply-To: <1002j6t$2k00a$1@dont-email.me>
Content-Language: en-GB

On 14/05/2025 18:17, olcott wrote:
> On 5/14/2025 10:44 AM, Richard Heathfield wrote:
>> On 14/05/2025 16:32, olcott wrote:
>>
>> <snip>
>>
>>> It is nuts to propose the idea of a universal
>>> halt decider when we know that there are some
>>> things that can only be decided by an infinite
>>> computation.
>>
>> It is precisely because Alan Turing proposed the idea of a 
>> universal halt decider that we know that there are some things 
>> that can only be decided by an infinite computation.
>>
> 
> That has nothing to do with any of the
> conventional proofs that the halting
> problem has no solution.
> 
> It is never "yes it can be done in an infinite number of steps"

I was just echoing your wording and I got lazy. Your strawman, 
not mine.

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