Liste des Groupes | Revenir à c theory |
On 16/05/2025 02:21, olcott wrote:When I prove that HHH/DD meets those words andOn 5/15/2025 6:57 PM, Richard Heathfield wrote:...and some more, but starting with that one.On 16/05/2025 00:43, olcott wrote:>On 5/15/2025 6:18 PM, Richard Damon wrote:>On 5/15/25 4:47 PM, olcott wrote:>I 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.
>
In other words you believe that professor Sipser
screwed up when he agreed with these exact words.
Or maybe he just knows what 'if' means.
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If
Les messages affichés proviennent d'usenet.