哥德尔不完备定理和阿爾弗雷德·諾思·懷特黑德

快捷方式: 差异，相似，杰卡德相似系数，参考。

哥德尔不完备定理和阿爾弗雷德·諾思·懷特黑德之间的区别

哥德尔不完备定理 vs. 阿爾弗雷德·諾思·懷特黑德

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出： 这是形式逻辑中的定理，容易被错误表述。有许多命题听起来很像是哥德尔不完备定理，但事实上并不是。具体实例见对哥德尔定理的误解 把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出： 这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的相容性，可以用较为简单的体系中的手段来证明。最终，全部数学的相容性都可以归结为基本算术的相容性。但哥德尔的第二条定理证明了基本算术的相容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的相容性了。. 阿爾弗雷德·諾思·懷特黑德（Alfred North Whitehead ，），OM，英國數學家、哲學家。他是學派的奠基者，目前已被視為可應用到多種學科，包括生態學、神學、教育學、物理學、生物學、經濟學、心理學及其他領域。 在他的职业生涯早期怀特黑德主要研究数学、逻辑和物理。他最引人注目的是与前学生伯特兰·罗素合著的三卷《数学原理》（1910年至1913年）。《数学原理》认为是二十世纪最重要的数学逻辑作品之一，在出版社所列的二十世纪前100本英文非小说书籍名單中，獲得第23名。 1910年代末至1920年代初，怀特黑德逐渐把他的注意力从数学轉移至科学哲学和形而上学。和柏格森一樣，他關注直覺體驗與生命本身，但他採取不同的進路來解決這個問題，進而構建了一个全面的形而上学的系统。怀特黑德认为现实是由事件構成，而不是物质；这些事件不能脫離彼此關係而定义，因此拒绝独立存在的物质理论。C. Robert Mesle, Process-Relational Philosophy: An Introduction to Alfred North Whitehead (West Conshohocken: Templeton Foundation Press, 2009), 9.

逻辑

邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.

哥德尔不完备定理和逻辑 · 逻辑和阿爾弗雷德·諾思·懷特黑德 · 查看更多 »