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: O TEOREMA DE PARIS-HARRINGTON Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO Autor: WILSON REIS DE SOUZA NETO
Colaborador(es): NICOLAU CORCAO SALDANHA - Orientador
Número do Conteúdo: 13399
Catalogação: 17/04/2009 Idioma(s): PORTUGUÊS - BRASIL
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
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: O TEOREMA DE PARIS-HARRINGTON Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO Autor: WILSON REIS DE SOUZA NETO
Colaborador(es): NICOLAU CORCAO SALDANHA - Orientador
Número do Conteúdo: 13399
Catalogação: 17/04/2009 Idioma(s): PORTUGUÊS - BRASIL
Tipo: TEXTO Subtipo: TESE
Natureza: PUBLICAÇÃO ACADÊMICA
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:
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.
Descrição | Arquivo |
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT E SUMÁRIO | |
CAPÍTULO 1 | |
CAPÍTULO 2 | |
CAPÍTULO 3 | |
CAPÍTULO 4 | |
CAPÍTULO 5 | |
REFERÊNCIAS BIBLIOGRÁFICAS |