Agree, but more specifically Math is clearly about a *human* understanding struc... | Hacker News

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

jvanderbot 86 days ago | parent | context | favorite | on: The fall of the theorem economy

Agree, but more specifically Math is clearly about a human understanding structure of things. Math is basically for humans. It's one of the main reasons understandable proof is so important.

pfortuny 86 days ago [–]

Well, by "understanding" I mean "understanding by humans", indeed.

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