Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/278663
Type: DISSERTAÇÃO
Degree Level: Mestrado
Title: Os teoremas de incompletude de Godel
Author: Medeiros, Maria da Paz Nunes de
Advisor: Guerzoni, Jose Alexandre Durry, 1958-
Guerzoni, Jose Alexandre D.
Abstract: 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.
Subject: Godel, Kurt, 1906-1978
Matemática - Filosofia
Lógica simbólica e matemática
Metamatematica
Language: Português
Editor: [s.n.]
Citation: MEDEIROS, Maria da Paz Nunes de. Os teoremas de incompletude de Godel. 1994. [88]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, [SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/278663>. Acesso em: 19 jul. 2018.
Date Issue: 1994
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Medeiros_MariadaPazNunesde_M.pdf11.29 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.