先來說說圖靈的計(jì)算模型元潘。圖靈的證明是比丘齊的工作要晚一年浪规，但丘齊的lambda演算也不是橫空出世殊橙，往前有幾年前哥德爾不完備性定理的數(shù)學(xué)證明蚀之，?這...