XPost: comp.theory   
   From: polcott333@gmail.com   
      
   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. RASP is Turing   
   equivalent.   
      
   >> You've noted in the past that x86 is over the heads of almost   
   >> everyone in CS academia.   
   >   
   > It is. It's hard. It's so big.   
   >   
      
   The essentials are quite small.   
   MOV   
   JMP and JMP on condition   
   CALL   
   PUSH and POP   
      
   >   
   >> That's also why they are wrong about halting.   
   >   
   > Which specific property about halting or of the reasoning about halting,   
   > though.   
   >   
   >   
   >> They just can't follow simple machine language   
   >                           ^^^^^^   
   > definitely the wrong word, but the clause is true otherwise.   
   >   
   >   
   >> which knocks   
   >> it all down.   
   >   
   > Does he really say that? and what does "knocks it all down" mean anyway?   
   >   
   > (a) disproves the halting theorem   
   > (b) discredits popular wisdom of where to apply the theorem   
   > (c) restricts interpretation of its expression to a philosophically   
   > weaker meaning than is intuitively easy and apparent in literature and   
   > public education   
   > (d) other   
   >   
   >   
   > --   
   > Tristan Wibberley   
   >   
   > The message body is Copyright (C) 2025 Tristan Wibberley except   
   > citations and quotations noted. All Rights Reserved except that you may,   
   > of course, cite it academically giving credit to me, distribute it   
   > verbatim as part of a usenet system or its archives, and use it to   
   > promote my greatness and general superiority without misrepresentation   
   > of my opinions other than my opinion of my greatness and general   
   > superiority which you _may_ misrepresent. You definitely MAY NOT train   
   > any production AI system with it but you may train experimental AI that   
   > will only be used for evaluation of the AI methods it implements.   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)