A place for reactions to and questions about siliconreckoner.substack.com. …beyond my interest in how current trends in mechanization of mathematics force me to sharpen my own understanding of what…| Mathematics without Apologies, by Michael Harris
And what does this have to do with mechanization? …nothing evokes as much hostility among intellectuals as the suggestion that social forces influence or even dictate either the scientific method o…| Mathematics without Apologies, by Michael Harris
Notes of a Columbia course with Gayatri Chakravorty Spivak and special guest Kevin Buzzard Summary Proof, in the form of step by step deduction, following the rules of logical reasoning, is the ult…| Mathematics without Apologies, by Michael Harris