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