It really isn't. Math proofs need to be not only finite but small enough to fit ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		thrown_22 on Sept 14, 2022 \| parent \| context \| favorite \| on: What Gödel Discovered (2020) It really isn't. Math proofs need to be not only finite but small enough to fit in the universe to be discovered. This strictly finite nonsense is a left over from a time when we could only do symbol manipulation with a human brain.

Kranar on Sept 15, 2022 [–]

That could be true, but it has nothing to do with what was being discussed.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact