Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Freire, Rodrigo de Alvarenga | - |
Autor(es): dc.creator | Ramos, Luiza Silva Porto | - |
Data de aceite: dc.date.accessioned | 2024-07-22T12:48:34Z | - |
Data de disponibilização: dc.date.available | 2024-07-22T12:48:34Z | - |
Data de envio: dc.date.issued | 2019-08-07 | - |
Data de envio: dc.date.issued | 2019-08-07 | - |
Data de envio: dc.date.issued | 2019-08-07 | - |
Data de envio: dc.date.issued | 2019-01-28 | - |
Fonte completa do material: dc.identifier | http://repositorio.unb.br/handle/10482/35257 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/811784 | - |
Descrição: dc.description | Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Programa de Pós-Graduação em Metafísica, 2019. | - |
Descrição: dc.description | Este trabalho analisa o tema das demonstrações de consistência e busca elucidar questões relacionadas. Neste percurso pretendemos analisar os limites da consistência, como podemos pensar esta propriedade com o desenvolvimento da lógica matemática e sua relação com a verdade da teoria. Usualmente, a consistência é uma propriedade esperada em toda teoria que se propõe verdadeira. Por outro lado, a partir das formalizações das teorias uma demanda por demonstrações de consistência surge como proposta de validação de sistemas formais. O problema da consistência se coloca no contexto da crise dos fundamentos da matemática e uma resposta para a crise é a busca por rigor através da formalização. Portanto vamos abordar o tema dos sistemas formais, apresentando a noção de redução finitária da matemática. A pedra de toque da teoria dos sistemas formais, os teoremas de Gödel, parecem sugerir duas possibilidades de interpretação: limitam ou esclarecem o conceito de demonstrações de consistência. Finalmente, analisamos três casos de demonstrações: a lógica de primeira ordem, a aritmética de Robinson e a aritmética de Peano. Como resultado deste percurso podemos sugerir uma compreensão dos sistemas formais em que a possibilidade de inconsistência não deve ser eliminada e sim garantida. | - |
Descrição: dc.description | The present work analyses the subject of consistency proofs and try to elucidate related issues. On this study we pretend to pursuit for the limits of consistency, how we can think this property along the development of mathematical logic and its relation with truth. Usually, consistency is a property expected in all theories that aims to be true. By contrast, with the growth of formalization of theories a pursuit for consistency proofs appear as a bid of validation of formal systems. The consistency problem appear in relation with the crisis of the foundations of mathematics and one reaction for the crisis is the search for rigour by means of formalization. Therefore we shall discuss formal systems, introducing the notion of mathematics finitary reduction. The cornerstone of the theory of formal systems, the Gödel’s theorems, seems to suggest two possiblities of interpretation: they restrict or they enlighten the concept of consistency proofs. Finally, we analyze three cases of consistency proofs: first order logic, Robinson’s arithmetic and Peano’s arithmetic. As a result of this pursuit we can suggest one way to understand formal systems in which the possibility of inconsistency must not be eliminated but guaranteed. | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data. | - |
Palavras-chave: dc.subject | Teoremas de Gödel | - |
Palavras-chave: dc.subject | Consciência | - |
Palavras-chave: dc.subject | Lógica (Matemática) | - |
Título: dc.title | A demanda por demonstrações de consistência nos fundamentos da matemática | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: