做否证是个“缺德”的事,有点那么“一将功成万骨枯”的韵味,也有点那么“舍我其谁,颐指气使”的嚣张劲。做“否证”,砸了一个行当,肥了一己之私。哥德尔,算不上空前绝后,但就影响,堪称深远。或许几千年来为人所迷惑,唯此君拨开云雾尚算不上经典,只怕数百年后,人人仍口口相传,其洞见历久弥坚,犹如笛卡尔,方可算一代大家。
同所有的否证一样,尺规问题的代数化破灭了“三等分角”、“倍立方体”、“化圆为方”。哥德尔不完备定理也彻底让希尔伯特的“元数学”计划破产。GEB里不无有趣的调侃其“阿拉丁神灯”的段子。“愿望类型化”、“元灯”、“元怪物”、“元元怪物”……罗素的类型化从逻辑为基础重塑数学大厦,但应用到现实颇为繁琐,主流上,从集合论公理化(ZFC)解决了可怕的罗素悖论,数学大厦之基得以保全。虽根基得以幸免,然则疆域却被哥德尔硬生生给划拨了一块去了神秘的未知。数学、逻辑并非万能!
人工智能先驱们也有彷徨,无论确定形式系统怎样的一集公理,其不完全皆已根深蒂固、先天决定。人,才是系统外洞察秋毫之神明。智慧,则潜藏在这洞察之中,这一集公理之外。马尔文·明斯基如是说:“感觉,而非逻辑,那正是智能之所在!”直觉主义与形式主义的PK似乎,这一段落下,笛卡尔之流这样的二元论者着实是占了上风。不得不感叹400年前,这位爱睡懒觉、“我思故我是”的先贤之深思远见。
罗素、怀特海的《数学原理》仍被奉作今逻辑之正统经典,其规划的类型体系杜绝了悖论,逻辑之旁枝声势依然孱弱。达·斯科特的次协调逻辑在这众多派系中并不显眼。或许该成果只是专营之堆砌,但其大胆弱化矛盾律,抛弃司各脱律之创见,愚深以为然!!!如作者之比喻,关于几何平行第五公设之解禁,非欧几何,奇葩般绽放盛开。并非所有矛盾都是无意义的!这不正是黑格尔和维特根斯坦的哲学远见之所在吗?
或许对待矛盾、悖论,我们换副眼镜,变个万花筒,智能是什么?这就更清澈了。
分享到:
相关推荐
在数学基础上,因素空间理论为机制主义人工智能提供了支撑,它可能是泛逻辑学理论在形式化和计算上的数学工具。协调学、可拓学和集对分析等其他理论则进一步丰富了人工智能的基础理论,这些理论共同构成了一个综合的...
5. **数理逻辑**:探讨数学命题的形式系统,包括公理化方法、一致性证明和完备性定理,对于理解和建立形式化的计算模型非常关键。 6. **关系与函数**:研究两个集合间的关联,包括函数的定义、性质、复合函数以及...
形式化分析是一种利用数学和逻辑方法对系统进行精确描述和验证的技术。它能够帮助开发者准确地定义系统的功能需求,并通过严格的数学证明来检查系统的正确性。在安全协议领域,形式化分析的目标主要是验证协议的安全...
而哥德尔则以其不完全性定理闻名,他的理论对于理解数学基础以及逻辑系统的局限性有着深刻的影响。 数理逻辑的发展并非孤立于社会现实之外,它的理论发展与社会实际之间存在着辩证的关系。本书强调了逻辑方法与历史...
它们不仅能够帮助孩子们理解抽象的数学概念,还能培养他们的逻辑思维能力和创新意识。数学家在这一过程中扮演着至关重要的角色,他们不仅是数学知识的创造者,也是传播者。 数学故事通常以引人入胜的情节,将数学...
六个数学学科核心素养——数学抽象、逻辑推理、数学建模、直观想象、数学运算和数据分析,是新课标的关键组成部分。 1. 数学抽象:这一素养强调从具体实例中抽离出数学概念,形成抽象的数学结构。它要求学生能够...
总结来说,中职数学信息化教学通过多媒体、微课和网课等多种形式,打破了传统教学的局限,增强了教学的灵活性和有效性。这种方式不仅有助于学生更好地理解和掌握数学知识,还能培养他们的自主学习能力和问题解决能力...
《MATLAB与数学真善美:探索数学之美与科学计算的...欣赏数学的“美”——数学的抽象美和逻辑美。通过MATLAB,数学不再是枯燥的公式和定理,而是充满魅力和创造力的探索之旅,这正是MATLAB与数学真善美论文的核心所在。
在数学对象的特点上,课件指出它们是一种形式化的思想材料,不依赖于具体的物质形态。数学对象通过概括和抽象自然界中的现象而形成“结构”,这些结构反映了数学的普遍性和应用的广泛性。数学思维的策略创造和逻辑...
传统的形式化验证方法存在诸多局限性,比如人工参与过多、验证效率低下等问题,尤其是在处理大规模并发程序时更为明显。这主要是因为传统方法往往需要人工进行复杂的模型构建和验证过程,这不仅耗时耗力,而且容易...
斯科伦进一步研究了如何通过皮亚诺公理来刻画自然数序列,并指出通过形式化的集合论或者某种形式系统给出的推理,我们无法获得对自然数序列的完全刻画。这意味着除了我们熟知的标准自然数序列之外,还存在着其他满足...
老师问及具体的史实问题——“西班牙在十五世纪发生了多少次战争”,学生用一种典型的儿童式的回答方式,巧妙地避开了需要详细历史知识的问题,反映出在数学教育中,有时候答案的准确性并不是最重要的,更重要的是...
数学,作为高中阶段的一门基础学科,不仅承载着培养学生逻辑思维和抽象思维的重任,更是培养学生创新能力的重要阵地。本文旨在探讨高中数学教学中如何有效培养学生的创新能力,以期为高中数学教育改革提供一些参考。...
- **形式化语言**:谓词逻辑用于构建形式化的语言,用于精确表述算法和程序的性质。 - **数据库查询**:SQL中的SELECT语句就利用了谓词逻辑。 - **自动定理证明**:在自动推理系统中,谓词逻辑用于构造和验证数学...
接下来将详细介绍面向模型的三种形式化语言——VDM、Z和B,并对比它们的主要优缺点。 #### VDM (Vienna Development Method) - **起源与特点**:VDM最初由IBM公司的维也纳实验室在1969年提出,用于开发PL/1语言。...
在数学教育的世界里,数字和公式之外,还隐藏着丰富的策略和逻辑,它们往往以有趣的故事形式存在,激发着孩子们对数学的兴趣。在《小学数学数学故事智斗富翁的童工》这个故事中,我们不仅看到了一个机智的小童工与...
《基于深度学习说理课堂的实践与反思——以“搭一搭”为例》这篇论文为我们提供了一个具体的案例,展示了如何将深度学习应用于数学课堂教学中,特别是通过“搭一搭”这一活动形式,来加强学生对空间立体图形的理解和...
《大班数学:看图填算式》这一教学活动,就是以游戏化的形式,通过观察图片,引导孩子们理解和运用基本的数学概念,同时锻炼他们的语言组织能力,为他们的综合能力发展打下坚实的基础。 活动首先要求幼儿能够观察...