As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.
A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.
A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.
A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital
Título: THE PARIS-HARRINGTON THEOREM Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO Autor(es): WILSON REIS DE SOUZA NETO
Colaborador(es): NICOLAU CORCAO SALDANHA - Orientador
Número do Conteúdo: 13399
Catalogação: 17/04/2009 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
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
Resumo:
Título: THE PARIS-HARRINGTON THEOREM Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO Autor(es): WILSON REIS DE SOUZA NETO
Colaborador(es): NICOLAU CORCAO SALDANHA - Orientador
Número do Conteúdo: 13399
Catalogação: 17/04/2009 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Natureza: SCHOLARLY PUBLICATION
Nota: Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
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
Resumo:
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.
| Descrição | Arquivo |
| COVER, ACKNOWLEDGEMENTS, RESUMO, ABSTRACT AND SUMMARY | |
| CHAPTER 1 | |
| CHAPTER 2 | |
| CHAPTER 3 | |
| CHAPTER 4 | |
| CHAPTER 5 | |
| REFERENCES |
