Uma prova de incompletude da aritmética baseada no teorema das definições recursivas

Detalhes bibliográficos
Autor(a) principal: Vicente, Luciano
Data de Publicação: 2008
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
Resumo: Esta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas.
id USP_ddca0e9c05ea13c72c9abbfd672f959c
oai_identifier_str oai:teses.usp.br:tde-08102008-173642
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Uma prova de incompletude da aritmética baseada no teorema das definições recursivasA proof of incompleteness for arithmetic by means of the Theorem of the Definion by RecursionArithmeticAritmética formalDefinições recursivasDefinition by recursionIncompletenessIncompletudeLogicLógicaTeoria dos TiposType theoryEsta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas.We establish here the incompleteness of the formal system S2 for arithmetic_a formal system whose signature is {0, s}_by means of the Theorem of the Definition by Recursion (TDR). However, unlike the standard proofs of incompleteness, the proof of TDR, by virtue of restricted signature, uses essentially the power of second-order logic.Biblioteca Digitais de Teses e Dissertações da USPLoparic, Andrea Maria Altino de CamposVicente, Luciano2008-07-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/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/openAccesspor2016-07-28T16:09:56Zoai:teses.usp.br:tde-08102008-173642Biblioteca 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:27212016-07-28T16:09:56Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
A proof of incompleteness for arithmetic by means of the Theorem of the Definion by Recursion
title Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
spellingShingle Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
Vicente, Luciano
Arithmetic
Aritmética formal
Definições recursivas
Definition by recursion
Incompleteness
Incompletude
Logic
Lógica
Teoria dos Tipos
Type theory
title_short Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
title_full Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
title_fullStr Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
title_full_unstemmed Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
title_sort Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
author Vicente, Luciano
author_facet Vicente, Luciano
author_role author
dc.contributor.none.fl_str_mv Loparic, Andrea Maria Altino de Campos
dc.contributor.author.fl_str_mv Vicente, Luciano
dc.subject.por.fl_str_mv Arithmetic
Aritmética formal
Definições recursivas
Definition by recursion
Incompleteness
Incompletude
Logic
Lógica
Teoria dos Tipos
Type theory
topic Arithmetic
Aritmética formal
Definições recursivas
Definition by recursion
Incompleteness
Incompletude
Logic
Lógica
Teoria dos Tipos
Type theory
description Esta dissertação estabelece a incompletude de um sistema formal cujas únicas constantes não-lógicas são 0 e s (respectivamente, o número natural 0 e a função sucessor segundo a interpretação standard), fundamentando-se, para tanto, em um teorema cuja prova necessita essencialmente da maquinária lógica de segunda-ordem e que foi designado de Teorema das Definições Recursivas.
publishDate 2008
dc.date.none.fl_str_mv 2008-07-30
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 http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
url http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
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_ 1809090525166305280

Registros relacionados