Walter Carnielli

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Walter Carnielli
Walter Carnielli em Berkeley, em 1984
Nascimento 11 de janeiro de 1952 (67 anos)
Campinas
Nacionalidade  Brasileiro
Alma mater Universidade Estadual de Campinas
Orientador(es) 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. Posdoutorado na Universidade da Califórnia em Berkeley, convidado por Leon Henkin.

Referências

Ver também[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]