Melvin Fitting

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.

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].

• avec Greer Fitting, Numbers, Londres, College Publications, coll. « Texts in Mathematics » (n^o 7), 2020, 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 » (n^o 216), 2019, xxi+ 247 (ISBN 978-1-108-42491-2)

• Types, tableaus, and Gödel's God, Kluwer Academic Publ, coll. « Trends in logic » (n^o 12), 2002, xv+120 (ISBN 978-1-4020-0604-3)
• First-order logic and automated theorem proving, New York, 2nd, 1996 (1^re éd. 1990) (ISBN 978-1-4612-7515-2, DOI 10.1007/978-1-4612-2360-3, lire en ligne)
• avec Raymond M. Smullyan, Set theory and the continuum problem, New York, Clarendon press, Oxford University Press, coll. « Oxford Logic Guides » (n^o 34), 1996, xiv+288 (ISBN 978-0-19-852395-6, MR 1433595)
• Incompleteness in the land of sets, Londres, College Publ, coll. « Studies in logic » (n^o 5), 2007, xii+142 (ISBN 978-1-904987-34-5, MR 2404526)