Forums
New posts
Search forums
Members
Current visitors
Log in
Register
What's new
Search
Search
Search titles only
By:
New posts
Search forums
Menu
Log in
Register
Install the app
Install
Forums
Archive
Archive
C++
Re: Yet another Attempt at Disproving the Halting Problem
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
Reply to thread
Message
[QUOTE="Will Twentyman, post: 1507087"] Since it is not a Theorem, you can't invoke it to prove your case. Worse, if you do invoke it, then any halt analyzer you make has a TM equivalent which, when restricted to TMs, is known to be impossible. I don't recall where you stand right now on the standard case. You have to initialize the arry, not just read from it. [/QUOTE]
Verification
Post reply
Forums
Archive
Archive
C++
Re: Yet another Attempt at Disproving the Halting Problem
Top
