<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-forward-container">
<div dir="ltr">
<div>--------- Forwarded message ---------<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">De: <strong
class="gmail_sendername" dir="auto">Mauricio Guillermo</strong>
<span dir="auto"><<a href="mailto:mguille@fing.edu.uy"
moz-do-not-send="true" class="moz-txt-link-freetext">mguille@fing.edu.uy</a>></span><br>
Date: vie, 22 jul 2022 a las 15:12<br>
Subject: [Defensa de Monografía de grado] Anuncio e
invitación.<br>
To: todos imerl <<a
href="mailto:todos_imerl@fing.edu.uy"
moz-do-not-send="true" class="moz-txt-link-freetext">todos_imerl@fing.edu.uy</a>>,
todos <<a href="mailto:todos@cmat.edu.uy"
moz-do-not-send="true" class="moz-txt-link-freetext">todos@cmat.edu.uy</a>>,
Comisión de Carrera de Matemática Facultad de Ciencias
<<a href="mailto:ccmatematica@fcien.edu.uy"
moz-do-not-send="true" class="moz-txt-link-freetext">ccmatematica@fcien.edu.uy</a>><br>
</div>
<br>
<br>
<div>
<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 style="word-wrap:break-word"
href="https://salavirtual-udelar.zoom.us/j/84901099094?pwd=RDIwaUxvWEw1c3RDZ3d1RGtKUkkydz09"
target="_blank" moz-do-not-send="true"
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>
</div>
</div>
<br clear="all">
<div><br>
</div>
-- <br>
<div dir="ltr" class="gmail_signature"
data-smartmail="gmail_signature">
<div dir="ltr">
<div><span style="color:rgb(136,136,136)">--</span></div>
<span style="color:rgb(136,136,136)">Comisión de Carrera
de la Licenciatura en Matemática</span><br
style="color:rgb(136,136,136)">
<span style="color:rgb(136,136,136)">Secretaría de
Comisiones de Carrera y de Grado</span><br
style="color:rgb(136,136,136)">
<span style="color:rgb(136,136,136)">Facultad de Ciencias
- Iguá 4225</span><br style="color:rgb(136,136,136)">
<span style="color:rgb(136,136,136)">C.P 11400 Montevideo</span><br
style="color:rgb(136,136,136)">
<span style="color:rgb(136,136,136)">Uruguay.</span><br>
</div>
</div>
</div>
</div>
</div>
</body>
</html>