Saúde
Walter Carnielli
Texto da Wikipédia (pt), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
| Walter Carnielli | |
|---|---|
 Walter Carnielli em Berkeley, em 1984 | |
| Nascimento | |
| Nacionalidade | brasileiro |
| Alma mater | Universidade Estadual de Campinas |
| Carreira científica | |
| Orientador(es)(as) | Newton da Costa[1] |
| Campo(s) | matemática |
| Tese | 1982: Sobre O Método Dos Tableaux Em Lógicas Polivalentes Finitárias |
Walter Alexandre Carnielli (Campinas, 11 de janeiro de 1952) é um matemático, lógico e filósofo brasileiro.
É professor de lógica na Universidade Estadual de Campinas, onde foi bacharel mestre e doutor, em 1984, orientado por Newton da Costa. Pós-doutorado na Universidade da Califórnia em Berkeley, convidado por Leon Henkin.
Referências
- ↑ Walter Carnielli (em inglês) no Mathematics Genealogy Project
Ver também
- Lista de matemáticos do Brasil
Ligações externas
- Walter Carnielli (em inglês) no Mathematics Genealogy Project
