Theorems as meaningful cultural artifacts: Making the world additive

Abstract

Mathematical theorems are cultural artifacts and may be interpreted much as works of art, literature, and tool-and-craft are interpreted. The Fundamental Theorem of the Calculus, the Central Limit Theorem of Statistics, and the Statistical Continuum Limit of field theories, all show how the world may be put together through the “arithmetic addition” of suitably prescribed parts (velocities, variances, and renormalizations and scaled blocks, respectively). In the limit — of smoothness, statistical independence, and large N — higher-order parts, such as accelerations, are, for the most, part irrelevant, affirming that, in the end, most of the world's particulars may be averaged over (a very un-Scriptural point of view). (We work out all of this in technical detail, including a nice geometric picture of stochastic integration, and a method of calculating the variance of the sum of dependent random variables using renormalization group ideas.) These fundamental theorems affirm a culture that is additive, ahistorical, Cartesian, and continuist, sharing in what might be called a species of modern culture. We understand mathematical results as useful because, like many other such artifacts, they have been adapted to fit the world, and the world has been adapted to fit their capacities. Such cultural interpretation is in effect motivation for the mathematics, and might well be offered to students as a way of helping them understand what is going on at the blackboard. Philosophy of mathematics might want to pay more attention to the history and detailed technical features of sophisticated mathematics, as a balance to the usual concerns that arise in formalist or even Platonist positions.