Deutsch 指出，每一个算法都是由一个物理系统来执行的，无论是一个有纸和铅笔的数学家，还是一个像算盘这样的机械系统，或是一台现代计算机。
1985 年，英国物理学家大卫 · 德伊奇（David Deutsch）提出了一个更深入的方法来定义算法。Deutsch 指出，每一个算法都是由一个物理系统来执行的，无论是一个有纸和铅笔的数学家，还是一个像算盘这样的机械系统，或是一台现代计算机。Deutsch 提出这样一个问题：是否有一个（单个）通用计算设备可以有效地模拟任何其他物理系统？如果有这样的设备，您可以使用它来执行任何算法，因为算法必须在某种物理系统上执行。因此，这台设备将是一台真正通用的计算机。更重要的是，Deutsch 指出，你不需要像 Turing 那样依赖非正式的启发式参数来证明你的算法概念。你可以用物理定律来证明你的设备是通用的。