|
Not Ranked
:
+0 / -0
0 score
Re: Halting Undecidability proof faulty?
alexander, i have no doubt that you could write an algorithm that determines whether a particular program will halt, and may even work for 10,000 algorithms. but there will always be a 10,001 algorithm that it doesn't work for.
for example so far i've posted code that the human brain could easily determine would halt or not, but i could just as easily post code that even i couldn't read and determine whether or not it halts, even after running through the loop a few times.
|
