That all computers can simulate each other is an immediate consequence of the theoretical work of Alan Turing and Alonzo Church.

• 所有计算机能够互相模拟，这是阿兰·图林和奥隆索·乔奇理论工作的直接结论。