Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.8.2022.tde-18052023-151023
Documento
Autor
Nome completo
Euclides Torres Ometto Stolf
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2022
Orientador
Banca examinadora
Souza, Edelcio Gonçalves de (Presidente)
Leite, Alexandre Fernandes Batista Costa
Nagase, Daniel Arvage
Nakano, Anderson Luis
Leite, Alexandre Fernandes Batista Costa
Nagase, Daniel Arvage
Nakano, Anderson Luis
Título em português
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Palavras-chave em português
Computação
Filosofia
Incompletude
Lógica
Filosofia
Incompletude
Lógica
Resumo em português
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.
Título em inglês
Mimetics objects: limitative theorems from compute science
Palavras-chave em inglês
Computation
Incompleteness
Logic
Philosophy
Incompleteness
Logic
Philosophy
Resumo em inglês
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.
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
2022_EuclidesTorresOmettoStolf_VCorr.pdf (1.86 Mbytes)
Data de Publicação
2023-05-18
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.