Objetos Imitadores: teoremas limitativos pensados a partir da computação

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Stolf, Euclides Torres Ometto
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Computação
Computation
Filosofia
Incompleteness
Incompletude
Logic
Lógica
Philosophy
Link de acesso: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
Resumo: 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.
id USP_8cce35d288b8317a0024e94d69c2873e
oai_identifier_str oai:teses.usp.br:tde-18052023-151023
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str
spelling Objetos Imitadores: teoremas limitativos pensados a partir da computaçãoMimetics objects: limitative theorems from compute scienceComputaçãoComputationFilosofiaIncompletenessIncompletudeLogicLógicaPhilosophyTemos 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.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.Biblioteca Digitais de Teses e Dissertações da USPSouza, Edelcio Gonçalves deStolf, Euclides Torres Ometto2022-09-08info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2023-05-18T19:01:52Zoai:teses.usp.br:tde-18052023-151023Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212023-05-18T19:01:52Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Objetos Imitadores: teoremas limitativos pensados a partir da computação
Mimetics objects: limitative theorems from compute science
title Objetos Imitadores: teoremas limitativos pensados a partir da computação
spellingShingle Objetos Imitadores: teoremas limitativos pensados a partir da computação
Stolf, Euclides Torres Ometto
Computação
Computation
Filosofia
Incompleteness
Incompletude
Logic
Lógica
Philosophy
title_short Objetos Imitadores: teoremas limitativos pensados a partir da computação
title_full Objetos Imitadores: teoremas limitativos pensados a partir da computação
title_fullStr Objetos Imitadores: teoremas limitativos pensados a partir da computação
title_full_unstemmed Objetos Imitadores: teoremas limitativos pensados a partir da computação
title_sort Objetos Imitadores: teoremas limitativos pensados a partir da computação
author Stolf, Euclides Torres Ometto
author_facet Stolf, Euclides Torres Ometto
author_role author
dc.contributor.none.fl_str_mv Souza, Edelcio Gonçalves de
dc.contributor.author.fl_str_mv Stolf, Euclides Torres Ometto
dc.subject.por.fl_str_mv Computação
Computation
Filosofia
Incompleteness
Incompletude
Logic
Lógica
Philosophy
topic Computação
Computation
Filosofia
Incompleteness
Incompletude
Logic
Lógica
Philosophy
description 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.
publishDate 2022
dc.date.none.fl_str_mv 2022-09-08
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
url https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1815258241977810944

Registros relacionados