关于支持科学新闻业
如果您喜欢这篇文章，请考虑通过以下方式支持我们屡获殊荣的新闻业 订阅。通过购买订阅，您正在帮助确保未来能够继续讲述关于塑造我们当今世界的发现和想法的具有影响力的故事。
艾伦·图灵是一位数学家，也是计算机科学的创始人之一，他在1936年证明，不可能设计出一种算法来证明任何给定的程序总是能够运行完成。他的论点的本质是，如果一个算法分析自身并发现它无法停止，那么它总是会出错。“这会导致逻辑悖论，”堪萨斯州立大学计算机科学教授大卫·施密特评论道。在实用层面上，无法“终止”（在计算机术语中是这样称呼的）对于任何Windows操作系统的用户来说都很熟悉，他们点击鼠标按钮后，会无限期地盯着沙漏图标，表明程序正在无限循环地执行相同的代码行。
当前版本的微软操作系统，即XP，比以前的版本更稳定。但是打印机、MP3播放器和其他设备的制造商仍然编写有缺陷的“驱动”软件，让外围设备与操作系统交互。因此，XP用户并没有对冻结的沙漏感到陌生。微软的研究部门最近试图通过专注于检查驱动程序是否存在错误的工具来解决长期存在的挫败感。