Doutorando em FIlosofia pela UNICAMP e pela Ruhr-Universität Bochum, na área de Lógica. É mestre pela UNICAMP, tendo obtido o título em 2023, com a dissertação "Perspective and Understanding in set theory". Possui graduação em FIlosofia também pela UNICAMP. Seus interesses incluem lógica, lógica matemática, filosofia da ciência e epistemologia. (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) |
Resumo Este projeto tem o objetivo de desenvolver semânticas não-determinísticas para lógicas modais expandindo os resultados recentes sobre estruturas swap de Coniglio [5, 9], inspirados nos trabalhos de Kearns [13], Ivlev [12] e Avron e Lev [1]. Queremos trabalhar com lógicas que lidem adequada- mente com as situações propostas por Belnap e Dunn [11], em que temos evidências para a verd…
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…
Ondas alfa se correlacionam com os primeiros estágios do sono, e também com o estado de vigília relaxada. O projeto objetiva analisar os estágios de ocorrência das ondas alfa, observando suas diferenças em pacientes normais e com Apneia Obstrutiva. (AU)
| 3 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID