Charla: “El teorema de Gödel”

Nivel: Ciencia divulgativa

Expositor: Levis Zerpa

El teorema de Gödel es equiparable por su importancia a la teoría de la relatividad de Albert Einstein, y es una de las construcciones fundamentales de las matemáticas de todos los tiempos. Gödel utilizó el rigor de las matemáticas para demostrar, sin lugar a dudas, que las matemáticas mismas son incompletas. En su artículo de 1931, Gödel demuestra que en cualquier sistema lógico basado en axiomas y reglas de inferencia, existen enunciados cuya verdad o falsedad no vamos a poder decidir, basándonos en la propia lógica matemática del sistema. Antes de Gödel esto ni siquiera se consideraba, pues lo interesante de un enunciado era poder demostrar que era verdadero o bien era falso. A partir de Gödel aparece una diferencia muy sutil entre verdad/falsedad y demostrabilidad.

AGENDA YACHAY TECH

Charla:  “El teorema de Gödel”

Charla: “El teorema de Gödel”

28 / Febrero / 2018
8:00 pm
Aula I-201

Club de Matemáticas

Nivel: Ciencia divulgativa

Expositor: Levis Zerpa

El teorema de Gödel es equiparable por su importancia a la teoría de la relatividad de Albert Einstein, y es una de las construcciones fundamentales de las matemáticas de todos los tiempos. Gödel utilizó el rigor de las matemáticas para demostrar, sin lugar a dudas, que las matemáticas mismas son incompletas. En su artículo de 1931, Gödel demuestra que en cualquier sistema lógico basado en axiomas y reglas de inferencia, existen enunciados cuya verdad o falsedad no vamos a poder decidir, basándonos en la propia lógica matemática del sistema. Antes de Gödel esto ni siquiera se consideraba, pues lo interesante de un enunciado era poder demostrar que era verdadero o bien era falso. A partir de Gödel aparece una diferencia muy sutil entre verdad/falsedad y demostrabilidad.

No existen eventos