A arxiv.org Non-computability of solutions of certain equations on digital computers (2022) 88 points lisper 2 years ago 102 comments
