Disertación de Maestría
DOI
https://doi.org/10.11606/D.8.2022.tde-18052023-151023
Documento
Autor
Nombre completo
Euclides Torres Ometto Stolf
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2022
Director
Tribunal
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 en portugués
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Palabras clave en portugués
Computação
Filosofia
Incompletude
Lógica
Filosofia
Incompletude
Lógica
Resumen en 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 en inglés
Mimetics objects: limitative theorems from compute science
Palabras clave en inglés
Computation
Incompleteness
Logic
Philosophy
Incompleteness
Logic
Philosophy
Resumen en 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.
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
2022_EuclidesTorresOmettoStolf_VCorr.pdf (1.86 Mbytes)
Fecha de Publicación
2023-05-18
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.