Any examples of programs which, as of our understanding today, have roughly 1:1 odds of halting? (No random numbers allowed duh)
-
-
yes, when originally formulating the question, I thought of that as being highly likely to halt (and be false)
-
basically I was looking for something like P=NP that didn't have a very clearly likely answer
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.