Charla 113: Libertad de formalismo, algunos ejemplos


Date
2023-04-19

Conferencista: José Nicolás Nájar Salinas. Universidad de América. Egresado Uptc.

Fecha: Miércoles 19 de abril de 2023, 3:00 p.m.

Lugar: C-119

Resumen: El entender las estructuras matemáticas, desde un punto de vista semántico, sin necesidad de recurrir a una lógica explícita con la cual se puedan describir dichas estructuras, es de gran relevancia en el quehacer matemático contemporáneo. En esta charla ahondaremos en esta idea en el contexto de Clase Elemental Abstracta con ayuda de ejemplos que están completamente ligados a una lógica como la clase de estructuras de modelos de teorías de primer orden tales como los cuerpos algebraicamente cerrados o los órdenes densos sin extremos, hasta ciertas clases de módulos que no cuentan con una lógica explícita que nos permita describirlos.

Related