CV Lattes
Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Desde 2015 sou aluno de graduação em Bacharelado em Filosofia da Universidade Estadual de Campinas. Pesquisei temas da lógica intuicionista e álgebras de Heyting (bolsa CNPQ (ago/2017), orientador Dr. Rodolfo Ertola Biraben). (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) |
Um sistema formal é um conjunto de axiomas e regras de inferência que permitem a derivação de teoremas. Sistemas formais podem falar sobre uma diversidade de coisas e estruturas matemáticas, como números reais, formas geométricas e inferências. Certos sistemas formais inclusive podem afirmar coisas sobre sistemas formais, já que estes também são objetos ou estruturas matemáticas. Um caso …
| 1 | Bolsas no país concluídas |
| Processos vinculados | |