Mathematical Certainty and the Psychology of Proof: When Formal Rigour Amplifies Experiential Uncertainty

Mathematics is often taken as the paradigmatic domain of certainty: its theorems, once proved, are assumed to provide stable and incontrovertible knowledge. Yet the lived practice of doing mathematics—understanding definitions, discovering proofs, and verifying derivations—exposes practitioners to persistent uncertainty, doubt, and affective turmoil. This paper articulates and develops a novel thesis: formal rigour, far from eliminating uncertainty, systematically amplifies specific forms of psychological and epistemic uncertainty during mathematical practice. We analyze the paradoxical relationship between (a) the objective epistemic status of mathematical results and (b) the subjective experience of mathematicians and learners. Combining perspectives from philosophy of mathematics, cognitive science, and affective psychology, we propose a theoretical framework that links formal features of mathematical practice (symbolic abstraction, meta-level reflection, normativity of proof) to cognitive mechanisms (working memory load, metacognitive monitoring, error-sensitivity) and affective responses (anxiety, self-doubt, motivational shifts). We present a structure for empirical investigation, offer formal-conceptual models for the dynamics of uncertainty in proof, and discuss implications for pedagogy, research practice, and the sociology of mathematics. The paper argues that recognizing and theorizing this paradox opens new avenues: a) richer accounts of mathematical creativity and failure; b) refined pedagogical strategies to mitigate burnout and demotivation; and c) normative reflections on standards of rigor and their human costs. The aim is not to deny the epistemic power of formal proof but to integrate the phenomenology of uncertainty into a more human-centered philosophy of mathematics.