<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div class="gmail_default" style="font-family:trebuchet ms,sans-serif">​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.<br></div><div class="gmail_default" style="font-family:trebuchet ms,sans-serif">Walter<br>​</div><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;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"><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="m_5904666323571865463gmail-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>​20​</div> de Noviembre de 2017​<div class="gmail_quote">​<span></span><span><span><span><span class="m_5904666323571865463gmail-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>​ 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 style="font-family:"trebuchet ms",sans-serif;display:inline">​Titulo</div><div style="display:inline">​</div>:<div style="display:inline"> </div><span style="font-family:arial,sans-serif;font-size:12.8px">"Realizabilidad: algunas motivaciones lógicas e informáticas<div 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 style="font-family:"trebuchet ms",sans-serif;display:inline">​</div></span></div></span></span><span><span><div 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></div></div>
</blockquote></div><br></div></div>