Design a site like this with WordPress.com

Consequences of Fallibilism

Ilkka Pättiniemi In my last blog post, I took up the idea that fallibilism should be taken seriously in the philosophy of mathematics. In doing so, I did not mean to imply that philosophers of mathematics (or mathematicians for that matter) deny that we are fallible creatures. Rather, my intent was to state, following Tymoczko,Continue reading “Consequences of Fallibilism”

Tymoczko on the Epistemology of Mathematics

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”