先來說說圖靈的計算模型。圖靈的證明是比丘齊的工作要晚一年翎蹈，但丘齊的lambda演算也不是橫空出世巴碗，往前有幾年前哥德爾不完備性定理的數(shù)學證明，?這...