Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Anyone that claims this is not telling the truth Date: Sun, 18 Aug 2024 08:03:41 -0500 Organization: A noiseless patient Spider Lines: 33 Message-ID: References: <867e1149d7291cfd965b6974aa22f104635f38aa@i2pn2.org> <116cb41843f55511cf8fa5c2216083136e50c976@i2pn2.org> <624e9a80190b25bac34b8e9ddf095ae1c4aa65d6@i2pn2.org> <5aeaac6d89bca36e2e2564a2e60b6ed346839aab@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 18 Aug 2024 15:03:41 +0200 (CEST) Injection-Info: dont-email.me; posting-host="126bd7503554732891ee2e704ffb1b5d"; logging-data="2496766"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18kby6h8qJwvT0G+GSDKAwu" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:dn4YcKFSxpBvSrrN6hg/X7A0j4o= In-Reply-To: Content-Language: en-US Bytes: 2811 On 8/18/2024 4:10 AM, Mikko wrote: > On 2024-08-17 18:39:47 +0000, olcott said: > >> On 8/17/2024 1:28 PM, Richard Damon wrote: >>> On 8/17/24 2:11 PM, olcott wrote:>>>> >>>> Utterly baseless false assumption that is directly >>>> contradicted by the verified fact that x86utm takes >>>> Halt7.obj as its input data, thus having all of the >>>> machine code of HHH directly available to DDD. >>> >>> But x86utm isn't HHH. >>> >>> >>> x86utm doesn't take "DDD" as its input, but the COFF file that >>> contains the whole problem. >>> >> >> Thus DDD has direct access to HHH in this shared memory space. > > Which does meet the requirements of "emulation". In order to be > a valid emulation the memory space of the emulated system must > be simulated to the extend the emulated program acesses it. > *No: infinite loops need not be infinitely emulated* A process similar to mathematical induction correctly predicts when an unlimited emulation of an input cannot possibly stop running unless aborted. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer