Re: Liar detector: Fred, Richard, Joes and Alan --- Ben's agreement

On 7/14/2024 2:43 AM, Mikko wrote:

On 2024-07-13 12:07:18 +0000, olcott said:
 

On 7/13/2024 2:48 AM, Mikko wrote:

On 2024-07-12 13:07:13 +0000, olcott said:
>

On 7/12/2024 2:49 AM, Mikko wrote:

On 2024-07-11 14:40:50 +0000, olcott said:

>
It is a hierarchy of prerequisites of knowledge.
Before anyone can understand a simulating termination
analyzer based on an x86 emulator they must understand
(1) x86 emulation
(2) Termination Analysis.

>
The order should be:
(1) termination analysis and termination analyzer,
(2) simulating termination analyzer,
(3) x86,
(4) x86 emulation,
(5) simulating termination analyzer based on an x86 emulator.
>

>
*That order has proven to not work*
People are getting stuck on x86 emulation.

>
In that case it is likely that no order that contains x86 emulation at
any point will not work.
>

>
I explained x86 emulation in terms of a C language interpreter
and the one detail of the x86 language that must be understood
(the function calling convention) so that C programmers can
understand the first half of my paper.
>
Simulating Termination Analyzer H is Not Fooled by Pathological Input D
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
>
All of the rebuttals of my work remain anchored in disagreeing
with the x86 language, they have no other basis.

 The main error in your atricle is lack of proofs (i.e., sequences of
sentences that are either presented as assumtions or derived from
earlier sentences in the proof with truth preserving transformations).
In addtion, many of the defects already pointed out are still there.
 

*You can comprehend this is a truism or fail to*
*comprehend it disagreement is necessarily incorrect*
Any input that must be aborted to prevent the non
termination of HHH necessarily specifies non-halting
behavior or it would never need to be aborted.
Disagreeing with the above is analogous to disagreeing
with arithmetic.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer