De Lutero a Voevodsky, pasando por Brouwer: Reformas en matemáticas Martes, Diciembre 19, 2017 - 09:00