What Columbia University professor proved the Earle-Hamilton fixed-point theorem with Clifford Earle in 1968?
Richard S. Hamilton Richard Streit Hamilton (born 1943) is Davies Professor of Mathematics at Columbia University.
Melvin Fitting Melvin "Mel" Fitting (born January 24, 1942 in Troy, New York) is a logician with special interests in philosophical logic and tableau proof systems. From 1968 to 2013 he was a Professor at City University of New York, Lehman College and the Graduate Center. At the Graduate Center he was in the departments of Computer Science, Philosophy, and Mathematics, and at Lehman College he was in the department of Mathematics and Computer Science. He is now Professor emeritus. His undergraduate degree is from Rensselaer Polytechnic Institute, and his doctorate is from Yeshiva University, both in mathematics. His thesis advisor was Raymond Smullyan.