El teorema de Gödel

Explorem la relació entre la matemàtica i la veritat. La matemàtica pretén ser el país de les certeses. Les coses, o són demostrables o són falses. Però tot això no és pas tan senzill, perquè l'any 1930 el teorema de Gödel ens ensenya que existeixen proposicions indecidibles, és a dir que no es poden demostrar ni refutar. És la primera constatació restrictiva en tota la història de les matemàtiques!