Curso
Mestrado
Título da pesquisa
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Resumo da pesquisa
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.
Orientador
Edelcio Gonçalves de Souza
Fomento
CAPES
Data da defesa
08/09/2022