Path: ...!news.mixmin.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: Why does Olcott care about simulation, anyway?
Date: Tue, 4 Jun 2024 12:06:55 -0500
Organization: A noiseless patient Spider
Lines: 59
Message-ID: <v3nhjf$gatu$3@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me> <v3jt2s$3qblu$1@dont-email.me>
 <HlGdnbvc3Ly_YsD7nZ2dnZfqn_adnZ2d@brightview.co.uk>
 <v3l0i0$5d3$2@dont-email.me>
 <lBmcnX-HlodbjMP7nZ2dnZfqn_idnZ2d@brightview.co.uk>
 <v3lo7l$3sil$1@dont-email.me> <v3lots$2uv04$14@i2pn2.org>
 <v3lp8g$43oa$2@dont-email.me> <v3lrh9$2uv03$2@i2pn2.org>
 <v3ls46$4h2j$3@dont-email.me> <v3lscq$2uv04$15@i2pn2.org>
 <v3lt08$8gjv$1@dont-email.me> <v3lu0d$2uv03$4@i2pn2.org>
 <v3lv7c$8kuk$2@dont-email.me> <v3lvii$2uv03$7@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 04 Jun 2024 19:06:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e82f76cbf70c4c740fdbf97a3b1eefca";
	logging-data="535486"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/eOjlBrvFFtonQjXklRz5m"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:H/g/TKxGX8FgRFQ2u0zMaJqcdkI=
In-Reply-To: <v3lvii$2uv03$7@i2pn2.org>
Content-Language: en-US
Bytes: 3670

On 6/3/2024 9:53 PM, Richard Damon wrote:
> On 6/3/24 10:47 PM, olcott wrote:
>> On 6/3/2024 9:26 PM, Richard Damon wrote:
>>> On 6/3/24 10:09 PM, olcott wrote:
>>>> On 6/3/2024 8:58 PM, Richard Damon wrote:
>>>>> On 6/3/24 9:54 PM, olcott wrote:
>>>>>> On 6/3/2024 8:44 PM, Richard Damon wrote:
>>>>>>> On 6/3/24 9:05 PM, olcott wrote:
>>>>>>>>
>>>>>>>> *I say that you know you are a liar until after you show the steps*
>>>>>>>
>>>>>>> DD will halt (Remember, I am not saying the somulaiton by HH, but 
>>>>>>> that DD itself will halt).
>>>>>>>
>>>>>>
>>>>>> That IS the strawman deception that might possibly (I hope not)
>>>>>> get you condemned to Hell.
>>>>>>
>>>>>
>>>>> What is strawman about it?
>>>>>
>>>>> I am just using the actual definitions that YOU like to ignore and 
>>>>> make lies about.
>>>>
>>>> You may condemn yourself to Hell by even asking that question.
>>>> I hope not. I myself wouldn't risk it.
>>>>
>>>
>>> I guess you think God hates people who bring out the Truth,
>>>
>>
>> Yet because you know that you keep changing the subject from DD 
>> correctly simulated by HH to the directly executed DD(DD)
> 
> Because you keep on mentioning about DD Halting, 
> which IS about the direct execution of DD

Only when one contradicts the definition of a decider that must
compute the mapping FROM ITS INPUTS BASED ON THE ACTUAL BEHAVIOR
OF THESE INPUTS (as measured by DD correctly simulated by HH).

When we go ahead and contradict this definition then the
*HALTING PROBLEM IS STILL WRONG IN A DIFFERENT WAY*

When D is defined to do the opposite of whatever yes/no
an answer that H provides then the counter-example input
is precisely isomorphic to the question:
Is this sentence: "This sentence is not true." true or false?

The theory of computation may be ignorant of the details of
how the context of who is asked a question changes the meaning
of this question, none-the-less this cannot be ignored.
It is and remains incorrect for the theory of computation
to ignore this.

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