News for hackers. Stuff that matters.
Re:BusyBeaver(6) Is Quite Large by ajkjk on Saturday June 28, 2025 @04:53PM (#44408100)
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.

There are no comments on this comment yet.