-
19Numerical solving of equations in the work of José Mariano VallejoArchive for History of Exact Sciences 61 (5): 537-552. 2007.The progress of Mathematics during the nineteenth century was characterised both by an enormous acquisition of new knowledge and by the attempts to introduce rigour in reasoning patterns and mathematical writing. Cauchy’s presentation of Mathematical Analysis was not immediately accepted, and many writers, though aware of that new style, did not use it in their own mathematical production. This paper is devoted to an episode of this sort that took place in Spain during the first half of the cent…Read more
-
67On Bourbaki’s axiomatic system for set theorySynthese 191 (17): 4069-4098. 2014.In this paper we study the axiomatic system proposed by Bourbaki for the Theory of Sets in the Éléments de Mathématique. We begin by examining the role played by the sign \(\uptau \) in the framework of its formal logical theory and then we show that the system of axioms for set theory is equivalent to Zermelo–Fraenkel system with the axiom of choice but without the axiom of foundation. Moreover, we study Grothendieck’s proposal of adding to Bourbaki’s system the axiom of universes for the purpo…Read more
-
Europa ¿tierra de misión? La evangelización del viejo continenteVerdad y Vida 58 (229): 491-512. 2000.
St. Louis, Missouri, United States of America