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.
[ Parent
| on HN ]
There are no comments on this comment yet.