Título
[pt] O TEOREMA DE PARIS-HARRINGTON
Título
[en] THE PARIS-HARRINGTON THEOREM
Autor
[pt] WILSON REIS DE SOUZA NETO
Vocabulário
[pt] TEORIA DE RAMSEY
Vocabulário
[pt] ARITMETICA DE PEANO
Resumo
[pt] Sabemos pelo Teorema da Incompletude de Godel que existem afirmações
verdadeiras sobre números naturais que não podem ser demonstradas
na aritmética de Peano. Paris e Harrington deram um exemplo de
uma variação do Teorema de Ramsey finito que não pode ser demonstrada
em aritmética de Peano apesar de ser facilmente demonstrável na Teoria de
Conjuntos usual. Este é geralmente considerado o primeiro exemplo matematicamente
natural de uma sentença indecidível. Além da demonstração
original, apresentamos nessa dissertação outra usando Teoria de Modelos.
Resumo
[en] From Godel’s Incompleteness Theorem we know that there are true
sentences about natural numbers which can not be proved in Peano Arithmetic.
Paris and Harrington gave an example of a variation of the finite
Ramsey Theorem which can not be proved in Peano Arithmetic although
it can be easily proved in usual Set Theory. This is usually considered the
first example of a mathematically natural undecidable sentence. Besides
the original proof, another one, using Model Theory, is presented in this
dissertation.
Orientador(es)
NICOLAU CORCAO SALDANHA
Banca
CARLOS FREDERICO BORGES PALMEIRA
Banca
GEORGE SVETLICHNY
Banca
NICOLAU CORCAO SALDANHA
Banca
LUIZ CARLOS PINHEIRO DIAS PEREIRA
Catalogação
2009-04-17
Apresentação
2007-07-11
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=13399@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=13399@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.13399
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT E SUMÁRIO PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF REFERÊNCIAS BIBLIOGRÁFICAS PDF