所罗门·费弗曼 所罗门费弗曼英語Solomon Feferman年月日年月日是一位美国哲学家和数学家专攻数理逻辑年获肖克獎