¿Qué es la lógica matemática? (...¿y qué tiene de matemática?)

Esta película, a pesar de que se remonta a los intentos de los filósofos griegos por capturar las reglas del buen razonamiento, se centra principalmente en los avances de la lógica matemática y en sus principales actores: Alan Turing, Alfred Tarski, David Hilbert, Kurt Godel, entre otros.

¿Qué es la lógica matemática y qué relación guarda con la matemática como práctica científica? ¿Qué nos enseña la lógica matemática y por qué es relevante en el ámbito matemático? ¿Qué son los sistemas formales y cuáles sus límites? ¿La matemática es realmente una ciencia formal y deductiva?

Este video pretende contestar, aunque sea parcialmente, algunas de las preguntas anteriores e incita al espactador a indagar en el resto de ellas.