1936年图灵证明，具备读写无限纸带、移动读写头以及有限状态转移能力的机器可以实现任何可计算函数。