banner_principal unam_morelos
2018-10-19  12:35 hrs.

Los teoremas de Gödel

Óscar Guajardo
UCIM


Todos sabemos, vox populi, que existen proposiciones matemáticas indecidibles; es decir, existen teoremas en matemáticas que no pueden ser demostrados ni refutados. Este enunciado informal captura la idea esencial del primer teorema de incompletitud de Gödel. En esta plática hablaré de este resultado y de otros dos, menos célebres y también probados por Kurt Gödel: el segundo teorema de incompletitud y el teorema de completitud. Lo sorprendente de estos teoremas, además de los resultados, es la sencillez de las ideas detrás de sus demostraciones, de las cuales también hablaré.



Palapa Guillermo Torres -- Martes 25 de marzo de 2014, 16:30 horas


unam campus morelos Unam Campus Morelos IBT CCG CIE FIS CRIM MATCUER
Unidad Cuernavaca del Instituto de Matemáticas UNAM