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

Congrats Miguel!

Miguel Campercholi was recently promoted to Independent Researcher in our national research council Conicet (that employs most of the full-time research faculty in our country).

Congratulations to Miguel for this recognition of his sustained work!


Felicitaciones a Miguel por su reciente ascenso en la Carrera del Investigador Científico y Tecnológico a la categoría Independiente. ¡Un reconocimiento bien merecido a su desempeño!

Read more

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