数理逻辑.ppt

在大众的意识里，计算首先指的就是数的加减乘除， 其次则为方程的求解、函数的微分积分等； 懂的多一点的人知道，计算在本质上还包括定理的证明推导。 可以说，“计算”是一个无人不知无人不晓的数学概念 。 * 美国计算机协会 计算机协会(Association of Computing Machinery, 简称ACM)是一个国际性的科技教育组织，创立于1947年，是世界上第一个科学性及教育性计算机学会，总部设在美国纽约。ACM致力于提高信息技术在科学、艺术等各行各业的应用水平。从成立之初ACM就开始为会员的信息、思想和发现提供交流平台，截至2007年ACM已经拥有100多个国家和地区的超过83，000名专业会员，他们来自企业、学术机构和政府组织。 37:8080/discrete/xxwb/tj/chap12.htm 定义12.11 称为图灵可计算函数，如果存在一台图灵机 定理12.24本原函数：后继函数、常值函数和投影函数是图灵可计算函数。 定理12.25如果 , … , , 是图灵可计算函数,那么，复合函数 ,…, 也是图灵可计算函数。 定理12.26如果 , 是图灵可计算函数，那么原始递归式定义的函数 也是图灵可计算函数。 将n依次与12，22，…作比较总可求得g(n)的值，所以g(n)是可计算的。 因为π的展式是一个无穷序列，要计算上述函数可能是一个无限过程。故函数为不可计算函数。 * 为了回答究竟什么是计算、什么是可计算性等问题，人们采取的是建立计算模型的方法。从20世纪30年代到40年代，数理逻辑学家相继提出了四种模型，它们是一般递归函数、λ可计算函数、图灵机和波斯特(E.L.Post，1897-1954)系统。这种种模型完全从不同的角度探究计算过程或证明过程，表面上看区别很大，但事实上却是等价的，即它们完全具有一样的计算能力。在这一事实基础上，最终形成了如今著名的丘奇-图灵论点：凡是可计算的函数都是一般递归函数(或是图灵机可计算函数等)。这就确立了计算与可计算性的数学含义。 丘奇于1936年公开发表了他早在两年前就孕育过的一个论点，即著名的丘奇论点：每个能行地可计算的函数都是一般递归函数。 著名的图灵论点：能行可计算函数都是用图灵机可计算的函数。 递归论讨论的是从形式上刻划一个运算或一个进程的“能行”性这种直观的观念，也就是从原则上讲，它们能机械地进行而产生一个确定的结果。“能行”的这个概念含有可具体实现的、有效的、有实效的等等意思。法国数学家保莱尔首先在1898年他的函数论教科书中引进了这个词，他把数学的对象局限于能行的对象，这种主张实际上就是“法国经验主义”。因为函数论主要讨论集合、函数、积分等等，从这种观点产生出描述集合论、拜尔函数等概念。 算术Arithmetic 算术差指没有负数的概念 Absolute difference 算术Arithmetic 算术差指没有负数的概念 Absolute difference Residue common divisor common multiple Residue common divisor common multiple N2y=N(Ny) N2y=N(Ny) 记A: x ≠ 0. A为真时, x ≠ 0,由Nx的定义知, Nx=0； 而A为假时, x=0,由Nx的定义知, Nx=1。 记B: x = 0. A为真时, x = 0,由N2x的定义知, N2x=0； 而A为假时, x ≠ 0,由N2x的定义知, N2x=1； x与y互质=最大公约数为1 * * 数理逻辑 命题演算 谓词演算 集合论 模型论 递归论 证明论 形式语言的语法与语义之间的关系 可计算性 可判定性 数学本身的无矛盾性 两个演算 四论 第五章 递归函数论 首先指的就是数的加减乘除； 其次则为方程的求解、函数的微分积分等； 计算在本质上还包括定理的证明推导。 可以说，“计算”是一个无人不知无人不晓的数学概念 。 什么是计算 ？ 什么是计算 ？ 从符号串12+3变换成15就是一个加法计算。 如果符号串f是x2 ，而符号串g是2x,从f到g的计算就是微分。 令f表示一组公理和推导规则，令g是一个定理,那么从f到g的一系列变换就是定理g的证明。 如f代表一个英文句子，而g为含意相同的中文句子，那么从f到g就是把英文翻译成中文。 ——从己知符号(串)开始，一步一步地改变符号(串)，经过有限步骤，最后得到一个满足预先规定的符号(串)的变换。 可计算函数？ 例1 例2 可计算性理论的计算模型 递归函数 Turing机 λ演算 POST系统 丘奇-图灵论点：凡是可计算的函数都是一般递归函数(或是图灵机可计算函数