数学好图 形式系统中，系统的无矛盾性在系统,求解，信息定域性

来源: marketreflections 于 2010-10-05 10:58:35 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (763 bytes)

哥德尔定理对物理的影响 视界之外 因果不连通区域内 对信息的了解是定域或接近定域的? [音乐快递] - marketreflections(3287 bytes ) (0 reads)2009-01-29
• 哥德尔的论证直接捣毁了希尔伯特规划的核心 [音乐快递] - marketreflections(762 bytes ) (0 reads)2009-07-27
• 哥德尔定理 公理一致性的“不可决定性”:初始值，参数一变，非线性料 [音乐快递] - marketreflections(124 bytes ) (0 reads)2009-07-27
• 冯·诺依曼：物理好图： 哥德尔证明了不完全性定理。定理断言：在包含初等算术(或集合论)的无矛盾的形式系统中，系统的无矛盾性在系统 [音乐快递] - marketreflections(19109 bytes ) (1 reads)2010-09-27
• 哥德尔的两个不完备性定理，表明希尔伯特形式主义统一整个数学是不可能 [音乐快递] - marketreflections(144 bytes ) (0 reads)2010-10-01

请您先登陆，再发跟帖！