Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Richard seems to continue to blatantly lie -- I hope I am wrong about this
Date: Wed, 10 Jul 2024 10:06:47 +0300
Organization: -
Lines: 46
Message-ID: <v6lbu7$1qek5$1@dont-email.me>
References: <v644pn$29t4h$3@dont-email.me> <5e6e8072022c865ced4b1a1de23b786bc05c22ce@i2pn2.org> <v64qr3$2e7d4$1@dont-email.me> <0354c808b6aa23146776ec5ad6eed3b66cab2713@i2pn2.org> <v64tur$2emil$1@dont-email.me> <6020931f5638c63badea7d322cc5c555022c0f40@i2pn2.org> <v6ik5u$199c1$1@dont-email.me> <v6imf9$19np0$1@dont-email.me> <v6jhjl$1ctoi$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 10 Jul 2024 09:06:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2cd9eca14ec5ad66c5912bcb5c796241";
	logging-data="1915525"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19/fQTc/WXiHkBFGs2bw4Zz"
User-Agent: Unison/2.2
Cancel-Lock: sha1:hmZUKViakYVgZbZ2DvHswFx0a0s=
Bytes: 3041

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