Melvin Fitting (nacido el 24 de enero de 1942) es un lógico con intereses especiales en la lógica filosófica y los sistemas de prueba de cuadros . [a] Fue profesor en City University of New York , Lehman College y Graduate Center . [1] : 723–724 de 1968 a 2013. En el Centro de Graduados estuvo en los departamentos de Ciencias de la Computación, Filosofía y Matemáticas, y en Lehman College estuvo en el departamento de Matemáticas y Ciencias de la Computación. Ahora es profesor emérito .
Melvin Fitting | |
---|---|
Nació | 24 de enero de 1942 |
alma mater | |
Premios | Premio Herbrand por CADE , junio de 2012 |
Carrera científica | |
Campos | Matemáticas, filosofía, informática |
Instituciones | Universidad de la ciudad de Nueva York |
Asesor de doctorado | Raymond Smullyan |
Fitting nació en Troy, Nueva York . Su licenciatura es del Instituto Politécnico Rensselaer y su doctorado es de la Universidad Yeshiva , ambos en matemáticas. Su asesor de tesis fue Raymond Smullyan .
En junio de 2012 , el CADE le otorgó a Melvin Fitting el premio Herbrand Award por sus destacadas contribuciones a la deducción automática . [B]
Una motivación suelta para gran parte del trabajo de Melvin Fitting se puede formular de manera sucinta de la siguiente manera. Hay muchas lógicas. Nuestros principios de razonamiento varían según el contexto y el tema. La multiplicidad es una de las glorias de la lógica formal moderna. El hilo común que une las lógicas es una preocupación por lo que se puede decir (sintaxis), lo que eso significa (semántica) y las relaciones entre los dos. Se ha demostrado que una posición filosófica que puede encarnarse en una lógica formal es coherente, no correcta. La lógica es una herramienta, no un maestro, pero es una herramienta agradable de usar. [ cita requerida ]
Notas
Referencias
- ^ Jean-Louis Lassez; Gordon Plotkin , eds. (1991). Lógica computacional - Ensayos en honor a Alan Robinson . Cambridge / MA: MIT Press. ISBN 978-0-262-12156-9.
enlaces externos
- Melvin Fitting , página de inicio oficial
- The Graduate Center , página de profesores de CUNY
- Proyecto de genealogía matemática