Topología a través de la lógica

"Topología a través de la lógica", organizado por CITMAga. Será impartido por Isaac Carcacía Campos (Investigador colaborador propio do CITMAga). Chair: Jesús Antonio Álvarez López (USC - CITMAga).

Data: Xoves 28 de Setembro

Hora: 17:00 h.

Duración: 1 hora

Lugar: Aula 8, Facultade de Matemáticas USC e en liña (MS Teams)

Abstract:

La noción habitual de topología se construye a partir de la idea de un conjunto con estructura, a menudo definida a través de las nociones de abierto, cerrado, operador clausura, bases o herramientas análogas. A través de ellas podemos definir las propiedades topológicas más habituales como conexidad, frontera, compacidad... Sin embargo es posible introducir tales nociones a partir de estructuras diferentes, en concreto Algebras y Coálgebras de Heyting, ambos casos de estructuras más "débiles" que las Algebras Booleanas. A su vez, ambas nociones tienen una fuerte relación con lógicas no clásicas (intuicionistas y paraconsistentes). El objetivo de la charla será establecer esta forma de establecer las nociones habituales en topología y ver las conexiones que existen entre ambas formas de introducir los conceptos topológicos.