Exportar registro bibliográfico

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
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      VICENTE, Luciano; LOPARIC, Andrea Maria Altino de Campos. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013.Universidade de São Paulo, São Paulo, 2013. Disponível em: < http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/ >.
    • APA

      Vicente, L., & Loparic, A. M. A. de C. (2013). Definições parciais de verdade e sistemas de acumulação na aritmética formal. 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, Loparic AMA de C. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/
    • Vancouver

      Vicente L, Loparic AMA de C. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020