阵谜数学家名字叫什么