Re: Richard seems to continue to blatantly lie -- I hope I am wrong about this

On 2024-07-09 14:31:17 +0000, olcott said:

On 7/9/2024 1:48 AM, Mikko wrote:

On 2024-07-09 06:09:02 +0000, Barb Knox said:
 

On 04/07/2024 13:53, Richard Damon wrote:

On 7/3/24 9:30 PM, olcott wrote:

On 7/3/2024 8:12 PM, Richard Damon wrote:

On 7/3/24 8:36 PM, olcott wrote:

On 7/3/2024 6:18 PM, Richard Damon wrote:

On 7/3/24 2:20 PM, olcott 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

 [...]
 Can someone please explain to me why a discussion of the Halting Problem is using Intel assembly laguage?

 For some people the both Halting Problem and Intel assembly language
are a litte mysterious. Therefore they may think they are related.
 

 The x86utm operating system is a proxy for a UTM and uses C
functions as proxies for Turing Machines and the x86 language
as a proxy for the Turing Machine description language.

The C language and all versions of x86 instruction set are so complcated
that it is harder to prove anything about them.

This provides the means to make every single detail of the
halting problem 100% concrete thus totally eliminating any
false assumptions.

That provides the means to introduce false assumptions without making them
too obvious.
--
Mikko