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