Sujet : Re: H(D,D) cannot even be asked about the behavior of D(D) V2
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 17. Jun 2024, 15:13:15
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v4pcpb$ln46$6@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 6/17/2024 2:36 AM, Mikko wrote:
On 2024-06-16 14:16:07 +0000, joes said:
Am Sun, 16 Jun 2024 07:44:41 -0500 schrieb olcott:
On 6/16/2024 2:50 AM, Mikko wrote:
On 2024-06-15 13:14:57 +0000, olcott said:
On 6/15/2024 7:19 AM, Mikko wrote:
On 2024-06-15 03:07:14 +0000, olcott said:
On 6/13/2024 8:24 PM, Richard Damon wrote:
> On 6/13/24 11:32 AM, olcott wrote:
>
Whenever a decider is run it answers the question it is made to answer.
Not necessarily. Just because everyone falsely assumes that D correctly
simulated by H must have the same behavior as the directly executed D(D)
does not make this false assumption true.
You still need to explain how you can call a simulation that differs from
the behaviour of its input "correct".
Just reject the idea that the word "correct" or words in general have
anything to do with the real world and the things in it.
It will only address that here
[Simulating termination analyzers for dummies]
It has all of the reasoning in one place not strewn
about here and there.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…