Sujet : Re: Pathological self-reference changes the semantics of the same finite string.
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theoryDate : 30. Aug 2024, 08:54:38
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vartrv$da84$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
Op 29.aug.2024 om 20:39 schreef olcott:
On 8/29/2024 1:11 PM, Fred. Zwarts wrote:
Op 29.aug.2024 om 19:53 schreef olcott:
On 8/29/2024 12:39 PM, Fred. Zwarts wrote:
>
> Olcott does not even understand what the semantics of
> the x86 language is. He thinks that a finite string can
> have different behaviours according to the semantics
> of the x86 language, depending on whether it is directly
> executed, or simulated by different simulators, where the
> semantics could be different for each simulator.
Pathological self-reference DOES CHANGE THE SEMANTICS.
"This sentence is not true" is neither true nor false
because it is not a truth bearer.
>
This sentence is not true: "This sentence is not true"
The exact same (finite string) sentence applied to a
copy of itself becomes true because the inner sentence
is not a truth-bearer.
>
You are changing the subject to irrelevant other subjects.
I am provided a specific concrete counter-example that
correctly refutes your claim that finite strings have
the exact same meaning regardless of context.
It is incorrect to ignore context.
You are incorrect to ignore context.
Sometimes context is important, but in the case of the semantics of the x86 language the counter example is irrelevant.
Your counter example is about a self reference, but in HHH there is no self reference.
Maybe *your* HHH has a self-reference, because its own address is programmed in it, but that is just an error in the programming of the code.
A correct decider processes its input, unaware of the fact whether that input contains a copy of its own algorithm.
Saying that HHH cannot answer that because it is a self-reference is the same as saying that the question "Does this person have blue eyes?" cannot be answered because it contains a self-reference if the person happens to be your twin brother.
The fact that the person is your twin brother and that you need eyes to see the colour does not make it a self-reference.
Similarly, when HHH decided about its *input*, there is no self-reference, even if the input uses the same algorithm as used inside HHH.
You are incorrect that the context would change the semantics of the x86 language. The only evidence for your claim is an irrelevant counter-example.