Martin Davis | other interests