[Todos CMAT] [Defensa de Monografía de grado] Anuncio e invitación.

[Mauricio Guillermo]

Hola,

El motivo del presente mensaje es invitarles a la defensa de la 
monografía de grado para la obtención del título de Licenciado en 
Matemáticas de Juan Pablo Martínez Delbugio. La defensa será el día 
lunes 25 a la hora 10.00 por videoconferencia de Zoom. El enlace para 
asistir a la defensa es el siguiente:

https://salavirtual-udelar.zoom.us/j/84901099094?pwd=RDIwaUxvWEw1c3RDZ3d1RGtKUkkydz09

Un resumen del trabajo es el siguiente:

/El objetivo de esta monografía es presentar la Realizabilidad Clásica 
de Krivine. Para ello, se comienza introduciendo la Realizabilidad 
(intuicionista) de Kleene y algunos de sus resultados como motivación. 
Luego, se define la Realizabilidad Clásica de Krivine como una semántica 
polivalente de la aritmética de Peano de segundo orden, la cual permite 
interpretar fórmulas como programas de una extensión clásica del cálculo 
lambda, diferenciándose de interpretaciones booleanas como los modelos 
de Tarski/Henkin. Además, se prueba que la realizabilidad es una 
flexibilización de un sistema de tipos y, al mismo tiempo, se la 
entiende como una transformación de modelos. Finalmente, se presentan 
algunas consecuencias, como la existencia de enteros no estándar en 
algunos modelos de realizabilidad, la posibilidad de realizar el 
análisis clásico y algunos resultados del problema de especificación que 
busca caracterizar los programas en el valor de verdad de una fórmula a 
través de su comportamiento computacional./

Cordiales saludos,

Mauricio GUILLERMO.

//

------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20220722/86b667fb/attachment.html>