A arxiv.org Did Turing prove the undecidability of the halting problem? 81 points vitplister 2 years ago 105 comments
