home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 57,511 of 59,235   
   olcott to Alan Mackenzie   
   Halting Problem Proof ERROR (2/2)   
   17 Jul 25 09:44:23   
   
   [continued from previous message]   
      
        reach its simulated final halt state of ⟨Ĥ.qn⟩.   
      
   When Ĥ is applied to ⟨Ĥ⟩ and embedded_H is a   
   simulating partial halt decider   
   (a) Ĥ copies its input ⟨Ĥ⟩   
   (b) Ĥ invokes embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩   
   (c) embedded_H simulates ⟨Ĥ⟩ ⟨Ĥ⟩   
   (d) simulated ⟨Ĥ⟩ copies its input ⟨Ĥ⟩   
   (e) simulated ⟨Ĥ⟩ invokes simulated embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩   
   (f) simulated embedded_H simulates ⟨Ĥ⟩ ⟨Ĥ⟩   
   (g) goto (d) with one more level of simulation until   
   *embedded_H sees the repeating pattern and transitions to Ĥ.qn*   
      
   >> --   
   >> Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   >> hits a target no one else can see." Arthur Schopenhauer   
   >   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca