Os teoremas de Gödel foram o tema da palestra do ciclo "A Terceira Margem", do Instituto de Matemática, Estatística e Computação Científica da UNICAMP. Confira a íntegra da apresentação do professor Walter Carnielli, do Centro de Lógica, Epistemologia e História da Ciência - CLE-Unicamp.