CV Lattes
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Bacharelado em Matemática - IGCE pela Universidade Estadual Paulista Júlio de Mesquita Filho (1993), mestrado em Matemática Aplicada / Ciência da Computação - IME pela Universidade de São Paulo (1997) e doutorado em Matemática - IME pela Universidade de São Paulo (2003). Atualmente é professor adjunto da Universidade de Brasília. Tem experiência na área de Fundamentos em Matemática e Teoria da Computação, com ênfase em Lógica Matemática e Complexidade Computacional, atuando principalmente nos seguintes temas: sistemas lógicos formais, independência e indemonstrabilidade, finitismo/metamatemática e problema P =? NP. (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 deste trabalho é estudar as relações existentes entre os problemas de Complexidade Computacional e os problemas em Teoria da Prova e Teoria dos Modelos da Aritmética de Peano e os seus fragmentos. Para tanto, esperamos caracterizar convenientemente as classes de complexidade via fragmentos da Aritmética de Peano de modo a nos permitir utilizar técnicas de indemonstrabilidade am…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |