- Mathematical subfields come and go over the centuries
- What is “mathematical maturity”
- Pre-rigorous
- Rigorous
- Post-rigorous

- Model of the discipline of mathematics, (knowing what is known, knowing where lies opportunities for discovery)
- Definition-theorem structure (c.f. ProofWiki)
- 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.

Advertisements
(function(){var c=function(){var a=document.getElementById("crt-1349101425");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:388248,containerid:"crt-1349101425",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();
(function(){var c=function(){var a=document.getElementById("crt-1341379622");window.Criteo?(a.parentNode.style.setProperty("display","inline-block","important"),a.style.setProperty("display","block","important"),window.Criteo.DisplayAcceptableAdIfAdblocked({zoneid:837497,containerid:"crt-1341379622",collapseContainerIfNotAdblocked:!0,callifnotadblocked:function(){a.style.setProperty("display","none","important");a.style.setProperty("visbility","hidden","important")}})):(a.style.setProperty("display","none","important"),a.style.setProperty("visibility","hidden","important"))};if(window.Criteo)c();else{if(!__ATA.criteo.script){var b=document.createElement("script");b.src="//static.criteo.net/js/ld/publishertag.js";b.onload=function(){for(var a=0;a<__ATA.criteo.cmd.length;a++){var b=__ATA.criteo.cmd[a];"function"===typeof b&&b()}};(document.head||document.getElementsByTagName("head")[0]).appendChild(b);__ATA.criteo.script=b}__ATA.criteo.cmd.push(c)}})();