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…
Dissertation by Pablo Ventura
We are glad to invite you to the dissertation by Pablo Ventura, presenting his thesis “Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden” (Algorithms deciding definability of relations in fragments of first-order logic), under the supervision of Miguel Campercholi. This…
Congratulations to Pablo Ventura!
We want to congratulate Pablo Ventura for being awarded with a Conicet PhD scholarship spanning 5 years. This is a result of the ongoing research project with his adviser, Miguel Campercholi. Happy research! Queremos felicitar a Pablo Ventura por haber obtenido una beca doctoral…
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),…
TCD en el IMAL
El pasado seis de noviembre Pedro Sánchez Terraf viajó al Instituto de Matemática Aplicada del Litoral (IMAL) en Santa Fe invitado a dar una charla en el marco del ciclo de conferencias semanales del Seminario “Carlos Segovia Fernández”. El título y resumen de…
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)…