【英】罗杰·彭罗斯,【美】马丁·戴维斯等