filosofia das ciências formais

A prova do Teorema das Quatro Cores - um caso de finitude, at XVII COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS (Pirenópolis/GO, Brasil), 01/10/2013

Resumo

Provas, experimentos e de por que os computadores interessam à filosofia, at XIII Semana dos Alunos de Pós-Graduação em Filosofia da PUC-Rio (SAF) - Rio de Janeiro/RJ, Brasil, 13/05/2013