[pt] O TEOREMA DE PARIS-HARRINGTON
| Ano de defesa: | 2009 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
MAXWELL
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: | |
| Link de acesso: | https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=13399&idi=1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=13399&idi=2 http://doi.org/10.17771/PUCRio.acad.13399 |
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. |