然辩证法研.pdfVIP

维普资讯 一 料 学， · 可辞陛 ， 然辩证法研 可计算性与不可解性及其哲学底蕴 郝 宁 湘 N0 大量算法，但有些问题至今还足找不到解 决它们 的 1 引言：计算与算法 算法，如丢番图问题等。于是有人开蛄怀疑这些 问 题是否存在算法 为 了证 明这些 问题不存在 相应 的 计算 是 一个 无人不知 无 人不 晓 的数学 概 算 法或 是 不可 解 的，进 -步 弄 清楚 哪些 问题 是 念。可以说．每个人的数学活动总是以计 数和计算 存在算法或可解的，哪些问题 是不存在算法或 不可 开始的，而且这是数学与人们El常生话联 系得最直 解 的，这就需要 把算法概念 或可计算性 概念 精 确 接 最密切的一环。然而就是这么一个连小学生都 化 严格化 因为这些概念原本都是些含混 的 日常 知道的基本概念，却有着极其深刻的数学 内涵和哲 性直观性概念，只有对它们进 行精确地 数 学 定义 学底蕴．尽管谁都能计算 几道数学题，但 真正能 眵 后，才能使其成为数学对象来处理．本世纪 3o年代 回答计算的本质是什么以及相关的各类 问题 的人恐 这个 问题终于得到解决．递归论、算法 沧就 是专 门 怕不会太多．可以说，在本世纪之前，对予什么样 讨论可计算性问题的。从此．可计算性 不可解性 的问题是可计算 的，什么样 的 问题 是不可计 算 的， 等概念均有了精确的数学定义，人们对可计算性 还投有 人作过认真地 思考。当然 现在 的许 多人都 不可解性等问题有了长足的认识。下面我们试图就 相信，一个数学问题原则上总是可 以计 算 (或判 有美理论作一直观 的阐述 ．同时就其深刻 的哲学底 定)的，一时投有解决只是因为投有找到相应的算 蕴谈点初步 的看法 。 法 (方法)．并且 坚信总有一 天是可 以解 决的。现 在看来这种信念不仅是毫无根据的，而且是与事实 2 递归论、算法论及其哲学底蕴 相悖 的 ． 算法是一个 与计 算具有同等地位的基本概念． 由于哥德尔等人的工作，原始递归 函数的提 出 马上我们就可 以看到，一个 问题是不是可计算 的 ． 太太促进了人们对可计算 函数的认识 。所谓 原始递 与该 问题是不是具有 一个相应的算法 是完全 等价 归函数是指 由韧始 函数出发．经过有限次 的代 人与 的。一般而言，算法就是求解某类问题 的通用法则 原始递归式而作出的函数。初始函数是如下三种最 或方 {击．对算法人们一贯有一种很 自然的要求—— 简单最基 本的函数：零 函数 0 ：q 射 影 函数 能行性 ，即要求算法能够在有限步骤内一步一步地