[Todos CMAT] Seminario de Algebra y temas afines Cmat/ 2 Semestre de 2017. Ultima Sesion.

[Walter Ferrer]

>
>
>>> Seminario de algebra y temas afines
>>> Lunes
>>> ​ ​
>>> ​20​
>>>  de Noviembre de 2017​
>>> ​Salon de seminarios del piso 14 Cmat
>>> ​, ​
>>> 1330 1430
>>> ​​
>>> ​Expositor
>>> ​ Mauricio Guillermo​
>>> ​
>>> ​
>>> ​
>>> ​Titulo
>>> ​
>>> :
>>>
>>> "Realizabilidad: algunas motivaciones lógicas e informáticas
>>> ​"
>>>
>>

> ​
>>> Mostraremos el orígen de la realizabilidad intuicionista y de la
>>> realizabilidad clásica. Explicaremos cómo a partir de un trabajo de
>>> Streicher aparecen naturalmente estructuras algebraicas ordenadas que
>>> permiten simplificar radicalmente la teoría.
>>>
>>
>>
>
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20171116/d12533d1/attachment.html>