Comment by triknomeister
2 days ago
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher.
2 days 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?