Rigor and formalization

This paper critically examines and evaluates Yacin Hamami’s reconstruction of the standard view of mathematical rigor. We will argue that the reconstruction offered by Hamami is premised on a strong and controversial epistemological thesis and a strong and controversial thesis in the philosophy of mind. Secondly, we will argue that Hamami’s reconstruction of the standard view robs it of its original philosophical rationale, i.e. making sense of the notion of rigor in mathematical practice.