
Neste episódio falarei um pouco sobre o programa de Hilbert - um conjunto de ideias fundamentais, digamos assim, para se justificar a matemática clássica por meio de um tipo de raciocínio denominado finitário, proposto pelo matemático alemão David Hilbert.