Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.8.2022.tde-18052023-151023
Document
Auteur
Nom complet
Euclides Torres Ometto Stolf
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2022
Directeur
Jury
Souza, Edelcio Gonçalves de (Président)
Leite, Alexandre Fernandes Batista Costa
Nagase, Daniel Arvage
Nakano, Anderson Luis
Leite, Alexandre Fernandes Batista Costa
Nagase, Daniel Arvage
Nakano, Anderson Luis
Titre en portugais
Objetos Imitadores: teoremas limitativos pensados a partir da computação
Mots-clés en portugais
Computação
Filosofia
Incompletude
Lógica
Filosofia
Incompletude
Lógica
Resumé en portugais
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.
Titre en anglais
Mimetics objects: limitative theorems from compute science
Mots-clés en anglais
Computation
Incompleteness
Logic
Philosophy
Incompleteness
Logic
Philosophy
Resumé en anglais
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.
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
2022_EuclidesTorresOmettoStolf_VCorr.pdf (1.86 Mbytes)
Date de Publication
2023-05-18
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.