<div dir="ltr"><div>Gracias Leo</div><div>Voy a ver cómo lo pongo en la página :D<br></div></div><br><div class="gmail_quote"><div dir="ltr">El jue., 27 sept. 2018 a las 1:09, <<a href="mailto:yo@elopio.net">yo@elopio.net</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hola gente de Costa Rica de esta lista,<br>
<br>
Otra de las cosas que dijimos en la reunión anterior fue compartir <br>
nuestros espacios y actividades, para empezar a formar una comunidad de <br>
distintos intereses y habilidades.<br>
Este sábado 29 tenemos una charla sobre matemáticas y los teoremas de <br>
incompletitud de Gödel, organizada por automata.network, un colectivo de <br>
tecnologías libres.<br>
<br>
La reunion va a ser a las 5pm., en La Pulgateca de Casa Canibal, Barrio <br>
Escalante, San José. Este es un espacio increible que están empezando a <br>
construir, «es un proyecto autogestionado que busca activar el préstamo <br>
y recepción de materiales, herramientas y objetos obsoletos para el <br>
desarrollo artístico y la investigación». Pueden ver más info en <br>
<a href="http://pulgateca.net" rel="noreferrer" target="_blank">pulgateca.net</a>.<br>
<br>
Dice Claudio, quien va a compartir la charla, que no es necesario saber <br>
mucho de matemáticas. «A muy grandes rasgos, la charla se va a centrar <br>
alrededor de los dos resultados más famosos e importantes de un <br>
matemático que se llamaba Kurt Gödel. Esos resultados, de manera muy <br>
general, dicen que existen proposiciones matemáticas que a pesar de ser <br>
verdaderas, no pueden ser demostradas formalmente. Entonces vamos a <br>
hacer un recorrido alrededor del contexto histórico de esos teoremas, <br>
las repercusiones que han tenido, desde un punto de vista filosófico y <br>
especialmente en la teoría de la computación. Alan Turing fue un <br>
matemático que tomó los resultados de Gödel y lo aplicó a la teoría de <br>
la computación, para demostrar lo que una computadora jamás iba a poder <br>
resolver. Y más recientemente se encontró otro resultado análogo en la <br>
teoría algorítmica de la información, entonces la idea es discutir un <br>
poco todas estas implicaciones y también esbozar la prueba de Gödel <br>
:+1:»<br>
<br>
Lleguen a conocer el espacio, compartir sus ideas, y para que nos <br>
conozcamos más.<br>
<br>
pura vida.<br>
_______________________________________________<br>
Latin-america mailing list<br>
Latin-america@creativecommons.email<br>
<a href="https://creativecommons.email/mailman/listinfo/latin-america" rel="noreferrer" target="_blank">https://creativecommons.email/mailman/listinfo/latin-america</a><br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><table width="679" height="91" border="0" cellspacing="0" cellpadding="0"><tbody><tr><th scope="col" width="202"><div align="left"><img src="https://docs.google.com/uc?export=download&id=0Bw6-wLieFihjM1FLcElrTVUwWFk&revid=0Bw6-wLieFihjdnVRUXppWXlwSFdVVDVFd2xpNTdIUmVBUCtVPQ"></div></th><th scope="col" style="background-color:#00c0f3;padding-left:20px" width="291"><div style="font-style:normal" align="left"><p><span style="color:rgb(255,255,255);font-size:12px;font-family:Arial,Helvetica,sans-serif">Meilyn Garro Acón</span><br><span style="color:#fff;font-size:9px;font-family:Arial,Helvetica,sans-serif">Coordinadora del Repositorio Kérwá<br>Unidad de Gestión de la Calidad<br>Tel: (506) 2511-6137  Fax: (506) 2224-9367<br>Apartado: 11501-2060 – San José, Costa Rica<br>Correo-e: <a href="mailto:meilyn.garro@ucr.ac.cr" style="color:#fff" target="_blank">meilyn.garro@ucr.ac.cr</a></span></p></div></th></tr></tbody></table></div></div></div></div></div></div></div></div>