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
Possui graduação (2005) em matemática pela Universidade Estadual de Londrina - UEL, mestrado (2008) e doutorado (2013) em filosofia (área de concentração: lógica matemática) pela Universidade Estadual de Campinas - Unicamp. (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) |
George Boole inaugurou o estudo da lógica matemática tentando estabelecer, tanto quanto possível, as inter-relações da lógica com a aritmética, para que esta pudesse ser aplicada como ferramenta formal na investigação das inferências lógicas sobre uma certa categoria de proposições.Esta perspectiva original de Boole -- que chamamos de "paradigma aritmético" da lógica --foi abandonada prec…
Em 1975, Alfred Tarski visitou a Unicamp, tendo proferido duas conferências, nas quais apresentou sua axiomatização para as estruturas de "álgebra relacional" (RA). Nessa ocasião, Tarski deixou alguns problemas em abertos, entre os quais, apresentamos o seguinte: as RAs foram desenvolvidas, em princípio, para serem a contra-parte algébrica da lógica de primeira ordem clássica, no entanto,…
| 2 | Bolsas no país concluídas |
| Processos vinculados | |