<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frans, Joachim</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">345–360</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frans, Joachim</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mechanistic Explanation and Explanatory Proofs in Mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophia Mathematica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">231–248</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Although there is a consensus among philosophers of mathematics and mathematicians that mathematical explanations exist, only a few authors have proposed accounts of explanation in mathematics. These accounts fit into the unificationist or top-down approach to explanation. We argue that these models can be complemented by a bottom-up approach to explanation in mathematics. We introduce the mechanistic model of explanation in science and discuss the possibility of using this model in mathematics, arguing that using it does not presuppose a Platonist view of mathematics and allows one to gain insight into why a theorem is true by answering what-if-things-had-been-different questions.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frans, Joachim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Game of Fictional Mathematics. Review of Mathematics and Reality by Mary Leng</style></title><secondary-title><style face="normal" font="default" size="100%">Constructivist Foundations</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">8</style></volume><pages><style face="normal" font="default" size="100%">126–128</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Leng attacks the indispensability argument for the existence of mathematical objects. She offers an account that treats the role of mathematics in science as an indispensable and useful part of theories, but retains nonetheless a fictionalist position towards mathematics. The result is an account of mathematics that is interesting for constructivists. Her view towards the nominalistic part of science is, however, more in conflict with radical constructivism.&lt;/p&gt;</style></abstract></record></records></xml>