Deutsch   English   Français   Italiano  
<v6m2nn$1tj30$5@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Richard seems to continue to blatantly lie -- I hope I am wrong
 about this
Date: Wed, 10 Jul 2024 08:35:51 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <v6m2nn$1tj30$5@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> <v6lbu7$1qek5$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 10 Jul 2024 15:35:51 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5";
	logging-data="2018400"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18znkoidtg3/euV1gXNADRB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:w11/BWqUGksLSXOi9IRz94LQPRk=
In-Reply-To: <v6lbu7$1qek5$1@dont-email.me>
Content-Language: en-US
Bytes: 3119

On 7/10/2024 2:06 AM, Mikko wrote:
> On 2024-07-09 14:31:17 +0000, olcott said:
>>
>> 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.
> 

*C is about the simplest full programming language that exists*
Once you understands sequence, selection, iteration and
function calls you know the essence of the whole language.

>> 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.
> 

It is impossible to have any meaningful conversation about
programming with someone that knows nothing about this.

All that you need to understand is that the first
four instructions of DDD correctly emulated by HHH
do some housekeeping and then call HHH(DDD) with
no conditional branch escape from endless repetition.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]

*The C code says this even more simply*
void DDD()
{
   HHH(DDD);
}

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer