Dr. Martin J. Davis retires