Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: The philosophy of computation reformulates existing ideas on a new basis ---SUCCINCT Date: Sat, 16 Nov 2024 15:16:49 -0600 Organization: A noiseless patient Spider Lines: 52 Message-ID: References: <8ee04a00a23875dac3d741882bffbdcb81dd7acb@i2pn2.org> <9807cd8f9a43d7c9e9f13c6f113276cfd5f20b97@i2pn2.org> <9e7d357b9e3959bb8394d9bf45e6161a7c9145aa@i2pn2.org> <0a0894cfd14377a9fcf89638c7705420507f571e@i2pn2.org> <463966aff896041f1ea77478554251554a6ef456@i2pn2.org> <9c41d73f0cda8f10434729bdbc0963a95582bd5d@i2pn2.org> <20671ab52fff727d5bcad5a85db05c68774fbbc5@i2pn2.org> <46c9921e9ad206dc2bf178fda7b1d19f94f44829@i2pn2.org> <14e3854f191fe4b808d5efaddefa44f24b9b578a@i2pn2.org> <2047b359b2cdf7863e4d49f17eee006564187ddd@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 16 Nov 2024 22:16:50 +0100 (CET) Injection-Info: dont-email.me; posting-host="16729fe49be52c96931729700fb02df3"; logging-data="229944"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19oprXxrWqcjdfOklHsyNv8" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:Vh2ymO9tj9j+IRKbZz+G6p76uPg= X-Antivirus: Norton (VPS 241116-4, 11/16/2024), Outbound message In-Reply-To: <2047b359b2cdf7863e4d49f17eee006564187ddd@i2pn2.org> Content-Language: en-US X-Antivirus-Status: Clean Bytes: 4328 On 11/16/2024 12:31 PM, joes wrote: > Am Sat, 16 Nov 2024 11:18:33 -0600 schrieb olcott: >> On 11/16/2024 10:51 AM, joes wrote: >>> Am Sat, 16 Nov 2024 09:17:21 -0600 schrieb olcott: >>>> On 11/16/2024 8:26 AM, Richard Damon wrote: >>>>> On 11/16/24 9:09 AM, olcott wrote: >>>>>> On 11/16/2024 6:36 AM, Richard Damon wrote: >>>>>>> On 11/15/24 11:17 PM, olcott wrote: >>>>>>>> On 11/15/2024 10:10 PM, Richard Damon wrote: >>>>>>>>> On 11/15/24 10:57 PM, olcott wrote: >>>>>>>>>> On 11/15/2024 9:39 PM, Richard Damon wrote: >>>>>>>>>>> On 11/15/24 10:32 PM, olcott wrote: >>>>>>>>>>>> On 11/15/2024 9:18 PM, Richard Damon wrote: >>>>>>>>>>>>> On 11/15/24 7:34 PM, olcott wrote: >>>>>>>>>>>>>> On 11/14/2024 8:49 PM, Richard Damon wrote: >>>>>>>>>>>>>>> On 11/14/24 9:38 PM, olcott wrote: >>>>>>>>>>>>>>>> On 11/14/2024 2:33 PM, Richard Damon wrote: >>>>>>>>>>>>>>>>> On 11/14/24 3:28 PM, olcott wrote: >>>>>>>>>>>>>>>>>> On 11/14/2024 2:22 PM, Alan Mackenzie wrote: >>>>>>>>>>>>>>>>>>> joes wrote: > >>> Which HHH does DDD call, the one that aborts? >> This has never made any damn difference. > It absolutely does. If the inner HHH aborts, the outer doesn't need to, > because DDD halts. > >> That I have to keep telling you this seems to indicate that you are a >> liar. > You don't need to. I am talking about the inner H called by D, not the > outermost H simulating D. > *We are not talking any and damn H nitwit* We are talking about the behavior of DDD emulated by any possible encoding of HHH at any level of recursive emulation. (a) HHH must report on the behavior of its input DDD it is ridiculously stupid to think otherwise. int sum(int x, int y) { return x + y; } is only allowed to return 5 for sum(3,2). (b) The behavior of DDD emulated by any HHH no matter how it is encoded or at whatever level of emulation no matter how deep IS ALWAYS EXACTLY THE SAME IN THAT IT CANNOT POSSIBLY REACH ITS OWN "return" FINAL HALT STATE. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer