对经典数学的思考与拓展——可拓数学的产生及意义.pdfVIP

维普资讯 第 18卷．第 1期 科 学 技 术 与 辩 证 法 Vo118 No．1 2001年 2月 Science，TechnologyandDialectics Feb．，2001 对经典数学的思考与拓展 可拓数学的产生及意义 康志荣，任平泉 (山西省吕梁高等专科学校，山西 离石 033000) 摘 要：本文针对经典数学来自擞观、宏观数学方法论两方面的严峻挑战，从经典数学高度的抽象性、严 密的逻辑性、广适的应用性出发进行了分析思考，揭示了经典数学的局限．阐明了其它数学产生的背景和多种 数学并存发展的意义，特别是阐述了可拓数学的产生背景、基本思想、意义。 关键词：经典数学；模糊椠合；物元；可拓集合 中圈分类号：O143 文献标识码：A 文章编号：1003—5680{2001)叭一0057—05 我 粥 1874年德国数学家康托 (G．Cantor)提出的集合 成果。德国数学家策莫洛(Z叮|rIel0)，从对罗紊悖论的分析 论称为经典集合论 ，建立在经典集合论基础上的数学称为经 中，将经典集合论与初等逻辑相汇合，对经典集合理论实行 典数学。众所周知，经典数学经历了五千多年漫长的孕育、 公理化的方法，19o8年建立 了经典集合公理系统 ；1921年 发展历程 ，已成长为一棵十分粗壮茂盛的大甜，建设成一座 — — 1923年经Fraenkd与 Sko]elxl给出了一个严格的解释 ， 高、精、尖而富丽堂皇的金字塔。但是 ，在经典数学取得巨大 并对 Zer~lelo公理系统作了改进，形成了今天著名的ZF系 发展和获得极大成功的时候 ，它也面临着来自两方面的严峻 统，加上选择公理就成了ZFC系统。至今虽然使得以ZFC 挑战：一方面在微观数学方法论方面，本世纪初，来自经典数 系统为基础能够开展出全部(至少是主要的)经典数学理论． 学内部，由英国哲学家和数学家罗紊 (RusseU)于 1902年提出 且在该系统中避免了所有已知的经典集合论悻论 ，但是 1931 的悖论，冲击了经典集合论和经典数学体系的相容性，动摇 年产生了具有深刻数学和哲学意义的，曾被誉为数学与逻辑 着经典数学的集合论基础，由此而震动着整个经典数学的大 发展史上—个里程碑的，关于形式系统的哥德尔不完备性定 厦，引发了至今仍使数学工作者忧心忡忡的 “第三次数学危 理，揭示了被认为是可靠的任何形式体系都是不充分的，都 ’的挑战_l0 ；另一方面在宏观数学方法论方面，本世纪 存在 “不可判定的”问题。因此，ZFC系统并没有从根本上克 印年代 ，来自经典数学外部，提出了诸多现实世界大量存在 服了经典数学的缺陷，使得经典数学得到实质性的拓展。 而经典数学不能包容和无法描述 、处理的事物，如人脑思维 一 模糊数学对经典数学的拓展 活动中的形象思维和灵感思维本身很大程度上所具有的模 糊性、可变性，以及计算机科学向模拟人脑的思维，应付、处 众所周知，经典数学服从于二值逻辑的同一律、矛盾律 、 理复杂多变环境的发展，需要新数学方法、新数学工具去描 排中律，二值逻辑的这三条简单而又协调一致且有机结合的 述 、刻划和处理的挑战 J。如何迎接挑战、解决这些问题、拓 逻辑定律，加上数学定量化、符号化、形式化、抽象化的特征， 展经典数学?这是一个需要系统思考而又非常难以回答和 使得经典数学具有让人折服而又令人生畏的严密的逻辑性。 解决的大问题。本文试图思考这个问题与同仁们共同研计， 但是，它固守于二值逻辑的这三条 “戒律”，这样诚然维护着 以推动数学的发展。 经典数学的 “尊严 ，但也使它与许多美好的东西失之交臂。 自从罗素悖论出现后，引起了西方哲学界、逻辑学界和 在经典集合中，一个对象对于一个集合，要厶／属于 ，要厶／ 数学界