Fez sua graduação em Filosofia na Pontificia Universidad Catolica del Ecuador (2012-2016) com uma tese sobre a concepção filosófica e matemática do infinito na obra de Georg Cantor. Ele fez seus estudos de pós-graduação (M.Sc. Logic) em Amsterdam no Institute of Logic, Language and Computation (2016-2018) sob a supervisão de Benedikt Löwe. Lá ele se especializou em lógica matemática, teoria dos conjuntos e lógicas não clássicas. Interrompeu esses estudos para iniciar um doutorado direto em Filosofia na Universidade Estadual de Campinas (2018-2021) sob a orientação de Giorgio Venturi. Sua tese "Modelos não clássicos da teoria dos conjuntos" é sobre o estudo de modelos algébricos da teoria dos conjuntos baseados em lógicas não clássicas. Está familiarizado com tópicos da teoria dos conjuntos contemporânea e diversas lógicas não clássicas (com ênfase em lógicas paraconsistentes e intuicionistas). No entanto, ele também está interessado em teoria dos modelos, filosofia da matemática, filosofia da lógica e semânticas algébricas. Mais recentemente, ele começou a trabalhar na área de topologia baseada em regiões (Region-based Topology). (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 projeto visa reunir o estudo da classicidade e não-classicidade dentro dos campos da lógica matemática e filosofia da lógica. Nossa hipótese geral é que o progresso real só pode ser feito por meio de uma nova síntese, que abordará questões relacionadas a ambos os campos de forma unificada. O projeto está dividido em três partes. A primeira parte é o núcleo técnico do projeto. Vamos unif…
Este projeto de difusão científica sobre lógica paraconsistente possui três objetivos principais: (i) apresentar ao público um percurso histórico do campo da paraconsistência no Brasil, a partir de seu desenvolvimento pela mão do professor Newton da Costa na década de 1960, (ii) explicar os principais conceitos matemáticos e filosóficos que fundamentam distintas lógicas paraconsistentes e…
Propomos desenvolver uma abordagem unificada de construção de semânticas algébricas para várias teorias de tipos. Em particular, pretendemos produzir uma semântica algébrica para a teoria de tipos simplificada mais o esquema de ambiguidade. Esta última teoria de tipos é de particular interesse visto que é equiconsistente com a teoria New Foundation (NF) de Quine. Esperamos poder applicar …
Este projeto de difusão científica sobre lógica paraconsistente possui três objetivos principais: (i) apresentar ao público um percurso histórico do campo da paraconsistência no Brasil, a partir de seu desenvolvimento pela mão do professor Newton da Costa na década de 1960, (ii) explicar os principais conceitos matemáticos e filosóficos que fundamentam distintas lógicas paraconsistentes e…
Este projeto analisa a relação problemática entre conjuntos arbitrários e a noção intencional de conjuntos. De fato, essa distinção pode ser vista nos dois desenvolvimentos axiomáticos de uma teoria de conjuntos concebidas, por um lado, por Cantor, Dedekind e Zermelo (que enfatizou a arbitrariedade dos conjuntos) e, por outro lado, por Frege e Russell (que enfatizou a possibilidade de res…
| 1 | Auxílios à pesquisa contratados |
| 2 | Bolsas no país contratadas |
| 2 | Bolsas no país concluídas |
| 5 | Todos os Auxílios e Bolsas |
| Processos vinculados | |
CV Lattes
ORCID