4 ms·
In addition to @sebatos response, I'd add that a formal system is nothing than an abstraction of some concrete problem.
by hasenj 11y ago
In addition to @sebatos response, I'd add that a formal system is nothing than an abstraction of some concrete problem.
- lackbeard 11y agoI haven't really thought about it deeply, but I'm pretty sure this isn't true. It seems like mathematicians are often coming up with new proofs and formal systems and only later noticing that they're applicable to some real-world problem.