[EstudiantesMatemática]Seminario de Lógica

[luciana vitale]

Hola a todos,
   Para este semestre se está organizando un seminario de lógica. El mismo
va a estar a cargo de Mauricio Guillermo y Mariana Haim.

   El objetivo es ver la prueba del teorema de Gödel (
http://es.wikipedia.org/wiki/Kurt_G%C3%B6del ), siguiendo el libro de
Ebbinghaus-Flum-Thomas, *Mathematical Logic*.

   Se va a hacer una reunión inicial en ingeniería, el viernes 17 de abril a
las 11.00 para fijar horarios y presentar el seminario. Nos encontramos en
el pasillo del IMERL, aunque probablemente el seminario se desarrolle en
ciencias.

   Todos los interesados que no puedan ir a la reunión inicial, manden un
mail con sus preferencias de horarios a vitale.lu en gmail.com

Saludos, Luciana.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: http://www.cmat.edu.uy/pipermail/listaestudiantes/attachments/20090412/952305a2/attachment.htm