Melvin Fitting

Melvin Chris Fitting (* 24. Januar 1942 in Troy (New York)) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik, Informatik und Philosophie der Mathematik befasst.

Leben

Fitting studierte am Rensselaer Polytechnic Institute mit dem Bachelor-Abschluss und wurde 1968 an der Yeshiva University bei Raymond Smullyan promoviert (Intuitionistic Logic, Model Theory, and Forcing).[1] Danach war er Professor am Lehman College der City University of New York (CUNY) und lehrte auch am Graduate Center der CUNY.

Er ist ein Pionier auf dem Gebiet der Tafel-basierten (Tableau Method) automatischen Beweissysteme und schrieb darüber Lehrbücher.

2012 erhielt er den Herbrand Award der Conference on Automated Deduction (CADE) auf der International Joint Conference on Automated Reasoning (IJCAR).

Schriften

Intuitionistic Logic, Model Theory, and Forcing, North-Holland, Amsterdam, 1969
Fundamentals of Generalized Recursion Theory, North-Holland, Amsterdam, 1981.
Proof Methods for Modal and Intuitionistic Logics, D. Reidel, Dordrecht, 1983
Computability Theory, Semantics and Logic Programming. Oxford University Press, 1987
First-Order Logic and Automated Theorem Proving, Springer 1990, 2. Auflage 1996
mit Raymond Smullyan: Set Theory and the Continuum Problem, Oxford University Press 1996, Dover 2010
mit Richard Mendelsohn: First order modal logic, Kluwer 1998
Incompleteness in the Land of Sets, College Publications, 2007
Basic modal logic, in Dov M. Gabbay, C.J. Hogger,J.A. Robinson (Hrsg.): Handbook of Logic in Artificial Intelligence and Logic Programming, Band 1, Oxford University Press 1993, S. 368–448
Types, Tableaus, and Goedel's God, Kluwer, 2002
Modal Proof Theory, in Patrick Blackburn, Johan van Benthem, Frank Wolter (Hrsg.), Handbook of Modal Logic, Kapitel 2, Springer-Verlag, 2006.
Formal Methods, Vincent Hendricks, John Symons (Hrsg.): Formal Philosophy, Automatic Press, 2005, Kapitel 4, S. 27–33
Intensional Logic - Beyond First Order, in:Vincent F. Hendricks, Jacek Malinowski (Hrsg.), Trends in Logic: 50 Years of Studia Logica, Kluwer 2003, S. 87–108
Herausgeber mit Ewa Orlowska: Beyond Two: Theory and Applications of Multiple-Valued Logic, Springer, 2003.
Einführung in: Marcello D´Agostino, Dov Gabbay, Reiner Hähnle, Joachim Posegga: Handbook of Tableau Methods, Springer 1999

Weblinks

Einzelnachweise

Melvin Fitting im Mathematics Genealogy Project (englisch)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Melvin Fitting im Mathematics Genealogy Project (englisch)