CV Lattes
Google Scholar Citations
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 Engenharia Eletrônica pela Universidade de São Paulo (1982), mestrado em Matemática pela Universidade de São Paulo (1986) e doutorado em Matemática pela University of Oxford, Inglaterra, (1990). Atualmente é professor titular da Universidade de São Paulo. Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: teoria de modelos, com ênfase em o-minimalidade, geometria e funções analíticas reais. Coordenou o mestrado profissional em ensino da matemática do IME-USP de 2012 a 2016. (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) |
Estudamos os paradoxos auto-referentes e os teoremas da incompletude. Inicialmente identificamos uma estrutura comum a estes através da linguagem de funções e conjuntos e a seguir iremos fazer esse estudo usando a linguagem da teoria das categorias, por esta ser mais adequada para o tratamento destes paradoxos, segundo o enfoque de Lawvere.(AU)
O projeto trata de problemas deixados por S. Banach, principalmente no que concerne a existência de espaços de Banach com "poucos operadores". Um problema relacionado com isto é a existência de espaços de Banach indecomponíveis, ou seja, que não podem ser decompostos como soma direta de dois subespaços fechados de dimensão infinita. Gowers e Maurey obtiveram o primeiro exemplo em 1993. P.…
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…
| 4 | Bolsas no país concluídas |
| Processos vinculados | |