系统”的脚注中给出：这可以转述如下：图灵则是如此描述的：
等价形式.本论题的另外一种说法就是逻辑和数学中的"有效或机械方法"可由图灵机来表示。通常我们假定这些方法必须满足以下的要求：此类方法的一个范例便是用于确定两个自然数的最大公约数的欧基里德算法。“有效方法”这个想法在直觉上是清楚的，但却没有在形式上加以定义，因为什么是“一个简单而精确的指令”和什么是“执行这些指令所需的智力”这两个问题并没有明确的答案。（如需欧几里得算法之外的范例，请参见数论中的有效结果。）S