Hola gente:
Abriendo el ciclo 2017 de "Matemática para la mochila", Conrado Gómez hará
una introducción a los resultados de Gödel sobre si todo es verdadero o
falso en matemática en la charla "La sentencia de Gödel".
El encuentro será el viernes 31 de marzo en la Facultad de Ingeniería
Química (Santiago del Estero 2829). A las 10 hs habrá café en el
Departamento de Matemática (1er. piso), y la conferencia será en el aula 9
(3er. piso) a las 10.30 hs. Más abajo incluyo más detalles.
¡Los esperamos!
Néstor Aguilera
===============================================
Conferencia: "La sentencia de Gödel", a cargo del Dr. Conrado Gómez
- Hasta fines del s. XIX, se pensaba que en Matemática los mundos de lo
verdadero y lo demostrable coincidían. Sin embargo, ante la aparición de
ciertas paradojas, la "más segura" de las ciencias comenzó a mostrar signos
de debilidad. Esto marcó el inicio de un ambicioso proyecto de revisión y
reconstrucción que buscaba cimentar la Matemática en principios cuya verdad
fuera innegable y con un mecanismo de demostración igualmente fiable para
librarla de toda contradicción y ambigüedad.
En 1931 Kurt Gödel publicó un resultado que dejó nuevamente a la comunidad
matemática en estado de conmoción. Este joven de 25 años mostró que tal
proyecto era irrealizable. El resultado, que hoy se conoce como Teorema de
Incompletitud de Gödel, es considerado un hito en la Matemática del s. XX.
- En un nuevo encuentro de Matemática para la mochila, Conrado Gomez se
referirá al Teorema de Gödel y a las ideas que se usan para demostrarlo.
Algunos acertijos lógicos indicarán el comienzo de una charla que se
plantea como principal objetivo precisar los términos en los cuales el
Teorema de Incompletitud está formulado.
- Conrado Gomez es Dr. en Matemática graduado en la Facultad de Ingeniería
Química de la Universidad Nacional del Litoral, donde se desempeña como
Ayudante de Cátedra. Realiza tareas de investigación en el Instituto de
Matemática Aplicada del Litoral como becario posdoctoral del CONICET.
Actualmente, estudia semánticas algebraicas de lógicas multivaluadas.
Show replies by thread