Algunos aspectos de la lógica matemática en la topología, la computación y los fundamentos de la matemática

Proyecto PAPIIT que aborda aplicaciones de la lógica matemática a la topología, ciencias de la computación e inteligencia artificial, así como problemas sobre fundamentos de las matemáticas. Plantea trabajo multidisciplinario (p. ej., prueba de Turing modificada, métodos de Gödel, sistemas de tipos y principios de determinación) y propone actividades académicas para consolidar la lógica matemática como campo de investigación.