Topologías que surgen de la lógica

Ponente(s): Fernando Cocoletzi Adame, José Juan Angoa Amador

El considerar a los operadores lógicos en un contexto algebraico permite encontrar estructuras de órdenes parciales y retículas, las cuáles conducen a ejemplos de espacios topológicos (que no son Hausdorff) y que son relevantes en el contexto de las ciencias de la computación. Se seguirá una presentación dada por S. Vickers en el libro Topology via logic: se presentarán algunas motivaciones y definiciones y finalmente se ejemplificará cómo puede modelarse con dichos conceptos en un nivel básico el flujo de datos bit a bit en una computadora.