Definições parciais de verdade e sistemas de acumulação na aritmética formal

Detalhes bibliográficos
Autor(a) principal: Vicente, Luciano
Data de Publicação: 2013
Tipo de documento: Tese
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-18042013-120246/
Resumo: Segundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na construção de sistemas formais para as verdades da aritmética. A ideia subjacente aos nossos sistemas é muito simples, devemos acumular de alguma maneira as definições parciais de verdade. Grosso modo, mostrar como fazê-lo é o objetivo desse estudo.
id USP_114e2f36715a05284bba32cb7abf8500
oai_identifier_str oai:teses.usp.br:tde-18042013-120246
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Definições parciais de verdade e sistemas de acumulação na aritmética formalPartial truth definitions and accumulation systems in formal arithmeticAccumulation systemsDefinições parciais de verdadePartial truth definitionsSistemas de acumulaçãoSegundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na construção de sistemas formais para as verdades da aritmética. A ideia subjacente aos nossos sistemas é muito simples, devemos acumular de alguma maneira as definições parciais de verdade. Grosso modo, mostrar como fazê-lo é o objetivo desse estudo.According to Tarski-Gödels undefinability theorem, there is no formula in the language of arithmetic which defines the set of Gödel numbers of arithmetical true sentences. Nevertheless, for each n, we can define the set of Gödel numbers of all arithmetical true sentences of degree n or less. These definitions yield a hierarchy of predicates V0(x), V1(x),..., Vn(x),... such that, for all x, if Vn(x), then Vn+1(x). In this study, we will ensay some aplications of these predicates, called partial truth definitions, and others related ones in building of formal systems for arithmetical truth. The underlying idea of our systems is very simple, we should accumulate in some way the partial truth definitions. Roughly speaking, showing how we can do that is the aim of this study.Biblioteca Digitais de Teses e Dissertações da USPLoparic, Andrea Maria Altino de CamposVicente, Luciano2013-03-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/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:10:35Zoai:teses.usp.br:tde-18042013-120246Biblioteca 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:10:35Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Definições parciais de verdade e sistemas de acumulação na aritmética formal
Partial truth definitions and accumulation systems in formal arithmetic
title Definições parciais de verdade e sistemas de acumulação na aritmética formal
spellingShingle Definições parciais de verdade e sistemas de acumulação na aritmética formal
Vicente, Luciano
Accumulation systems
Definições parciais de verdade
Partial truth definitions
Sistemas de acumulação
title_short Definições parciais de verdade e sistemas de acumulação na aritmética formal
title_full Definições parciais de verdade e sistemas de acumulação na aritmética formal
title_fullStr Definições parciais de verdade e sistemas de acumulação na aritmética formal
title_full_unstemmed Definições parciais de verdade e sistemas de acumulação na aritmética formal
title_sort Definições parciais de verdade e sistemas de acumulação na aritmética formal
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 Accumulation systems
Definições parciais de verdade
Partial truth definitions
Sistemas de acumulação
topic Accumulation systems
Definições parciais de verdade
Partial truth definitions
Sistemas de acumulação
description Segundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na construção de sistemas formais para as verdades da aritmética. A ideia subjacente aos nossos sistemas é muito simples, devemos acumular de alguma maneira as definições parciais de verdade. Grosso modo, mostrar como fazê-lo é o objetivo desse estudo.
publishDate 2013
dc.date.none.fl_str_mv 2013-03-21
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/
url http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/
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_ 1815257065537404928

Registros relacionados