Melvin Fitting

logicien américain

Melvin Fitting (né le 24 janvier 1942 à 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.

Melvin Fitting
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Voir et modifier les données sur Wikidata (82 ans)
TroyVoir et modifier les données sur Wikidata
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Distinction

Carrière

modifier

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

modifier

En juin 2012, 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].

Livres (sélection)

modifier
  • avec Greer Fitting, Numbers, Londres, College Publications, coll. « Texts in Mathematics » (no 7), , xvi+219 (ISBN 978-1-84890-335-7, zbMATH 1462.00009).
  • avec Sergej N. Artemov, Justification logic: reasoning with reasons, Cambridge University Press, coll. « Cambridge tracts in mathematics » (no 216), , xxi+ 247 (ISBN 978-1-108-42491-2)

Notes et références

modifier
  1. « Citations de Google Scholar pour Melvin Fitting »
  2. (en) « Melvin Chris Fitting », sur le site du Mathematics Genealogy Project
  3. Jean-Louis Lassez et Gordon Plotkin (éditeurs), Computational Logic — Essays in Honor of Alan Robinson, Cambridge, Massachusets, MIT Press, (ISBN 978-0-262-12156-9), p. 723–724.
  4. Leading Mathematics and Computer Sciences Researcher Wins Prestigious Award

Liens externes

modifier