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)
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas (IFCH) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Licenciado em Filosofia pela Universidade Federal do Paraná (1981), mestre em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (1986) e doutor em Filosofia pela Universidade Estadual de Campinas (1989). Atualmente é professor da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Lógica, Filosofia da Lógica e, atualmente, dedica-se à História da Filosofia, mais especificament ao estudo de obras como Crítica da Raão Pura, de Kant e o Um Ensaio sobre o Entendimento Humano, de Locke. (Fonte: Currículo Lattes)
Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
Mais itensMenos itens |
TITULO |
Matéria(s) publicada(s) em Outras Mídias ( ): |
Mais itensMenos itens |
VEICULO: TITULO (DATA) |
VEICULO: TITULO (DATA) |
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)
1 | Bolsas no país concluídas |
Processos vinculados |