Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory
Subject: Re: We finally know exactly how H1(D,D) derives a different result
 than H(D,D)
Date: Fri, 8 Mar 2024 10:09:58 -0600
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <usfd8m$1p8cg$4@dont-email.me>
References: <usda7b$18hee$1@dont-email.me> <usdf9p$15934$2@i2pn2.org>
 <usdh1e$19t14$1@dont-email.me> <usdrrd$1bil8$1@dont-email.me>
 <usdseg$1bqt3$2@dont-email.me> <usdvj7$1fvhm$4@dont-email.me>
 <use138$15q44$4@i2pn2.org> <use1sh$1gd96$2@dont-email.me>
 <use37h$15q45$3@i2pn2.org> <use4f1$1grfn$1@dont-email.me>
 <8634t1nx2p.fsf@yaxley.in> <usfase$1p1t5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 8 Mar 2024 16:09:58 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="cbe692f823dc8310f00dd0aaf1f84978";
	logging-data="1876368"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18LG7MEst/JWaleLTnBLx6k"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:E7oqLtcY/N6hYYmlTS3V9kuHit0=
Content-Language: en-US
In-Reply-To: <usfase$1p1t5$1@dont-email.me>
Bytes: 2306

On 3/8/2024 9:29 AM, Mikko wrote:
> On 2024-03-08 05:23:34 +0000, Yaxley Peaks said:
> 
>> With all of these extra frills, aren't you working outside the premise
>> of the halting problem? Like how Andre pointed out.
> 
> Yes, he is.
> 
>> The halting problem concerns itself with turing machines and what you
>> propose is not a turing machine.
> 
> That is true. However, we can formulate similar problems and proofs
> for other classes of machines.
> 

I am working on the computability of the halting problem
(the exact same TMD / input pairs) by a slightly augmented
notion of Turing machines as elaborated below:

Olcott machines are entirely comprised of a UTM + TMD and one
extra step that any UTM could perform, append the TMD to the
end of its own tape.


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