4 ms·
> Math is the most formal science there is. Can you prove that?
by HenryKissinger 5y ago
> Math is the most formal science there is.
Can you prove that?
- robbedpeter 5y agoFormality is technically the degree of mathiness applied to a domain, since formal logic and any other framework of formalization decomposes to mathematics. So... it's a tautology. Math is the most mathy math. Biology or psychology are less mathy maths. https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... Having provablility holes in the formal system doesn't imply the existence of other systems that could be decomposed from currently known or unknown symbols. In this universe, information at the level of string theory seems to describe the limits, so math, as she is wrote, is as formal as it gets. The map is not the territory, so math, as a map, will always be less "formal" than reality itself. It's pretty firmly in second place, though.
- ttctciyf 5y agoBut if you only have maps and no territory, can you still be said to be doing cartography? :)