Path: ...!eternal-september.org!feeder2.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: comp.theory Subject: Re: The philosophy of computation reformulates existing ideas on a new basis ---x86 code is a liar? Date: Fri, 8 Nov 2024 10:22:05 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: References: <0cdb23355b23731751b9614543e8a1c257214b5a@i2pn2.org> <157b13f5b452420f1bb20db458bfa7b952449ecf@i2pn2.org> <585823321cf0a5e579b855438cfbf93229b233ee@i2pn2.org> <4cb98b3918d6745f53bb19582b59e786d4af5022@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 8 Nov 2024 10:22:05 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1499673"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2459 Lines: 12 Am Thu, 07 Nov 2024 21:56:59 -0600 schrieb olcott: > On 11/7/2024 9:10 PM, Richard Damon wrote: >> On 11/7/24 11:31 AM, olcott wrote: >>> >>> DDD emulated by HHH has the property that DDD never reaches its >>> "return" instruction final halt state. >> But DDD emulated by HHH isn't an objective property of DDD. > It a semantic property of that finite string pair. Pair, and not DDD alone. -- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math: It is not guaranteed that n+1 exists for every n.