| Deutsch English Français Italiano |
|
<v367m8$100kd$2@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.lang.c++,comp.lang.c
Subject: Re: D correctly simulated by H never halts
Date: Tue, 28 May 2024 22:33:29 -0500
Organization: A noiseless patient Spider
Lines: 39
Message-ID: <v367m8$100kd$2@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> <v361qv$93c$1@news.gegeweb.eu>
<v3634b$vg63$1@dont-email.me> <v36624$vrvg$1@dont-email.me>
<v367en$100kd$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 05:33:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b7a5feb561e035e50c2e5bc5a99a467f";
logging-data="1049229"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+E0Hu6qqf341PFcuQqrW4R"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2+0yx+iN6vlkpdo2cHMnmfe6G+I=
Content-Language: en-US
In-Reply-To: <v367en$100kd$1@dont-email.me>
Bytes: 2958
On 5/28/2024 10:29 PM, olcott wrote:
> On 5/28/2024 10:05 PM, Chris M. Thomasson wrote:
>> On 5/28/2024 7:15 PM, olcott wrote:
>>> On 5/28/2024 8:53 PM, tTh wrote:
>>>> On 5/29/24 00:12, 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.
>>>>
>>>> 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.
>>>
>>
>> too vague? Oh that is rich.
>
> I had to start specifying the x86 language because dozens of reviewers
> believed that D correctly simulated by H was supposed to report on the
> behavior of non-input: int main() { D(D); }
>
> It was only that I could show that this would require simulating
> the x86 instructions of D incorrectly or in the wrong order that
> I could prove that they were wrong.
*This mistake of theirs was the key rebuttal of my work for two years*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer