[Latin-America] [Reunión en Costa Rica] Limitaciones en la matemática: los teoremas de incompletitud de Gödel

[Meilyn Garro]

Gracias Leo
Voy a ver cómo lo pongo en la página :D

El jue., 27 sept. 2018 a las 1:09, <yo at elopio.net> escribió:

> Hola gente de Costa Rica de esta lista,
>
> Otra de las cosas que dijimos en la reunión anterior fue compartir
> nuestros espacios y actividades, para empezar a formar una comunidad de
> distintos intereses y habilidades.
> Este sábado 29 tenemos una charla sobre matemáticas y los teoremas de
> incompletitud de Gödel, organizada por automata.network, un colectivo de
> tecnologías libres.
>
> La reunion va a ser a las 5pm., en La Pulgateca de Casa Canibal, Barrio
> Escalante, San José. Este es un espacio increible que están empezando a
> construir, «es un proyecto autogestionado que busca activar el préstamo
> y recepción de materiales, herramientas y objetos obsoletos para el
> desarrollo artístico y la investigación». Pueden ver más info en
> pulgateca.net.
>
> Dice Claudio, quien va a compartir la charla, que no es necesario saber
> mucho de matemáticas. «A muy grandes rasgos, la charla se va a centrar
> alrededor de los dos resultados más famosos e importantes de un
> matemático que se llamaba Kurt Gödel. Esos resultados, de manera muy
> general, dicen que existen proposiciones matemáticas que a pesar de ser
> verdaderas, no pueden ser demostradas formalmente. Entonces vamos a
> hacer un recorrido alrededor del contexto histórico de esos teoremas,
> las repercusiones que han tenido, desde un punto de vista filosófico y
> especialmente en la teoría de la computación. Alan Turing fue un
> matemático que tomó los resultados de Gödel y lo aplicó a la teoría de
> la computación, para demostrar lo que una computadora jamás iba a poder
> resolver. Y más recientemente se encontró otro resultado análogo en la
> teoría algorítmica de la información, entonces la idea es discutir un
> poco todas estas implicaciones y también esbozar la prueba de Gödel
> :+1:»
>
> Lleguen a conocer el espacio, compartir sus ideas, y para que nos
> conozcamos más.
>
> pura vida.
> _______________________________________________
> Latin-america mailing list
> Latin-america at creativecommons.email
> https://creativecommons.email/mailman/listinfo/latin-america
>


-- 

Meilyn Garro Acón
Coordinadora del Repositorio Kérwá
Unidad de Gestión de la Calidad
Tel: (506) 2511-6137  Fax: (506) 2224-9367
Apartado: 11501-2060 – San José, Costa Rica
Correo-e: meilyn.garro at ucr.ac.cr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://creativecommons.email/pipermail/latin-america/attachments/20180927/3f6c003d/attachment.html>