界华人盛典希望之星”。
评价.国际逻辑学知名专家、芝加哥大学数学系教授邓尼斯·汉斯杰弗德写信评价他：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴。”“请接受我对你令人赞叹的惊奇的成果的祝贺！”芝加哥大学博士达米尔·扎法洛夫：“这是一个重要的结果，过去20多年许多着名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”