Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DDD specifies recursive emulation to HHH and halting to HHH1 Date: Sat, 29 Mar 2025 14:03:20 -0500 Organization: A noiseless patient Spider Lines: 31 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 29 Mar 2025 20:03:22 +0100 (CET) Injection-Info: dont-email.me; posting-host="25098614a506fec9a884b9c00c7b5ec8"; logging-data="2067177"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/c7WSBVS7WILw31zZoczq4" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:jUVcKTuyYkOVHRnDQjJxsBxiPS0= X-Antivirus-Status: Clean Content-Language: en-US X-Antivirus: Norton (VPS 250329-4, 3/29/2025), Outbound message In-Reply-To: Bytes: 3314 On 3/29/2025 10:23 AM, dbush wrote: > On 3/29/2025 11:12 AM, olcott wrote: >> On 3/28/2025 11:00 PM, dbush wrote: >>> On 3/28/2025 11:45 PM, olcott wrote: >>>> >>>> It defines that it must compute the mapping from >>>> the direct execution of a Turing Machine >>> >>> Which does not require tracing an actual running TM, only mapping >>> properties of the TM described. >> >> The key fact that you continue to dishonestly ignore >> is the concrete counter-example that I provided that >> conclusively proves that the finite string of machine >> code input is not always a valid proxy for the behavior >> of the underlying virtual machine. > > In other words, you deny the concept of a UTM, which can take a > description of any Turing machine and exactly reproduce the behavior of > the direct execution. I deny that a pathological relationship between a UTM and its input can be correctly ignored. When this pathological relationship changes this behavior we cannot simply pretend that the behavior is not changed. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer