1. The New Light, 2013.
2. Logic Piano, 2014.
3. Intuitive Proof, 2015.
Two years ago, I found a quote from the time of the World’s Fair. I bring up this quote due its bizarre conjecture. The quote relates to the abandonment of skills in our society. Though an input goes in, and results in the output, where’s the process the determines and explains the output? We end up seeing things for less than they are. It all becomes mystical, because society doesn’t understand the inner working anymore. What becomes of society when this continues?
“Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means. The geometer might be replaced by the “logic piano” imagined by Stanley Jevons; or, if you choose, a machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.”
Quoted in J R Newman, The World of Mathematics (New York 1956).