Título: Posets asociativos. Resumen: Los conjuntos parcialmente ordenados (posets) están muchas veces asociados a una estructura algebraica. El caso paradigmático de esta relación viene dado por un álgebra de conjuntos con la inclusión y la operación de intersección: a⊆b⟺a∩b=a. En este caso,…
Emmanuel Gunther, 2016-06-15: “Formalización de un framework algebraico para la traducción correcta de lenguajes”.
Next Wednesday, Emmanuel Gunther (FaMAF-UNC) will talk about an application of Universal Algebra to the proof of correctness of a compiler. Título: Formalización de un framework algebraico para la traducción correcta de lenguajes. Resumen: Traducir correctamente expresiones de dos lenguajes distintos es una tarea…
Javier Blanco, 2016-06-01 “Reflexiones acerca de la reflexión”
Today, Javier Blanco will talk about reflection applied to Logic, Computer science and Philosophy. Abstract Proponemos aquí una reflexión meta-teórica acerca de la necesidad y las condiciones de (im)posibilidad de desarrollar teorías reflexivas, es decir, teorías donde su propia formulación pertenezca, de algún modo,…
Miguel Pagano, 2016-05-04: “Introducción a la Teoría de Tipos”
Next Wednesday M. Pagano (FaMAF-UNC) will give us an introduction to the theory of types, which is relevant both for Math and Computer Science, foundationally and in applications. Título: Introducción a la Teoría de Tipos Resumen: Desde comienzos de los 1970 Per Martin-Löf propuso…
Miguel Campercholi, 2016-04-20: “Subálgebras épicas y funciones primitvas positivas”
Next Wednesday M. Campercholi (CIEM-FaMAF) will give us a talk that addresses the problem of characterizing epimorphisms in classes of algebras. Título: Subálgebras épicas y funciones primitvas positivas Resumen: Sean A≤B álgebras y K una clase. Diremos que A es una subálgebra épica de B en K si para cada par de homomorfismos h,h′:B→C, con C∈K, y tales…
Mariana Badano, 2016-04-06: “Platonismo en matemática”
Next Wednesday M. Badano (CIEM-FaMAF) will give us a talk about several views concerning the problem of existence in (the Philosophy of) Mathematics. Título: Platonismo en matemática Resumen: En filosofía de la matemática hay distintas preguntas que pueden ayudarnos a definir una postura. Una de…
Mauricio Tellechea, 2016-03-23: “Una representación por haces modificada”
Next Wednesday M. Tellechea (CIEM-FaMAF) will give us a talk concerning sheaf representations of (universal) algebras, and a modification to attain preservation of equational formulas that define functions. Título: Una representación por haces modificada.Resumen: En esta charla hablaremos de sentencias de definición ecuacional…
Miguel Campercholi, 2015-11-26: “Definibilidad en lógica de primer orden”
Esta semana el Seminario de Lógica se integra al “Día de la Matemática” a realizarse el jueves 26 de noviembre de 14 a 18 hs en el Aula Magna de FaMAF. Esta jornada, a iniciativa de la Comisión Asesora de Matemática (CAM),…
Martín Moroni, 2015-11-11: “Grados de Turing”
Next Wednesday M. Moroni (CIEM-FaMAF) will give us a talk relating descriptive set theory to the Turing degree structure. Título: Grados de Turing Resumen: repasaremos algunos conceptos básicos de teoría de conjuntos descriptiva hasta definir la noción de grados de Turing y…
Pedro Sánchez Terraf, 2015-11-04: “Dos problemas señeros”
Next Wednesday P. Sánchez Terraf (CIEM-FaMAF) will give us a talk presenting two elementary problems with a set-theoretic solution. Título: Dos problemas señeros. Resumen: Discutiré dos problemas de enunciado bastante elemental, pero que su solución requiere el desarrollo (no así axiomas o hipótesis)…