Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Can D simulated by H terminate normally?
Date: Sun, 28 Apr 2024 10:33:00 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <v0lq7d$14579$2@dont-email.me>
References: <v0k4jc$laej$1@dont-email.me> <v0l11u$ussl$1@dont-email.me>
 <v0lh24$123q3$1@dont-email.me> <v0lic7$2g492$3@i2pn2.org>
 <v0lkas$12q0o$3@dont-email.me> <v0loq2$2g493$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 28 Apr 2024 17:33:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5b5cf6fc6ad4bf43d1327b7299fd7236";
	logging-data="1185001"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18nsGkmeqj7oQObd9ceI0o4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:kH1mVJCRhPmMdxAcuG19mQID2y4=
In-Reply-To: <v0loq2$2g493$1@i2pn2.org>
Content-Language: en-US
Bytes: 2832

On 4/28/2024 10:08 AM, Richard Damon wrote:
> On 4/28/24 9:52 AM, olcott wrote:
>> On 4/28/2024 8:19 AM, Richard Damon wrote:
>>> On 4/28/24 8:56 AM, olcott wrote:
>>>> On 4/28/2024 3:23 AM, Mikko wrote:
>>>>> On 2024-04-28 00:17:48 +0000, olcott said:
>>>>>
>>>>>> Can D simulated by H terminate normally?
>>>>>
>>>>> One should not that "D simulated by H" is not the same as
>>>>> "simulation of D by H". The message below seems to be more
>>>>> about the latter than the former. In any case, it is more
>>>>> about the properties of H than about the properties of D.
>>>>>
>>>>
>>>> D specifies what is essentially infinite recursion to H.
>>>> Several people agreed that D simulated by H cannot possibly
>>>> reach past its own line 03 no matter what H does.
>>>
>>> Nope, it is only that if H fails to be a decider.
>>>
>>
>> *We don't make this leap of logic. I never used the term decider*
>> *We don't make this leap of logic. I never used the term decider*
>> *We don't make this leap of logic. I never used the term decider*
>> *We don't make this leap of logic. I never used the term decider*
> 
> 
> You admit that people see that as being a claim about the Halting 
> Problem, and thus the implied definitons of the terms apply.
> 

The only way to get people to understand that I am correct
and thus not always ignore my words and leap to the conclusion
that I must be wrong is to insist that they review every single
detail of all of my reasoning one tiny step at a time.


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