About

These webpages were developed by Pedro ST with some help of the other group members. Special thanks go to Paula Zeballos and the support team at FaMAF for their care and assistance.

The drawings on the background appear in the paper on pages 1-10 of this UMA journal issue, and they picture counterexamples to some incomplete characterizations of factor congruences in semilattices.
semilat_contraejs

The whole site was created using free software.


Some News

Trabajo Final de Ignacio Made.

Los invitamos a la presentación de Trabajo Final de Ignacio Made, hoy lunes a las 18hs en el Aula Magna de FaMAF.

Título: De PH a IP, un curso en Complejidad Computacional.

Autor: Ignacio Made.

Director: Miguel Campercholi.

Read more

Guillermo Incatasciato, 2019-05-20: La idea general detrás del teorema de incompletitud de Gödel

El primer teorema de incompletitud es un importante teorema de la lógica matemática probado por Kurt Gödel en 1931. Este afirma que ningún sistema de axiomas cuyos teoremas pueden ser listados por un procedimiento efectivo es capaz de probar todas las verdades aritméticas de los números naturales. Supuso un duro golpe para el llamado programa de Hilbert para la fundamentación de las matemáticas. En esta oportunidad presentaremos una versión abstracta del teorema dada por Raymond Smullyan, tratando ilustrar la idea esencial de la prueba original de Gödel. 

Read more

Welcome Azul and Guillermo

Two new graduate students have joined our research team. We want to warmly welcome Azul Fatalini and Guillermo Incatasciato; both have been awarded with 5-year Conicet scholarships to obtain a PhD (in Mathematics under P. Sánchez Terraf, and Computer Science under D. Vaggione, respectively.


Dos nuevos estudiantes se sumaron a nuestro grupo de investigación. Queremos darles una cálida bienvenida a Azul Fatalini y Guillermo Incatasciato. Cada uno obtuvo una beca doctoral de Conicet, para trabajar en sus doctorados: en Matemática bajo la dirección de P. Sánchez Terraf, y en Computación bajo la dirección de D. Vaggione, respectivamente.

Read more

Reuniones de Teoría de Conjuntos

Los lunes a las 14:30, en el aula 24 de FaMAF nos estamos juntando a charlar y pensar sobre temas elementales sobre Teoría de Conjuntos. Los requisitos son haber cursado Topología y Funciones reales.

En esta ocasión discutiremos juegos infinitos y los primeros problemas relacionados con ellos. Una introducción a lo que veremos se puede leer aquí. Además, hay abundantes conexiones entre juegos y propiedades como medibilidad Lebesgue, categoría de Baire, y los cardinales grandes (¡pero esto quedará para otra juntada!).

Read more

Trabajo Final: Gonzalo Zigarán.

Tenemos el placer de anunciar la presentación de Trabajo Final de Licenciatura en Matemática de Gonzalo Zigarán, bajo la dirección de Diego Vaggione.

Fecha: Viernes 5 de mayo de 2017 16:30hs.

Lugar: Aula Magna FaMAF.

Título: Algoritmos para representaciones globales
Resumen: Las representaciones globales son de interés por su utilidad en el área de la definibilidad, al preservar propiedades existenciales en los factores. Esta propiedad es la gran diferencia con las representaciones subdirectas, que si bien tienen buenas cualidades de preservación, no nos permiten axiomatizar con sentencias que hablen de existencia de elementos.

El objetivo de este trabajo es aprovechar los resultados con pruebas constructivas para plantear algoritmos en la elaboración de los elementos característicos de una cuasivariedad por representaciones globales (los elementos relativamente globalmente indescomponibles) y también por representaciones subdirectas (los elementos relativamente subdirectamente irreducibles). Por último vamos a presentar unas implementaciones de estos procedimientos en el paquete Definability.

Read more