wrongtool.kostadis.com
Automation of Mathematics
Many moons ago, I read a book about Admiral Pointdexter, and in this book, there was a reference to his Ph.D. in physics. What struck me was that the Ph. D. was a computation. He did the work of a …