“三个中国人”的故事

计算机协会的计算理论会议是计算机科学方面的一个有权威性的会议,每年春末召开,今年是第十二届,地点在美国加州洛杉矶。这个会议的论文集素来是当代计算机科学发展方面的重要文献。今年的会议曾征集到几百篇论文,从中选出了四十馀篇。中国计算机科学家洪加威的报告《关于决定性空间完全性问题》也被大会录取。对中国来说这是第一次。完全性问题是理论计算机科学中非常重要的问题,它引起了许多学者的注意。完全性问题分为决定性的和非决定性的、时间的和空间的。其中决定性空间完全性问题多年来一直没有找到。洪加威的论文提出了一种新的方法从而找到了这种问题。其方法之巧妙与结果之精细赢得了普遍的赞赏。