计算理论导引6可计算理论高级专题精编.pptVIP

计算理论 会全空会 康熠华 主要内容 6.1递归定理 611自引用 612递归定理的术语 613应用 62逻辑理论的可判定性 621一个可判定的理论 622一个不可判定的理论 63图灵可归约性 64信息的定义 64.1极小长度的描述 64.2定义的优化 643不可压缩的串和随机性 逻辑理论的可判定性 口数理逻辑是数学的一个分支,它研究数学本身 口数理逻辑关心如下问题:什么是定理?什么是证明?什么 是真?算法能判定哪些命题是真的?所有真命题都是可证 的吗? 口关心的焦点:能否确定一个数学命题是真是假,以及这种 问题的可判定性。 逻辑理论的可判定性 口首先需要建立一个精确的语言来将这些问题形式化。我们 的要求是能够考虑如下数学命题 1)vq彐pVx,ypq∧(x,y1→xy≠p) 2)Va,b,C,n{(a,b,C0∧n2)→a+b”≠C] )Vq彐px,ypq∧(x,y1→(xy≠p∧xy≠p+2) 命题1称,有无限多个素数存在,在大约2300年以前的欧几 里德时代,就已知道这个命题是真的 命题2称为费马大定理,这个命题几年前由安德鲁·威尔士 ( Andrew Wiles)证明为真 命题3称,有无限多个素数对存在,这被称为孪生素数猜想 twin prime conjecture)。它到现在还未被解决 逻辑理论的可判定性 为了将之进一步精确化,现在描述这个语言的字母表 八,v