Melvin Fitting
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Distinction |
Melvin Fitting (né le à Troy, New York) est un logicien s'intéressant particulièrement à la logique philosophique et aux systèmes de preuve par la méthode des tableaux[1]. Il est professeur émérite depuis 2013.
Fitting obtient un B. Sc. à l'Institut polytechnique Rensselaer et un Ph. D. à l'université Yeshiva, tous deux en mathématiques. Sa thèse est dirigée par Raymond Smullyan[2].
Il est professeur au Lehman College et au Graduate Center de la City University de New York de 1968 à 2013[3]. Il est professeur émérite depuis 2013.
Au Graduate Center, Fitting travaillait dans les départements d'informatique, de philosophie et de mathématiques, et au Lehman College, dans le département de mathématiques et d'informatique.
Distinctions
En , Melvin Fitting est lauréat du prix Herbrand décerné par la Conference on Automated Deduction (en), pour ses contributions à la démonstration automatique de théorèmes[4].
