This will be a talk at Thinking about Proofs: Formal, Philosophical, Linguistical and Educational Perspectives on 27th September 2021. You can get the slides here.
Abstract: Are Gettier cases possible in mathematics? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots and norms for actual mathematical practice.