Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: I have just proven the error of all of the halting problem proofs
Date: Sat, 26 Jul 2025 14:00:57 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <10638l9$2gj29$6@dont-email.me>
References: <105ht1n$36s20$1@dont-email.me>
 <eed26ffea811a639a76d0184321c57eafba746cd@i2pn2.org>
 <pI4fQ.147044$gKRf.71824@fx12.ams4> <105kvub$2q17h$1@dont-email.me>
 <105lg9k$3v8t8$6@dont-email.me> <105ljhk$9si$1@news.muc.de>
 <105lkj4$3v8t8$13@dont-email.me> <105lnn2$2srt$1@news.muc.de>
 <105lpsd$1mvr$1@dont-email.me> <105m9me$2phf$1@news.muc.de>
 <87frejvq2x.fsf@bsb.me.uk> <10633d2$2h0d$1@news.muc.de>
 <1063527$2gj29$3@dont-email.me> <10636r8$2gfp$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 26 Jul 2025 21:00:58 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2f6f0403f57a8205f4bde00807733f3a";
	logging-data="2640969"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19rxll3fH7UVL31GPz1vSLu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0d0yJVTLD8Rp4tatwPVB+f3iuQM=
Content-Language: en-US
In-Reply-To: <10636r8$2gfp$1@news.muc.de>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250726-4, 7/26/2025), Outbound message

On 7/26/2025 1:30 PM, Alan Mackenzie wrote:
> In comp.theory olcott <polcott333@gmail.com> wrote:
> 
>> The error of all of the halting problem proofs is
>> that they require a Turing machine halt decider to
>> report on the behavior of a directly executed
>> Turing machine.
> 

Whether or not machine M halts on input i

>> It is common knowledge that no Turing machine decider
>> can take another directly executing Turing machine as
>> an input, thus the above requirement is not precisely
>> correct.
> 
>> When we correct the error of this incorrect requirement
>> it becomes a Turing machine decider indirectly reports
>> on the behavior of a directly executing Turing machine
>> through the proxy of a finite string description of this
>> machine.
> 
>> Now I have proven and corrected the error of all of the
>> halting problem proofs.
> 
> No you haven't, the subject matter is too far beyond your intellectual
> capacity.
> 

If that was true then you could point out at least one
single error in EXACTLY what I just said immediately above.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer