Loading AI tools
Filósofo, lógico e matemático brasileiro Da Wikipédia, a enciclopédia livre
Walter Alexandre Carnielli (Campinas, 11 de janeiro de 1952) é um matemático, lógico e filósofo brasileiro.
Walter Carnielli | |
---|---|
Walter Carnielli em Berkeley, em 1984 | |
Nascimento | 11 de janeiro de 1952 (72 anos) Campinas |
Nacionalidade | brasileiro |
Alma mater | Universidade Estadual de Campinas |
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 |
É 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.