The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics [chapter]

Liesbeth De Mol
2014 New Directions in the Philosophy of Science  
Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather than existence statements, definitions that are formalized rather than behavioristic, local rather than global phenomena, the limited rather than the infinite, the concrete rather than the abstract, and one could almost say, the scientific rather than the artistic. Lehmer (1966)
doi:10.1007/978-3-319-04382-1_2 fatcat:kg66xyt7dngannkr45q4pygv2m