240 发简信
IP属地:山西
  • 120
    图灵的光辉

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