CV Lattes
ORCID
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: Itália
Bachelor degree in philosophy from from the Università degli Studi di Torino (2005), bachelor in mathemaitcs from the Università degli Studi di Torino (2007) and master in mathematics from Università degli Studi di Torino (2009). PhD thesis in philosophy (2014) Scuola Normale Superiore di Pisa (under the supervision of Profesor Gabriele Lolli). PhD in mathematics (2014) Université Paris Diderot (under the supervision of Professor Boban Velickovic). In 2014-2017 post-doc at Unicamp (CLE) with a projected founded by FAPESP. In 2015-2016 visiting post-doc at the Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) in Paris. Since 2017, assitant professor at Unicamp. Areas of specializations: mathematical logic, set theory, modal logic, history of logic, philosophy of mathematics and philosophy of language. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias (0 total): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O presente plano de atividades tem por finalidade desenvolver a nova abordagem fundacional para o forcing proposta inicialmente no artigo "An Axiomatic Approach to Forcing and Generic Extensions", de Rodrigo Freire, cobrindo casos ainda não contemplados. Paralelamente, para alcançar esse fim, uma análise conceitual dos conceitos envolvidos no forcing deverá ser desenvolvida, com consequen…
Embora hoje os paradoxos sejam amplamente reconhecidos como fontes frutíferas de novos entendimentos, tanto na lógica quanto na matemática, ainda falta uma caracterização precisa e abrangente do que é um paradoxo. Este workshop reúne pesquisadores que trabalham na lógica e na filosofia dos paradoxos em diferentes áreas: teoria da verdade, teoria da prova, teoria dos conjuntos e história d…
Pretendemos desenvolver a teoria dos modelos de teorias de conjuntos não clássicas, em particular para-consistentes. Em trabalhos anteriores, o pesquisador visitante desenvolveu um modelo paraconsistente de teoria de conjuntos, que valida o fragmento de ZF que consiste de formulas sem negação. Foi mostrado que neste modelo a lei de Leibniz de indiscernibilidade dos idênticos não vale. Nes…
Georg Cantor (1845-1918) é amplamente reconhecido como o criador da teoria de conjuntos e uma das mais importantes figuras no desenvolvimento de uma abordagem moderna à matemática. Abraham Robinson (1918-1974) é considerado uma eminente personalidade na teoria de modelos, um campo que ele ajudou a inovar com novas técnicas e resultados. Nesta conferência celebramos o centenário do ano de …
O presente projeto propõe o desenvolvimento completo de um assistente de prova voltado para o racioc1nio diagramático em todas as suas etapas, a saber: (i) desenvolvimento de software (ii) depuração (iii) documentação. Dentre as principais caracter1sticas desta proposta, destacam-se a implementação do paradigma de programação genérica através da noção de homomorfismo entre grafos, a imple…
O objetivo primário da pesquisa a ser empreendida consiste em esclarecer a natureza da força ilocucionária correspondente às hipóteses em lógica e em Matemática, bem como em explicar seu papel na estruturação lógica da linguagem Matemática. Assim, ela fará convergirem iniciativas dos projetos de pesquisa Hypotheses, liderado pelo Prof. Peter Schroeder-Heister (Uni-Tübingen), e Genericity …
Neste projeto proponho-me a estudar as principais ontologias desenvolvidas para lidar com mundos possíveis e o arcabouço de lógica modal a elas subjacentes. Dentre as principais ontologias que serão estudadas encontram-se o realismo modal sustentado por David Lewis (1986), o atualismo, cujos principais proponentes são Plantinga e Stalnaker (1979), o combinatorialismo defendido por Cresswe…
Muitos matemáticos debruçam-se cotidianamente no estudo de objetos matemáticos, como conjuntos, funções, matrizes, etc. Todavia, até que ponto podemos dizer que essas entidades existem? Essa parece uma questão difícil inclusive quando tratamos das entidades matemáticas que, aparentemente, são as mais fundamentais como é o caso dos números. Além disso, assumir uma das posições, ou seja, di…
A prova de independência de AC em relação a ZF feita por Paul Cohen em 1963 possibilitou novas abordagens à teoria de conjuntos. Resultados em teoria descritiva de conjuntos, a técnica de forcing eo estudo de grandes cardinais possibilitou o desenvolvimento da teoria para além do que se imaginava antes. Um dos axiomas interessantes para ser adicionado ao sistema é o Axioma da Determinação…
Neste projeto eu aprofundo a análise da lógica interna da teoria dos conjuntos - tema do meu projeto FAPESP - propondo uma análise lógica da noção de consistência e a sua função na prática da teoria dos conjuntos. Este projeto possui um ponto de vista multidisciplinar e procura combinar a reflexão filosófica sobre a prática matemática com a descrição de uma estrutura matemática. Especific…