Ilkka Pättiniemi Lately, as one does, I have been reading up on the philosophy, and especially epistemology of mathematics. In doing so, I chanced upon the great, late philosopher of mathematics, Thomas Tymoczko. In his paper “Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof” (1980) Tymoczko gives five very sensible criteria forContinue reading “Tymoczko on the Epistemology of Mathematics”