Hacker News new | ask | show | jobs
by lgas 307 days 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?