Definições parciais de verdade e sistemas de acumulação na aritmética formal (2013)
- Authors:
- Autor USP: VICENTE, LUCIANO - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Subjects: TEOREMA DE GODEL’S; LÓGICA MATEMÁTICA
- Keywords: Accumulation systems; Definições parciais de verdade; Partial truth definitions; Sistemas de acumulação
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 21.03.2013
-
ABNT
VICENTE, Luciano. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/. Acesso em: 05 fev. 2026. -
APA
Vicente, L. (2013). Definições parciais de verdade e sistemas de acumulação na aritmética formal (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/ -
NLM
Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2026 fev. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/ -
Vancouver
Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2026 fev. 05 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
