Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
 met
Date: Tue, 13 May 2025 04:39:13 +0100
Organization: Fix this later
Lines: 12
Message-ID: <vvuet1$1hv2k$3@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>
 <vvuala$1hi3q$1@dont-email.me> <vvubuk$1deu5$4@dont-email.me>
 <vvudfg$1hi3q$4@dont-email.me> <vvuedq$1ibhq$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 May 2025 05:39:14 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6985d97c0ee12080e7b93a3aa7ef3914";
	logging-data="1637460"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/AOFJQN+gqcW9r1Fbszmc5tKfyXFD5/a03T9LZ/OnX9w=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:3U/r3WL4JEORhZ+twWISloQfQzw=
In-Reply-To: <vvuedq$1ibhq$2@dont-email.me>
Content-Language: en-GB

On 13/05/2025 04:31, olcott wrote:
> All of the conventional halting problem proofs
> have several fatal flaws.

If you like.

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