Completitud, incompletitud, e indecibilidad.

La idea del curso es introducir las ideas fundamentales de lógica, particularmente en los resultados de Kurt Gödel de los años 30. La primera charla va a ser dedicada al Teorema de Completitud, que dice que el conjunto de reglas de la lógica de primer orden es completo. En la segunda charla veremos la demostración del teorema de incompletitud, que dice que ningún conjunto razonable de axiomas para la matemática puede ser completo. En la tercera charla, analizaremos el teorema de incompletitud desde el punto de vista de la computabilidad.