CV Lattes
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
Sou professor associado do Departamento de Filosofia da Universidade Federal do Rio Grande do Norte (UFRN), em Natal-RN. Sou doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas (Unicamp), e engenheiro de Computação pela mesma instituição. Fui pesquisador visitante no Programa de Filosofia do Graduate Center da City University of New York (CUNY) em 2018-2019 e também Centro de Filosofia da Universidade de Lisboa, em 2013. Atuo principalmente nas áreas de Filosofia da Lógica, Metafísica e Filosofia da Ciência e da Tecnologia. Participo dos programas de pós-graduação em Filosofia PPGFIL (mestrado e doutorado) e do programa em Desenvolvimento e Meio-ambiente PRODEMA (mestrado). Minha homepage pessoal é: http://danieldurante.weebly.com (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) |
O objetivo principal deste trabalho é encontrar, para alguns sistemas de dedução natural, uma atribuição numérica que associe univocamente, a cada derivação π do sistema, um número natural o (π), tal que para toda derivação π' obtida de n através de uma redução, o (π') < o (π). Uma atribuição com essas características representa um limitante superior para o com…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |