En un seminario anterior, Francisco Trucco presentó el isomorfismo de Curry-Howard y para ello introdujo el cálculo lambda. La noción de cómputo en el cálculo lambda es sintáctica y consiste en reducir paso a paso expresiones. En este seminario, presentaré…
Martín Moroni, 2019-10-09: “Problemas de clasificación y reducciones Borel”
La teoría de conjuntos descriptiva es el estudio de los “conjuntos definibles” en espacios polacos (separables y completamente metrizables), en esta teoría los conjuntos se clasifican en jerarquías según la complejidad de sus definiciones. Una herramienta útil en el área…