Mathematics is actually the easiest thing to formalize. It's just the standards ... | Hacker News

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

		triknomeister 5 months ago \| parent \| context \| favorite \| on: Project to formalise a proof of Fermat’s Last Theo... Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.

lgas 4 months ago [–]

Isn't mathematics the only thing that it's possible to formalize? Doesn't the process of formalizing something else turn it into mathematics?

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