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