關於支援科學新聞業
如果您喜歡這篇文章，請考慮透過以下方式支援我們屢獲殊榮的新聞業 訂閱。透過購買訂閱，您正在幫助確保未來能夠繼續講述關於塑造我們當今世界的發現和想法的具有影響力的故事。
艾倫·圖靈是一位數學家，也是計算機科學的創始人之一，他在1936年證明，不可能設計出一種演算法來證明任何給定的程式總是能夠執行完成。他的論點的本質是，如果一個演算法分析自身並發現它無法停止，那麼它總是會出錯。“這會導致邏輯悖論，”堪薩斯州立大學計算機科學教授大衛·施密特評論道。在實用層面上，無法“終止”（在計算機術語中是這樣稱呼的）對於任何Windows作業系統的使用者來說都很熟悉，他們點選滑鼠按鈕後，會無限期地盯著沙漏圖示，表明程式正在無限迴圈地執行相同的程式碼行。
當前版本的微軟作業系統，即XP，比以前的版本更穩定。但是印表機、MP3播放器和其他裝置的製造商仍然編寫有缺陷的“驅動”軟體，讓外圍裝置與作業系統互動。因此，XP使用者並沒有對凍結的沙漏感到陌生。微軟的研究部門最近試圖透過專注於檢查驅動程式是否存在錯誤的工具來解決長期存在的挫敗感。