Atual mestrando em Filosofia na Universidade de São Paulo (USP), com o projeto "A disjunção de Gödel e a inevitabilidade da tese anti-materialista". Membro do Grupo de Pesquisa em Lógica, Linguagem e Experiência (LoLiE) da PUC-SP. Áreas de interesse: lógica, filosofia da lógica, filosofia da matemática e filosofia da mente. (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) |
Em sua obra Begriffsschrift, Gottlob Frege faz erigir, pela primeira vez na história, um sistema formal (e a própria noção de sistema formal) que pretenderá, alguns anos mais tarde, dar conta de fundamentar a aritmética. Seu sistema pretendia ser capaz de formalizar todas as noções da aritmética de seu tempo, calcado única e exclusivamente em leis básicas da lógica - tentativa que ficou h…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |
CV Lattes
ORCID