[Todos CMAT] Curso de Matematica Reversa

[mauricio en cmat.edu.uy]

Estimados,


             Tengo el agrado de invitarlos al curso de Matematica  
Reversa que dictara el profesor Antonio Montalban (Universidad de  
Chicago) en el CMat (Facultad de Ciencias).  El profesor Montalban es  
un destacado matematico uruguayo, especializado en teoria de la  
recursion (se adjunta cv).

*****************************************************************************
Programa:

Estudiaremos los principales sub-sistémas de la aritmética de segundo orden.
Éstos son: Comprensión recursiva, el lema de König débil, comprensión
aritmética,  recursión transfinita aritmética, y comprensión Pi-1-1.
La gran mayoría de los teoremas de matemática en general son
equivalentes a uno de estos cinco sistemas. Mostraremos varios
ejemplos de este fenómeno provenientes de distintas áreas de la
matemática.

Requerimientos: Conocimiento básico de lógica de primer orden, como el
teorema de compacidad y el teorema de completitud. Conocimientos
básicos de computabilidad, como la nociones de función computable y
conjunto computablemente enumerable.

Bibliografia: Stephen G. Simpson. Subsystems of second order
arithmetic. Perspectives in Logic. Cambridge University Press,
Cambridge, second edition, 2009.

******************************************************************************

El curso esta dirigido especialmente a estudiantes de posgrado e  
investigadores en matematica e informatica.

Comienza en dos semanas, motivo por el cual los invitamos a manifestar  
su interes en el curso respondiendo este mail a mauricio en cmat.edu.uy A  
quienes lo hagan se les agregara a una lista de difusion para  
coordinar una reunion inicial.

Un saludo cordial,

                    MAURICIO.


----------------------------------------------------------------
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy

<<This message was sent using IMP, the Internet Messaging Program>>
------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: cv-montalban-1.pdf
Type: application/aux
Size: 106496 bytes
Desc: no disponible
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20110214/88c05b49/attachment-0001.bin>