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

Walter Ferrer wrferrer en gmail.com
Dom Nov 19 10:47:32 -03 2017


​La próxima sesión del seminario, tiene como propósito hablar de los
antecedentes informáticos y lógicos de los temas que expuse dos sesiones
atrás.
Walter
​


>>>> 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/20171119/97401344/attachment.html>


Más información sobre la lista de distribución Todos