Melvin Fitting
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() Troy ![]() |
---|---|
Nationalité | américaine ![]() |
Formation | Institut polytechnique Rensselaer Université Yeshiva ![]() |
Activités | Philosophe, professeur d'université, informaticien ![]() |
A travaillé pour | |
---|---|
Directeur de thèse | Raymond Smullyan ![]() |
Distinction | Prix Herbrand () ![]() |
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 » (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
- (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).
- ↑ « Citations de Google Scholar pour Melvin Fitting »
- ↑ (en) « Melvin Chris Fitting », sur le site du Mathematics Genealogy Project
- ↑ 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.
- ↑ 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é.
Portail de l'informatique théorique
Portail de la logique