Silicon Reckoner
Subscribe
About
Archive
Help
Log in
Share
Silicon Reckoner
What computers will do for, or to, mathematics and mathematicians
Subscribe
Login
Privacy
Terms
Information collection notice
Let me read it first
A Substack newsletter by
Michael Harris
Want the full experience?
Become a paying subscriber
Just join the free list, for now
Learn more
MECHANIZATION OF RIGOR
A presentation at the PhilMath Intersem in Paris in June 2019
Michael Harris
Share
Share
New
What is Silicon Reckoner?
About
Math is from Eros, Computing is from Thanatos
On serendipitous epiphanies, and on what dogs and mathematics have in common
Michael Harris
Aug 31
Share
Share
Book review: The Creativity Code, by Marcus du Sautoy
What exactly is the point of mathematics?
Michael Harris
Aug 18
Share
Share
On the implications of Scholze's liquid tensor experiment
Did it make Lean happy?
Michael Harris
Aug 4
Share
Share
ZEROTH DAY
On AI and pure mathematics
Michael Harris
Jul 21
Share
Share
What computers will do for, or to, mathematics and mathematicians
This is Silicon Reckoner, an opinionated newsletter about the implications of mechanization of mathematics, by Michael Harris: number theorist, Columbi…
Michael Harris
Jul 21
Share
Share
Silicon Reckoner
Subscribe
What is Silicon Reckoner?
Archive
Authors
My Account
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts