Liste des Groupes | Revenir à c theory |
On 5/15/2025 6:18 PM, Richard Damon wrote:Or maybe he just knows what 'if' means.On 5/15/25 4:47 PM, olcott wrote:In other words you believe that professor SipserI overcome the proof of undecidability of the Halting>
Problem in that the code that
"does the opposite of whatever value that HHH returns"
becomes unreachable to DD correctly simulated by HHH.
Nope, only to youtr INCORRECTLY simuated by HHH.
>
screwed up when he agreed with these exact words.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>That's not a given. It's an 'if'.
If simulating halt decider H correctly simulates its
input D
Les messages affichés proviennent d'usenet.