Formalizing intuition gives insights; opportunities in model of discipline of mathematics result in new intuitions to formalize

We can shoehorn this conversation of discipline and formalization into Hegelian synthesis

Relationship between mathematics and other fields

Explored mathematical subfields occasionally map to generalizable patterns in life (c.f. electrodynamic waves, epidemic propagation)

Explored theorems in mathematics converse with observations

Models are contextualized instances of the definiton-theorem structure

Definition-theorem structure as a language to express objectives in the discipline and in real-world motivations; consider the definition-theorem structure and models a more expressive form of logical structure and syllogistic arguments.

Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here:
Cookie Policy