I cannot pretend to truly follow the actual mathematics you linked and summarize... | Hacker News

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

		vanderZwan on Oct 9, 2019 \| parent \| context \| favorite \| on: The Future of Mathematics? [video] I cannot pretend to truly follow the actual mathematics you linked and summarized (I appreciate the attempt!), but the conclusion in the last sentence answers my intended question. Thank you!

lonelappde on Oct 10, 2019 [–]

It's a mistake though. Humans can't prove any of those propositions either.

vanderZwan on Oct 10, 2019 | [–]

Oh. That's kinda typical, hahaha. I guess this topic can get quite subtly and tricky, even for trained mathematicians?

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