Comment by triknomeister
6 months ago
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.
6 months ago
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.
Isn't mathematics the only thing that it's possible to formalize? Doesn't the process of formalizing something else turn it into mathematics?