Post #3334673

@dougmerritt@mathstodon.xyz IMHO: Either all formal science is mathematics, or you must subjectively carve something out as non-mathematics for cultural and methodological reasons that are not well-defined. Formal sciences: math, logic, statistics, theoretical computer science, game theory, decision theory, systems theory, theoretical linguistics, information theory, etc. My wide definition: Anything formal with formal and abstract theorems where playing with the formal system alone is interesting even after all references to the external world are removed (this definition excludes activities with formal systems like programming or playing chess, but includes theoretical sides of analyzing those systems.)