Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH Date: Wed, 14 May 2025 18:57:16 -0500 Organization: A noiseless patient Spider Lines: 30 Message-ID: <1003aks$2ojhd$2@dont-email.me> References: <1000dlc$21dtc$5@dont-email.me> <1000qdb$24gr3$4@dont-email.me> <1000rir$24jh0$3@dont-email.me> <1000rqc$24gr3$7@dont-email.me> <1000son$24sr2$3@dont-email.me> <7947826fb84c9c8db49c392b305d395c3669907f@i2pn2.org> <1002dre$2i4bk$14@dont-email.me> <1002vp2$2mbr6$3@dont-email.me> <10030c3$2mivc$3@dont-email.me> <87h61mang3.fsf@nosuchdomain.example.com> <100348f$2mtsb$7@dont-email.me> <878qmyahdf.fsf@nosuchdomain.example.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 15 May 2025 01:57:17 +0200 (CEST) Injection-Info: dont-email.me; posting-host="66a8f7019eb14522c3a913b396c0eecb"; logging-data="2903597"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/SZ64n0nDr0D8SfOnrRUHl" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Pdjkwa9Kun2+bbRe9l9/8KUD0ug= X-Antivirus-Status: Clean X-Antivirus: Norton (VPS 250514-4, 5/14/2025), Outbound message Content-Language: en-US In-Reply-To: <878qmyahdf.fsf@nosuchdomain.example.com> On 5/14/2025 6:43 PM, Keith Thompson wrote: > olcott writes: > [...] >> HHH does correctly simulate DDD until >> HHH correctly determines that its simulated DDD >> would never stop running unless aborted. > [...] > > And my understanding is that it is mathematically impossible for HHH > to do what you claim it does, That is ridiculous as you already acknowledged. void DDD() { HHH(DDD); return; } It is dead obvious to any expert in C to correctly determine that DDD cannot possibly stop running when HHH is a pure simulator. HHH merely needs to see this exact same DEAD OBVIOUS thing. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer