One of the distinguishing features of mathematics is the exceptional level of consensus among mathematicians. However, an analysis of what mathematicians agree on, how they achieve this agreement, and the relevant historical conditions is lacking. This paper is a programmatic intervention providing a preliminary analysis and outlining a research program in this direction.First, I review the process of ‘negotiation’ that yields agreement about the validity of proofs. This process most often does generate consensus, however, it may give rise to another (...) kind of disagreement: whether the original and new proof are effectively the same, leading to potential disagreement about the validity of the original proof.Second, I historicize the phenomenon of consensus. I show that in earlier European mathematics and other mathematical cultures, consensus about the validity of arguments was substantially weaker or conceived differently than it is today. This means that contemporary consensus about the validity of mathematical proofs should be explained by historical changes in mathematical practice.Finally, I conjecture what brought about the contemporary form of mathematical consensus. Since a sharp rise in consensus occurs around the turn of the 20th century, it makes sense to explain this consensus by the concurrent formalization of mathematics. However, this explanation has a major flaw: it explains a really existing phenomenon (consensus) by something that hardly ever happens (writing proofs in formal languages). I will therefore explain the ways in which formalization does enter mathematical practice so as to account for contemporary forms of mathematical consensus. (shrink)

Euler developed a program which aimed to transform analysis into an autonomous discipline and reorganize the whole of mathematics around it. The implementation of this program presented many difficulties, and the result was not entirely satisfactory. Many of these difficulties concerned the integral calculus. In this paper, we deal with some topics relevant to understand Euler’s conception of analysis and how he developed and implemented his program. In particular, we examine Euler’s contribution to the construction of differential equations and his (...) notion of indefinite integrals and general integrals. We also deal with two remarkable difficulties of Euler’s program. The first concerns singular integrals, which were considered as paradoxical by Euler since they seemed to violate the generality of certain results. The second regards the explicitly use of the geometric representation and meaning of definite integrals, which was gone against his program. We clarify the nature of these difficulties and show that Euler never thought that they undermined his conception of mathematics and that a different foundation was necessary for analysis. (shrink)