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