Spanish philosopher and historian of mathematics. Born in Santiago de Compostela, he lives and works in Sevilla.