A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics
[chapter]
2014
New Directions in the Philosophy of Science
Preserved Fulltext
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