Hacker News new | ask | show | jobs
by gprisament 5988 days ago
This diagonal method is also how you can prove the halting problem is unsolvable.