Sujet : Re: We finally know exactly how H1(D,D) derives a different result than H(D,D)
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 08. Mar 2024, 18:09:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usfd8m$1p8cg$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer