Gabriela Campero / Facultad de Ciencias de la UNAM
27 de mayo de 2021
Resumen: Haremos un viaje turístico a los fundamentos de las matemáticas. Visitaremos el concepto de consistencia para teorías en lógica matemática, la idea de lo que es un modelo para estas teorías, y la noción de independencia de un enunciado con respecto a una teoría. Inspeccionaremos ejemplos en geometría, aritmética de Peano y teoría de conjuntos, aprovechando para pasear por algunos de los eventos de la labor matemática que dieron nacimiento a estos conceptos.
Temas: