先来说说图灵的计算模型。图灵的证明是比丘齐的工作要晚一年，但丘齐的lambda演算也不是横空出世，往前有几年前哥德尔不完备性定理的数学证明，�这...