[en] THE PARIS-HARRINGTON THEOREM
[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 apes...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | pt |
| Published: |
MAXWELL
2009
|
| Subjects: | |
| Online Access: | https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13399@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13399@2 http://doi.org/10.17771/PUCRio.acad.13399 |