Nombre: Mauricio Torres Villa
Correo electrónico: daguiberto@gmail.com
Acerca de mí: Licenciatura en Matemáticas, FC, UNAM (Tema: Demostraciones elaboradas mediante programas computacionales) Maestría en Filosofía de las Matemáticas, IIF, UNAM (Tema: Teoría del significado inferencialista para el "lenguaje" matemático) Proyecto de Doctorado "Tras el seguimiento de reglas en matemáticas: Un seguimiento histórico de la inducción matemática" (Tema principal: Desarrollo de la inducción matemática hasta su equivalencia con el Buen Orden. Temas secundarios: Seguimiento de una regla -Wittgenstein-, explicación en matemáticas -Bolzano-, semántica inferencialista -Gentzen-) Director del proyecto: Dr. Carlos Alvarez.
No hay comentarios:
Publicar un comentario