Sujet : Re: Olcott seems to be willfully ignorant --- AKA is Fred a Liar ?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 03. Jul 2024, 19:21:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v644s1$29t4h$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 7/3/2024 1:20 PM, Fred. Zwarts wrote:
Op 03.jul.2024 om 20:04 schreef olcott:
On 7/3/2024 1:01 PM, Fred. Zwarts wrote:
Op 03.jul.2024 om 18:24 schreef olcott:
On 7/3/2024 11:18 AM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 7/3/2024 11:04 AM, Fred. Zwarts wrote:
Op 03.jul.2024 om 17:51 schreef olcott:
On 7/3/2024 10:40 AM, Fred. Zwarts wrote:
>
[ .... ]
>
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
>
*This is the repeating state*
>
But not an *infinitely* repeating state.
>
The criteria that I spent two years writing and the best selling
author of theory of computation textbooks agrees with says nothing
about *infinitely* repeating state.
>
Irrelevant, because that is about a correct simulation. Your simulation
is incorrect, so Sipser does not apply here.
>
OK you are a liar then.
>
I don't think so. There is only one liar on this newsgroup, and it's not
Fred.
>
>
*A liar is anyone that denies this*
>
Another display of lack of correct reasoning.
>
>
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
>
DDD is correctly emulated by HHH which calls an emulated HHH(DDD) to repeat this process until the emulated DDD is aborted.
>
I proved that HHH cannot possibly correctly simulate itself.
>
Liar
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
Your trace confirms my proof.
The full trace shows that the simulation of the simulator is unable to reach the simulation of the 'ret' of the simulated simulator.
Liar
This is further evidence that the ad hominem attack is only used to hide a lack of argumentation.
>
You are unable to show the error in the proof.
If you then repeat 'correctly', who is ignoring the truth?
>
>
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
…