7 ms·
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.
by triknomeister 1y ago
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.
- lgas 1y agoIsn't mathematics the only thing that it's possible to formalize? Doesn't the process of formalizing something else turn it into mathematics?