Photo of Martin T. Davis Martin T. Davis