Walter Alexandre Carnielli, nascido em Campinas, Brasil, em 1952, construiu uma carreira como matemático, filósofo e professor universitário. A sua produção académica centra-se na lógica polivalente, lógica paraconsistente e combinatória. Ao longo da sua carreira, manteve uma longa associação com a Universidade Estadual de Campinas, onde obteve os seus graus de graduação e doutoramento.
Formação académica e trabalho inicial
Carnielli completou os seus graus de bacharelato e mestrado na Universidade Estadual de Campinas antes de obter o seu doutoramento em 1984 sob a supervisão de Newton da Costa. Após os seus estudos de doutoramento, realizou investigação pós-doutoral na Universidade da Califórnia, Berkeley, a convite de Leon Henkin.
Contribuições para a lógica
A sua investigação centra-se na teoria da prova e semântica de sistemas polivalentes e paraconsistentes. Desenvolveu um método de tabló para lógica polivalente que generalizou abordagens existentes. O seu trabalho sobre semântica de traduções possíveis forneceu um novo quadro interpretativo para a lógica paraconsistente, enquanto a sua exploração das lógicas da inconsistência formal colmatou a lacuna entre a teoria paraconsistente e aplicações na ciência da computação.
Combinatória e lógicas moduladas
Carnielli publicou sobre combinatória finita e infinita, incluindo investigação sobre problemas de domínio de torres. Em colaboração com A. M. Sette e P. A. Veloso, desenvolveu lógicas moduladas, um sistema concebido para a formalização do raciocínio qualitativo através de quantificadores generalizados. Os seus interesses de investigação mais amplos abrangem a teoria de modelos, fundamentos da computação quântica e a metodologia de combinação de sistemas lógicos.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Liderança institucional e reconhecimento
Carnielli cumpriu três mandatos como Diretor do Centro de Lógica, Epistemologia e História da Ciência na Universidade de Campinas e ocupou a presidência da Sociedade Brasileira de Lógica. Serviu em conselhos editoriais de publicações como Studia Logica e o Journal of Applied Logic. A sua investigação foi apoiada por uma bolsa Alexander von Humboldt, e foi galardoado com a Medalha de Ouro Telesio-Galilei em 2012.
Factos rápidos
- Nascimento: 1952, Campinas, Brasil - Doutoramento: Universidade Estadual de Campinas, 1984 - Pós-doutoramento: Universidade da Califórnia, Berkeley - Empregador atual: Universidade de Campinas - Áreas principais: Lógica matemática, combinatória, filosofia - Prémio principal: Medalha de Ouro Telesio-Galilei, 2012
Perguntas dos leitores
### Qual é o foco da investigação de Carnielli em lógica?
Especializa-se em lógica polivalente, lógica paraconsistente e na sistematização da inconsistência formal para apoiar aplicações na ciência da computação.
### Onde Carnielli ocupou cargos de liderança académica importantes?
Serviu como Presidente da Sociedade Brasileira de Lógica e como Diretor do Centro de Lógica, Epistemologia e História da Ciência na UNICAMP.
.jpg)
