| ▲ | triknomeister 5 days ago | |
Mathematics is actually the easiest thing to formalize. It's just the standards of formalization are much higher. | ||
| ▲ | lgas 3 days ago | parent [-] | |
Isn't mathematics the only thing that it's possible to formalize? Doesn't the process of formalizing something else turn it into mathematics? | ||