Path: ...!2.eu.feeder.erje.net!feeder.erje.net!fdn.fr!news.gegeweb.eu!gegeweb.org!.POSTED.173.66.136.77.rev.sfr.net!not-for-mail
From: tTh <tth@none.invalid>
Newsgroups: comp.lang.c
Subject: Re: D correctly simulated by H never halts
Date: Wed, 29 May 2024 05:38:56 +0200
Organization: none
Message-ID: <v3680g$bis$1@news.gegeweb.eu>
References: <v2ns85$1rd65$1@dont-email.me> <v2s46t$2pj9q$2@dont-email.me>
 <v2ud85$396ga$1@dont-email.me> <v2v4r7$3chkl$2@dont-email.me>
 <v2vcud$3dtct$2@dont-email.me> <v2vhsr$3eilv$1@dont-email.me>
 <v2vl9s$3f6bi$1@dont-email.me> <v31hts$3uu5d$1@dont-email.me>
 <v323mi$29pd$3@dont-email.me> <v3474q$hf7u$1@dont-email.me>
 <v34omi$kj65$1@dont-email.me> <v35dpm$od8s$1@dont-email.me>
 <v35ksf$pk0n$1@dont-email.me> <v361qv$93c$1@news.gegeweb.eu>
 <v3634b$vg63$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 29 May 2024 03:38:56 -0000 (UTC)
Injection-Info: news.gegeweb.eu; posting-account="tontonth@usenet.local"; posting-host="173.66.136.77.rev.sfr.net:77.136.66.173";
	logging-data="11868"; mail-complaints-to="abuse@gegeweb.eu"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha256:QpRJTQUVdnsFl6AzFe8qwYWH1QfmLJ/to2nMExjKUgM=
In-Reply-To: <v3634b$vg63$1@dont-email.me>
Content-Language: en-US
Bytes: 2161
Lines: 20

On 5/29/24 04:15, olcott wrote:

>>>> Can you show us a little pseudo code for H?
>>>
>>> Just assume that H is an x86 emulator that emulates
>>> its input function with the input to this function.
>>
>>     Why specially a x86 ? Why not a Sparc or a 68k ?
> 
> To make it 100% concrete so that no one can say I am being
> too vague and that is what the fully operational H does.
> Also I know x86 very well since it was new.

    Oh, by the way, did you know that the C language
    was a "portable assembler" thing ?

-- 
+---------------------------------------------------------------------+
|          https://tube.interhacker.space/a/tth/video-channels        |
+---------------------------------------------------------------------+