Walter Alexandre Carnielli, nacido en Campinas, Brasil, en 1952, ha desarrollado una carrera como matemático, filósofo y profesor universitario. Su producción académica se centra en la lógica polivalente, la lógica paraconsistente y la combinatoria. A lo largo de su carrera, ha mantenido una larga asociación con la Universidad Estatal de Campinas, donde obtuvo sus títulos de grado y doctorado.
Formación académica y trabajo inicial
Carnielli completó sus títulos de grado y maestría en la Universidad Estatal de Campinas antes de obtener su doctorado en 1984 bajo la supervisión de Newton da Costa. Tras sus estudios doctorales, realizó una investigación posdoctoral en la Universidad de California, Berkeley, tras una invitación de Leon Henkin.
Contribuciones a la lógica
Su investigación se centra en la teoría de la demostración y la semántica de los sistemas polivalentes y paraconsistentes. Desarrolló un método de tableros para la lógica polivalente que generalizó los enfoques existentes. Su trabajo sobre la semántica de posibles traducciones proporcionó un nuevo marco interpretativo para la lógica paraconsistente, mientras que su exploración de las lógicas de la inconsistencia formal cerró la brecha entre la teoría paraconsistente y las aplicaciones en la informática.
Combinatoria y lógicas moduladas
Carnielli ha publicado sobre combinatoria finita e infinita, incluyendo investigaciones sobre problemas de dominio de torres. En colaboración con A. M. Sette y P. A. Veloso, desarrolló lógicas moduladas, un sistema diseñado para la formalización del razonamiento cualitativo a través de cuantificadores generalizados. Sus intereses de investigación más amplios abarcan la teoría de modelos, los fundamentos de la computación cuántica y la metodología de combinación de sistemas lógicos.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Liderazgo institucional y reconocimiento
Carnielli cumplió tres mandatos como Director del Centro de Lógica, Epistemología e Historia de la Ciencia en la Universidad de Campinas y ocupó la presidencia de la Sociedad Brasileña de Lógica. Ha formado parte de los consejos editoriales de publicaciones como Studia Logica y el Journal of Applied Logic. Su investigación ha sido apoyada por una beca Alexander von Humboldt, y fue galardonado con la Medalla de Oro Telesio-Galilei en 2012.
Datos rápidos
- Nacimiento: 1952, Campinas, Brasil - Doctorado: Universidad Estatal de Campinas, 1984 - Posdoctorado: Universidad de California, Berkeley - Empleador actual: Universidad de Campinas - Campos principales: Lógica matemática, combinatoria, filosofía - Premio principal: Medalla de Oro Telesio-Galilei, 2012
Preguntas frecuentes de los lectores
### ¿Cuál es el enfoque de la investigación de Carnielli en lógica?
Se especializa en lógica polivalente, lógica paraconsistente y la sistematización de la inconsistencia formal para apoyar aplicaciones en la informática.
### ¿Dónde ha ocupado Carnielli cargos de liderazgo académico importantes?
Se desempeñó como Presidente de la Sociedad Brasileña de Lógica y como Director del Centro de Lógica, Epistemología e Historia de la Ciencia en la UNICAMP.
.jpg)
