Resumen:
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é.
Compartir este seminario