XPost: comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-19, olcott  wrote:   
   > On 11/19/2025 10:28 AM, Tristan Wibberley wrote:   
   >> On 17/11/2025 23:49, Kaz Kylheku wrote:   
   >>   
   >>> [Mocking Olcott:] the foundational assumptions of computation   
   >>> are things like EAX and EIP registers of the 32 bit x86 processor.   
   >>   
   >> It's an interesting philosophy. What is computation founded on but   
   >> formal reduction machines and—I /add/ also—systems of reasoning that may   
   >> be applied to them. In the latter lies philosophy under eternal doubt.   
   >>   
   >>   
   >   
   > The x86 language can be construed as a formal   
   > mathematical language that maps quite well to   
   > the RASP machine architecture.   
      
   More like, now that the bogus claims about Halt7.obj have been shot   
   down, and anyone can easily follow along and kick a ball through   
   it from 20 meters away, it's time to move the goalposts.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)