Texto completo
| |
| Autor(es): |
Maria da Paz Nunes de Medeiros
Número total de Autores: 1
|
| Tipo de documento: | Dissertação de Mestrado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas |
| Data de defesa: | 1994-12-09 |
| Membros da banca: |
Jose Alexandre Durry Guerzoni
|
| Orientador: | Jose Alexandre Durry Guerzoni |
| Resumo | |
Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam explicitadas. demonstração baseia-se na idéi a de auto-referência. Considera-se simultaneamente uma teoria (Teoria formal C Ar i tméti ca de Peano) e uma Intuitiva dos Números) para mostrar, via godelização. que as propriedades e operações de cunho sintático-morfol6gico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teor ema de Completude Parcial. demonstra-se o primeiro teorema a partir do Lema da Diagonal, para em seguida apresentar a demonstração usual do segundo. que pressupõe a formalização de certas condições de derivabilidade (AU) | |
| Processo FAPESP: | 92/01705-0 - A demonstracao do primeiro e segundo teorema da incompletude de godel. |
| Beneficiário: | Maria da Paz Nunes de Medeiros |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |