Educadores



Categoria: Filosofia Dissertações
Fazer Download agora!Os teoremas de incompletude de Godel  Popular Versão: 
Atualização:  29/4/2013
Descrição:
MEDEIROS, Maria da Paz Nunes de

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, todas as fórmulas envolvidas sejam explicitadas. Essa demonstração baseia-se na ideia de autorreferência. Considera-se simultaneamente uma teoria formal (Aritmética de Peano) e uma Intuitiva (dos Números) para mostrar, via godelização, que as propriedades e operações de cunho sintático-morfológico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teorema 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.

Palavras-chave: Matemática. Filosofia. Lógica simbólica e Matemática.

Downloads 2326  2326  Tamanho do arquivo 0 bytes  Plataforma Unicamp  Site 
Avaliação: 0.00 (0 votos)
Avaliar | Alterar | Informar erro | Indicar | Comentários (0)


Os comentários são de propriedade de seus respectivos autores. Não somos responsáveis pelo seu conteúdo.