摘要：
------来自科学松鼠会-------希尔伯特问题三：数学是可判定的吗？也就是说，能够找到一种方法，仅仅通过机械化的计算，就能判定某个数学陈述是对是错？数学证明能否机械化？图灵机的示例。绿点指示处为当前状态，每条规则的4项分别是：当前位置读入的字符、当前位置写入的字符、纸带的移动方向、将要转移到的... 阅读全文
posted @ 2015-04-20 20:37
陈不二
阅读(2471)
评论(0)
推荐(0)
浙公网安备 33010602011771号