[EstudiantesMatemática] Fwd: Curso de Matematica Reversa

[mauricio en cmat.edu.uy]

----- Forwarded message from mauricio en cmat.edu.uy -----
     Date: Mon, 14 Feb 2011 23:26:29 -0200
     From: mauricio en cmat.edu.uy
  Subject: Curso de Matematica Reversa
       To: todos en cmat.edu.uy
       Cc: todos_imerl en fing.edu.uy, todos_inco en fing.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>>


----- End forwarded message -----


----------------------------------------------------------------
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>>