<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><span class="gmail-m_-7585516647440733848m_-7487855655337874610gmail-m_-554460509639720240gmail-"><span><span><br>Seminario de algebra y temas afine</span>s</span><br></span><div class="gmail_quote"><span><span><div class="gmail_extra">Lunes<div style="font-family:"trebuchet ms",sans-serif;display:inline"> </div><div style="font-family:"trebuchet ms",sans-serif;display:inline" class="gmail_default">20</div> de Noviembre de 2017<div class="gmail_quote"><span></span><span><span><span><span class="gmail-m_-7585516647440733848m_-7487855655337874610gmail-m_-554460509639720240gmail-">Salon de seminarios del piso 14 Cmat</span><div style="font-family:"trebuchet ms",sans-serif;display:inline">, </div></span></span></span><span><span><span>1330 1430</span></span></span><div class="gmail_extra"><span><span><span><span><div style="font-family:"trebuchet ms",sans-serif;display:inline"></div></span></span></span>Expositor<span><span><span></span></span></span><div style="font-family:"trebuchet ms",sans-serif;display:inline" class="gmail_default"> Mauricio Guillermo</div><span><span></span></span><div class="gmail_extra"><div style="font-family:"trebuchet ms",sans-serif"><div style="font-family:"trebuchet ms",sans-serif;display:inline"><span><span><div><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif;display:inline">Titulo</div><div class="gmail_default" style="display:inline"></div>:<div class="gmail_default" style="display:inline"> </div><span style="font-family:arial,sans-serif;font-size:12.8px">"Realizabilidad: algunas motivaciones lógicas e informáticas<div class="gmail_default" style="font-family:"trebuchet ms",sans-serif;display:inline">"</div></span></div></span></span></div></div></div></span></div></div></div></span></span></div></div></div></blockquote></div></div></div></blockquote></div></div></div></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span><span><div class="gmail_extra"><div class="gmail_quote"><div class="gmail_extra"><span><div class="gmail_extra"><div style="font-family:"trebuchet ms",sans-serif"><div style="font-family:"trebuchet ms",sans-serif;display:inline"><span><span><div><span style="font-family:arial,sans-serif;font-size:12.8px"><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif;display:inline"></div></span></div></span></span><span><span><div class="gmail_default" style="font-family:"trebuchet ms",sans-serif;display:inline"><span style="font-family:arial,sans-serif;font-size:12.8px">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.</span></div></span></span></div></div></div></span></div></div></div></span></span></div></div></div></blockquote><div> </div></div></div></div>
</blockquote></div><br></div></div>
</blockquote></div><br></div></div>