Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.lang.c Subject: Re: D correctly simulated by H never halts Date: Tue, 28 May 2024 20:50:29 -0500 Organization: A noiseless patient Spider Lines: 37 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 29 May 2024 03:50:30 +0200 (CEST) Injection-Info: dont-email.me; posting-host="b7a5feb561e035e50c2e5bc5a99a467f"; logging-data="1023344"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19BzNbuqZb0dZuPIuNRe5Vf" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:cQcrzt6NLHnmRVr3T0gblzvcHAQ= Content-Language: en-US In-Reply-To: Bytes: 2764 On 5/28/2024 8:36 PM, Chris M. Thomasson wrote: > 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? Yes it has been fully operational for a couple of years. I am not an never have been talking about that H in this post. It is really not that hard to understand that H(D,D) simulates the x86 machine code of D with an x86 emulator for finite number of steps. I have taken all of these "struggles" as mere head games. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer