Jeferson Arenzon (IF-UFRGS) e Marco Idiart (IF-UFRGS) conversam com Giselle Secco (Filosofia-UFRGS) sobre o teorema das quatro cores, o número mínimo de cores para pintar um mapa (sob algumas condições) e a polêmica das demonstrações que envolvem o
computador.