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