Orientador: Jose Alexandre D. Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T17:18:10Z (GMT). No. of bitstreams: 1
Medeiros_MariadaPazNunesde_M.pdf: 11561835 bytes, checksum: 796aa2239da6be1c2ac924de8e4f3502 (MD5)
Previous issue date: 1994 / 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 / Abstract: Not informed. / Mestrado / Mestre em Filosofia
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/278663 |
Date | 09 December 1994 |
Creators | Medeiros, Maria da Paz Nunes de |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Guerzoni, Jose Alexandre Durry, 1958-, Guerzoni, Jose Alexandre D. |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | [88]f., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0014 seconds