A Round Table discussion Saturday October 21, 2:30 PM, at the Helix Center For those of you who will be in New York next weekend: Next Saturday at 2:30 PM I will be participating in a round table d…| Mathematics without Apologies, by Michael Harris
This message, which arrived in my Inbox today, should be of interest to all colleagues who are concerned about the future of scientific publishing, including but not limited to those who signed the…| Mathematics without Apologies, by Michael Harris
William Thurston speaking at Harvard in 2007. Mathematics is unpredictable. That’s what makes it exciting. New things happen. William Thurston, May 14, 2007 It’s a gloomy, rainy, almost wintr…| Mathematics without Apologies, by Michael Harris
A new post on Silicon Reckoner asks whether the Singularity may have come and gone while attention was focused elsewhere.| Mathematics without Apologies, by Michael Harris
In 2018 Harvard held a week-long celebration for Barry Mazur’s 80th birthday. In keeping with Mazur’s wide-ranging interests, and with the title — Mathematics Is a Long Conversation — t…| Mathematics without Apologies, by Michael Harris
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
For mathematical formalists, a proof is a sequence of valid formulas in a symbolic language, each obtained from the previous one (more likely the conjunction of several) by a legal transformation (…| Mathematics without Apologies, by Michael Harris
Any change in technology leads almost inevitably to an improvement in the welfare of some and a deterioration in that of others. To be sure, it is possible to think of changes in production technol…| Mathematics without Apologies, by Michael Harris