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
Tem experiência na área de Matemática, com enfase em lógica clássica. Tendo realizado um primeiro projeto de iniciação científica no IME-USP orientado pelo professor Ricardo Bianconi, estudando paradoxos auto-referentes em particular os teoremas da incompletude. Atuação como monitor de diversas disciplinas no IME-USP e em outras unidades da USP como: Cálculos 1,2,3, Geometria analítica e Vetores e Laboratório de Matemática. Conclui o mestrado em matemática também no IME-USP, onde estudei aritméticas limitadas e sua capacidade de demonstrar teoremas como a infinitude dos primos. Atualmente leciono matemática no colégio Etapa. (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)
| 1 | Bolsas no país concluídas |
| Processos vinculados | |