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. Il est professeur émérite depuis 2013.
Carrière
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.
Il est professeur au Lehman College et au Graduate Center de la City University de New York de 1968 à 2013.. 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 , pour ses contributions à la démonstration automatique de théorèmes.
Livres (sélection)
.
Notes et références
Liens externes
Melvin Fitting, page personnelle. CUNY Graduate Center, page de la faculté.
Catégorie:Étudiant de l'université Yeshiva Catégorie:Personnalité en théorie de la démonstration Catégorie:Étudiant de l'institut polytechnique Rensselaer Catégorie:Personnalité en théorie de la calculabilité Catégorie:Logicien américain Catégorie:Philosophe américain du XXIe siècle Catégorie:Philosophe américain du XXe siècle Catégorie:Naissance en janvier 1942