Hacker News new | ask | show | jobs
by vkazanov 1099 days ago
With an intuitive explanation!
1 comments

"a sequence of thoughts convincing a sound mind" (Gödel 1953, p. 341)