Melvin Fitting

Melvin Fitting

Biographie

Naissance	24 janvier 1942 (82 ans) Troy
Nationalité	américaine
Formation	Institut polytechnique Rensselaer Université Yeshiva
Activités	Philosophe, professeur d'université, informaticien

Autres informations

A travaillé pour	Université de la Ville de New York
Directeur de thèse	Raymond Smullyan
Distinction	Prix Herbrand (2012)

modifier - modifier le code - modifier Wikidata

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 » (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)

Notes et références

• (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Melvin Fitting » (voir la liste des auteurs).

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, 1991 (ISBN 978-0-262-12156-9), p. 723–724.
4. Leading Mathematics and Computer Sciences Researcher Wins Prestigious Award

Liens externes

• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Google Scholar
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Japon
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
  • Suède
  • Norvège
  • Tchéquie
  • WorldCat
• Melvin Fitting, page personnelle.
• CUNY Graduate Center, page de la faculté.