Deutsch   English   Français   Italiano  
<usgham$20e93$3@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott2@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: =?UTF-8?Q?Re=3A_Working_out_the_details_of_the_steps_of_=C4=A4=2EH_?=
 =?UTF-8?B?4p+oxKTin6kg4p+oxKTin6kgPMSkPiDiiqIqIMSkLkhxbg==?=
Date: Fri, 8 Mar 2024 20:25:26 -0600
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <usgham$20e93$3@dont-email.me>
References: <usd5ot$a7f$1@reader1.panix.com> <usesk9$1lk0a$1@dont-email.me>
 <usfclk$1p8cg$2@dont-email.me> <MmIGN.375143$vFZa.293337@fx13.iad>
 <usfkcd$1rdpp$2@dont-email.me> <9YIGN.461274$c3Ea.142857@fx10.iad>
 <usfo8t$1s1nb$4@dont-email.me> <usfsfn$18eqv$4@i2pn2.org>
 <usg097$1trf3$1@dont-email.me> <usg1kc$18jtf$1@i2pn2.org>
 <usg3v4$1uh5a$1@dont-email.me> <usg70f$18p2b$1@i2pn2.org>
 <usgac0$1vlpm$1@dont-email.me> <usgddc$18p2c$1@i2pn2.org>
 <usgfhh$20e93$1@dont-email.me> <usggq7$18p2c$2@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 9 Mar 2024 02:25:26 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="7bba1e21ad186023a2af4b4bf0f27e98";
	logging-data="2111779"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/K4wdU06oJahc7f8sXA+dF"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KR2SeVY0dj+TMg1bDabsEkFhD5U=
In-Reply-To: <usggq7$18p2c$2@i2pn2.org>
Content-Language: en-US
Bytes: 2738

On 3/8/2024 8:16 PM, Richard Damon wrote:
> On 3/8/24 5:54 PM, olcott wrote:
>> H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> must report on what happens in the pathological program.
>> When we specify how the pathological program will transition to Ĥ.Hqn
>> then we know what H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> will see and how it will report.
>>
>>
> 
> The problem is that the direct application of the Linz Turing Machine 
> template doesn't generate the Pathological Olcott-Machine template, 
> because their execution semantics are diffferent, due to the 
> modification caused by the master UTM.

Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> is smarter than Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ can possibly be.

> The actual Pathological input for Olcot-Machines needs to get to the 
> state H^.H with (H^) (H^) <H> on the tape, 

That is not how Olcott machines are stipulated to operate.
Ĥ ⟨Ĥ⟩ has <Ĥ> appended to its own tape.
H ⟨Ĥ⟩ ⟨Ĥ⟩ has <H> appended to its own tape.

*You are just ignoring how Olcott machines are specified to work*

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