Cuarta sesión del Seminario Lluvioso 2023

• Fecha: 26 de junio de 2023.
• Hora: 16:00.
• Lugar: Virtual.
• Enlace de Zoom: https://us05web.zoom.us/j/83014219101?pwd=bUJUd2RtSU5RZER1ZUk4dmhiZ1hFZz09

La cuarta plática del Seminario Lluvioso 2023.

1. • Ponente: Octavio Alberto Agustín Aquino.
   • Título: El teorema de Löwenheim-Skolem.
   • Resumen: El teorema de Löwenheim-Skolem implica que una teoría consistente de conjuntos con una cantidad contable de axiomas tiene un modelo contable... Lo cual parece paradójico porque en una teoría así es posible demostrar que existen conjuntos ¡que no son contables! Esta es la paradoja de Skolem, y hablaremos un poco a grandes rasgos sobre esta situación.

Si eres alumno de matemática, física o ingeniería y quieres participar en esta o la siguiente temporada con una mini-charla (de entre 10 y 20 minutos), manda tu título y resumen a octavioalberto@mixteco.utm.mx. ¡Te esperamos!