[Todos CMAT] [Defensa de Monografía de grado] Anuncio e invitación.
Ernesto Mordecki
mordecki en cmat.edu.uy
Vie Jul 22 17:16:17 -03 2022
--------- Forwarded message ---------
De: *Mauricio Guillermo* <mguille en fing.edu.uy>
Date: vie, 22 jul 2022 a las 15:12
Subject: [Defensa de Monografía de grado] Anuncio e invitación.
To: todos imerl <todos_imerl en fing.edu.uy>, todos <todos en cmat.edu.uy>,
Comisión de Carrera de Matemática Facultad de Ciencias
<ccmatematica en fcien.edu.uy>
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.
//
--
--
Comisión de Carrera de la Licenciatura en Matemática
Secretaría de Comisiones de Carrera y de Grado
Facultad de Ciencias - Iguá 4225
C.P 11400 Montevideo
Uruguay.
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20220722/587d501c/attachment.html>
Más información sobre la lista de distribución Todos