Melvin Fitting

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.

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[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 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)
  • 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)
  • Types, tableaus, and Gödel's God, Kluwer Academic Publ, coll. « Trends in logic » (no 12), , xv+120 (ISBN 978-1-4020-0604-3)
  • First-order logic and automated theorem proving, New York, 2nd, (1re é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 » (no 34), , xiv+288 (ISBN 978-0-19-852395-6, MR 1433595)
  • Incompleteness in the land of sets, Londres, College Publ, coll. « Studies in logic » (no 5), , xii+142 (ISBN 978-1-904987-34-5, MR 2404526)

Notes et références
  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

  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons – Attribution – Partage à l’identique. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.