A demonstracao do primeiro e segundo teorema da incompletude de godel.

• Processo: 92/01705-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de setembro de 1992
• Data de Término da vigência: 28 de fevereiro de 1993
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Jose Alexandre Durry Guerzoni
• Beneficiário: Maria da Paz Nunes de Medeiros
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Demonstração
• Palavra(s)-Chave do Pesquisador: Demonstracao | Representabilidade | Teorema

Resumo

Apresentaremos na dissertação uma demonstração detalhada dos teoremas da incompletude de Gedel. Dando maior ênfase ao segundo teorema, faremos uma exposição que dê condições a uma análise do termo. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

MEDEIROS, Maria da Paz Nunes de. Os teoremas de incompletude de Godel. 1994. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.