Why do I feel oddly satisfied by this news? https://www.quantamagazine.org/teenager-finds-classical-alternative-to-quantum-recommendation-algorithm-20180731/ … (cc @skdh )
Hypercomputation is not constructive. That means there is no language in which a hypercomputer can be built. You have to postulate it as a ready to use black box, but reality must be implemented somehow.
-
-
So a solver for the halting problem would necessarily be a black box.
-
Of course. We can already prove that no discernible mechanism can solve the halting problem. But how would you test that a black box actually solves the halting problem for cases in which you cannot find out if a program halts in any other way?
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.