LÓGICA Y COMPUTABILIDAD

Teoría de modelos, teoría de conjuntos, de computabilidad y tópicos relacionados con lógica tales como lógica modal, teoría de pruebas, matemática inversa y aleatoriedad algorítmica.

Esta sesión ha sido incluída como parte de las celebraciones del Alan Turing Year 2012, centenario de la vida y obra de Alan Turing (Logo).

Conferencistas invitados:

-Carlos Areces

FaMAF, Universidad Nacional de Córdoba

- Alf Onshuus Niño

Departamento de Matemáticas Facultad de Ciencias Universidad de los Andes

- Denis Hirschfeldt

Department of Mathematics University of Chicago U.S.A.