Temos como objetivo analisar fenômenos de autorreferência na lógica e na computação, estabelecendo resultados limitantes para ambas as áreas. Em especial damos uma exposição unificada para o teorema da incompletude, tanto na sua formulação construída por Gödel, quanto na versão demonstrada por Chaitin.

Our goal is to analyze self-referential phenomena in logic and computer science, establishing limiting results for both areas. In particular, we give a unified exposition of the incompleteness theorem, both in Gödel's formulation and Chaitin's proof.