Hacker News new | ask | show | jobs
by cubefox 1103 days ago
"a sequence of thoughts convincing a sound mind" (Gödel 1953, p. 341)