Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: D correctly simulated by H never halts
Date: Tue, 28 May 2024 18:36:35 -0700
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <v360r4$v46o$1@dont-email.me>
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>
 <adcf639d3eb8b07f6e335ceae134b3c1d5e93462.camel@gmail.com>
 <v35oca$q5b6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 29 May 2024 03:36:36 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5e0f90a3b8af6dfd1735edf2e33f3d03";
	logging-data="1020120"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19kuHa+XGOguMPq5PmsINZsYhaKvjCcsiA="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:CIr0r93/vEbpbIoB61UX6tqB2cQ=
In-Reply-To: <v35oca$q5b6$1@dont-email.me>
Content-Language: en-US
Bytes: 2194

On 5/28/2024 4:12 PM, olcott wrote:
> On 5/28/2024 5:24 PM, wij wrote:
>> On Tue, 2024-05-28 at 17:12 -0500, olcott wrote:
>>> On 5/28/2024 3:11 PM, Chris M. Thomasson wrote:
>>>> On 5/28/2024 7:11 AM, olcott wrote:
>>>> [...]
>>>>> H is a pure simulator or a pure function.
>>>> [...]
>>>> 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.
>>>
>>
>> Obvious it is not. You are hiding your lies and expect people lies the 
>> same!!!
>>
> 
> I can't possibly be lying about a hypothetical example.
> What if squares were round? cannot possibly be a lie.
> 

Did you code up H?