IBM PC 於 1981 年推出，幾乎正好是回到圖靈 1936 年關於可計算性理論的偉大論文的中間點。