Professor e entusiasta do naturalismo de Quine, da lógica matemática e dos fundamentos teóricos da computação.
Pretendo reunir neste blog um conjunto de textos (artigos, traduções livres e não oficiais de livros, sugestões de bibliografia, etc) que preencham a lacuna existente entre a introdução à lógica matemática e os assuntos intermediários e avançados.
Espero alcançar, principalmente, alunos e alunas do ensino médio de escolas públicas ou da periferia e comunidades que estejam no ensino superior e tenham interesse de aprofundar os estudos em lógica matemática, computabilidade, teoria de conjuntos ZFC ou mesmo o naturalismo de Quine.