Un viaje al centro de los fundamentos
Ponente: Gabriela Campero
Institución: Facultad de Ciencias de la UNAM
Institución: Facultad de Ciencias de la UNAM
Cuándo |
27/05/2021 de 16:00 a 17:00 |
---|---|
Dónde | Facebook live: @HablandoDeMatematicas |
Agregar evento al calendario |
vCal iCal |
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.