Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

This article investigates religious ideals persistent in the datafication of information society. Its nodal point is Thomas Bayes, after whom Laplace names the primal probability algorithm. It reconsiders their mathematical innovations with Laplace's providential deism and Bayes' singular theological treatise. Conceptions of divine justice one finds among probability theorists play no small part in the algorithmic data-mining and microtargeting of Cambridge Analytica. Theological traces within mathematical computation are emphasized as the vantage over large numbers shifts to weights beyond enumeration in (...) probability theory. Collateral secularizations of predestination and theodicy emerge as probability optimizes into Bayesian prediction and machine learning. The paper revisits the semiotics and theism of Peirce and a given beyond the probable in Whitehead to recontextualize the critiques of providence by Agamben and Foucault. It reconsiders datafication problems alongside Nietzschean valuations. Religiosity likely remains encoded within the very algorithms presumed purified by technoscientific secularity or mathematical dispassion. (shrink)