Login
From:
Mathematics without Apologies, by Michael Harris
(Uncensored)
subscribe
Can mathematics be done by machine? I. | Mathematics without Apologies, by Michael Harris
https://mathematicswithoutapologies.wordpress.com/2021/11/03/8129/
links
backlinks
Tagged with:
silicon reckoner
Roast topics
Find topics
Find it!
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…
