Hacker News new | ask | show | jobs
by blonde_ocean 1984 days ago
How else do you prove something using the halting problem other than a proof of contradiction?