Course
Master's degree
Research title
Mimetics objects: limitative theorems from compute science
Research abstract
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.
Graduate Advisor
Edelcio Gonçalves de Souza
Lattes (curriculum vitae)
Funding
CAPES
Date of defense
08/09/2022