Next Wednesday P. Ventura (FaMAF-UNC) will talk about his PhD plan. Título: Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas Resumen: Se contarán algunos algoritmos basados en los lemas semánticos presentados por Campercholi y Vaggione para estructuras finitas, en particular para…
Román Sasyk, 2015-10-21: “Clasificación vía Teoría Descriptiva de Conjuntos”
In this opportunity we’ll have a joint seminar with the CIEM Colloquium. It is a pleasure to have Román Sasyk (UBA) next Wednesday. Coloquio: miércoles 21 a las 16hs, aula a confirmarse.Expositor: Román Sasyk, UBA.Título: Clasificación vía Teoría Descriptiva de Conjuntos.Resumen: En esta charla veremos cómo la Teoría Descriptiva…
Sebastián Ferrando, 2015-10-07: “Filosofías de la Teoría de Conjuntos”
Next Wednesday S. Ferrando (FFyH-UNC) will talk about the different philosophical views around the foundations of mathematics. Title: “Filosofías de la Teoría de Conjuntos” Abstract: Las paradojas que surgieron al principio del siglo XX en la Teoría de Conjuntos (Russell,…