CV Lattes
Google Scholar Citations
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
Possui graduação em Licenciatura Plena em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2009), mestrado em Filosofia pela Universidade Estadual Paulista Júlio de Mesquita Filho (2012) e doutorado em Filosofia pela Universidade Estadual de Campinas (2016). Tem experiência na área de Matemática, com ênfase em Lógica Matemática, atuando principalmente nos seguintes temas: traduções entre lógicas, lógicas não clássicas e métodos de prova. (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) |
Desde as primeiras décadas do século XX interpretações entre lógicas têm sido estudadas, sendo que o termo "tradução" nem sempre foi utilizado. Destacamos como pioneiros de pesquisas nesta área Kolmogorov (1925), Glivenko (1929), Lewis e Langford (1932), Gödel (1933) e Gentzen (1933). Em 1999, da Silva, D'Ottaviano e Sette propuseram uma definição bem geral para o conceito de tradução ent…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |