<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hola,</p>
<p>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: <br>
</p>
<p> <a target="_blank" style="word-wrap: break-word;"
href="https://salavirtual-udelar.zoom.us/j/84901099094?pwd=RDIwaUxvWEw1c3RDZ3d1RGtKUkkydz09"
class="moz-txt-link-freetext">https://salavirtual-udelar.zoom.us/j/84901099094?pwd=RDIwaUxvWEw1c3RDZ3d1RGtKUkkydz09</a></p>
<p>Un resumen del trabajo es el siguiente: <br>
</p>
<p><i><font size="6" face="Helvetica, Arial, sans-serif"><span
style="font-size: 11pt; color: rgb(0, 0, 0);">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.</span></font></i></p>
<p><font size="6"><span style="font-size: 11pt; color: rgb(0, 0,
0);">Cordiales saludos,</span></font></p>
<p><font size="6"><span style="font-size: 11pt; color: rgb(0, 0,
0);">Mauricio GUILLERMO.<br>
</span></font></p>
<p><i><font size="6" face="Helvetica, Arial, sans-serif">
</font></i></p>
<p dir="ltr"
style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span
style="font-size:11pt;font-family:Arial;color:#000000"><br>
</span></p>
</body>
</html>