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

[yo at elopio.net]

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 20180929-automata.jpeg
Type: image/jpeg
Size: 187403 bytes
Desc: not available
URL: <https://creativecommons.email/pipermail/latin-america/attachments/20180926/6821404f/attachment-0001.jpeg>