英国著名数学家和逻辑学家阿兰·麦席森·图灵 （Alan Mathison Turing ），1836年发表了论文《论可计算数及其在判定问题中的应用》提出了著名的理论计算机的抽象模型——图灵机（Turing Machine）。图灵机在理论上能够模拟现代计算机的一切运算，被视为现代计算机的数学模型。这意味着图灵机上能解决的计算问题计算机才能解决，图灵机不能解决的计算问题即使在大型的现代计算机也解决不了。即图灵机能解决一切可计算问题。

我们说珠算与图灵机有相同的计算功能，就是说珠算能解决一切可计算问题。