Hacker News new | ask | show | jobs
by ajkjk 357 days ago
I'm saying that if you want to understand why Gödel's theorem is true, look at the one-paragraph proof based on the halting problem, not the like 20-page one with Gödel numbers.