五千年(敝帚自珍)

主题:【原创】从《I, Robot》的话题谈俺对机器生命的认识 -- 你克我服

共:💬67 🌺35
分页树展主题 · 全看首页 上页
/ 5
下页 末页
                • 家园 我觉得可以类比,但是不应该太执著于发现他们之间的“普遍规律”

                  物理定律有其适用范围,经济学定律也有其适用范围,他们有联系,但我觉得区别是主要的。

                  你说的那个,很像混沌学说。

                  关于哈耶克的思想学说具体我不太了解,只是记得好像大概意思是说

                  1。人类不可能纯凭理性构造一个社会体系,或者说,不存在一个万能的政府,能对体系内的任何问题纯凭理性作出合理与公正的解决。

                  2。在任一个包含理性人类的体系内,人们无法在体系内部对该体系进行客观公正的评价。

                  总的说来,人类构建的任何社会中,都存在体系内无法解决的问题。所以人类的任务不是去构建完美社会,而是去不断地局部解决问题。因为整体对于人类来说“太大了”,而理性本身也是社会的一部分。

                  比较歌德尔的定理,何其相像。

                  • 家园 其实我不知道我说的像什么,我的物理还停留在高中水平,呵呵

                    我只知道混沌学在金融领域应用比较广泛,牛顿万有引力定律最近几年则被应用到国际贸易的研究中。

                    看了你的帖子,意识到一个问题,当某个学科被上升到哲学层面思考的时候,其中的基本观点几乎是相通的。以前我一直把哈耶克当成哲学家,看来是我的视野太窄了,呵呵。

                    我觉得经济学完全可以从物理学中借鉴很多东西,比如较为成熟的哲学思考,相当发达和成熟的数学应用能力和技巧等等。北大的陈平似乎走的就是这条路,不过他好像耐不住这条路上的寂寞,呵呵,但是这条路一旦走通,那就是真正的达大师级人物了。

                    嗯,这样的讨论收获不少,呵呵。

                    突然想到以前尔雅和rodger讨论过的整体和局部的问题,如果我们只考虑局部的改进,那么我们怎么来把握局部和整体之间的互动关系呢?

                  • 家园 所以科学就是我的宗教
        • 家园 简单说一下

          奥地利数学家哥德尔在1931年发表了题为《论<数学原理>及有关系统的形式不可判定命题》的论文,其中提出这样一个观点,在任何数学系统中,只要其能包含整数的算术,这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。简单地说,就是在任何系统中,总有些真理是游离于逻辑之外的,这些真理就叫做歌德尔命题。

          比如说大家知道欧几里得的《几何原理》中的第五公设就是平行线公设:两平行线永远不能交于一点。但是打破第五公设,人们仍然可以建立完整的罗巴切夫斯基几何和黎曼几何等等非欧几何,并且在现代物理中都有重要的应用。

          后来,数学家对个别命题的演绎证明逐渐转向了对整个数学的研究。此后很长一段时间,大家在努力构造一个完备的数学体系,包容所有的真理命题,使得所有存在命题可以通过此体系彼此证明出来。但歌德尔这位天才逻辑学家+数学家+理论物理学家在一个形式化的算术体系中构造出了命题G:“G是不可证明的。”这是一个不可判定的命题。(假设G是不可证明的,则G为真,由命题真与命题可证明等价,则G可证明;假设G可证明,则G为真,则G不可证明。)从而也就证明了不完备性定理:

          Ⅰ)歌德尔第一定理

          ????对于包含自然数系的任何相容(彼此矛盾的陈述不同时为公设集所包含)的形式体系F,存在F中的不可判定命题,即存在F中的命题S,使得S和非S都不是在F中可证明的。

          Ⅱ)歌德尔第二定理

          ????对包含自然数系的任何相容的形式体系F,F的相容性不能在F中被证明。

          ????这样歌德尔就说明了“人类智慧没有能力公式化它的所有数学直觉,它只能用公式表达出它们中的一些”,而非全部。数学上总是存在着无法用理性证明的直觉,数学远非一大堆毫无生气可言的枯燥的逻辑堆砌,人类理性根本上也是不可能建立这种程式化的逻辑的。同时人类在处理包含思维的抽象体系时有极大的局限性,因为人的理性乃是根植于这个体系中的,人无法超越这个体系来理性地审视思维本身。歌德尔定理认识到了理性的局限性,人永远不能超越理性来认识理性。

          上面提到的欧几里得第五公设就是一个无法在各自体系内证实与正伪的定理,他是依赖于人的直觉的,因为它涉及到无穷这个“最让数学家头疼的概念”。谈到无穷,又有一大堆话要说,下回吧。

          • 家园 老兄接下去想要讲无穷的比较了吧?呵呵呵

            其实,之所以产生命题G这样的思考,原因就在于人类不明白自己在说什么,换句话说,就是引以为基点的坐标系就不是自己所期望的.....对于命题G来说,以逻辑学为正确,以之为讨论的原点,就会把逻辑学上的概念和自然上的概念对立起来的。

分页树展主题 · 全看首页 上页
/ 5
下页 末页


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河