LMF2012: Introducción a la lógica matemática
En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha presentado una introducción a la lógica matemática basada en la Introduction to Mathematical Logic de Valentin Goranko.
En la introducción se hace un recorrido por la historia de la lógica matemática resaltando los problemas, métodos y aplicaciones. Se consideran los siguientes períodos:
- Prehistoria de la lógica.
- El nacimiento de la lógica matemática.
- La edad de oro de la lógica matemática.
- Lógica matemática y ciencias de la computación.