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

On 2024-07-14 14:15:45 +0000, olcott said:

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.

No, it is false. What the input specifies is a property of the input alone.
Whether some HHH is able to process it without looping forever is not a
property of the input and not relevant to the meaning of the input.
--
Mikko