《WCP哥德尔研讨会 2023-10-1 9151 9.pdf》由会员分享，可在线阅读，更多相关《WCP哥德尔研讨会 2023-10-1 9151 9.pdf（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、重温哥德尔不完备性定理研讨会 -第五届世界哲学会（25th WCP，2024/8/1-8，意利，罗）简介：美国诺顿出版公司在介绍2021年出版的哥德尔传记理性的边缘之旅库尔特-哥德尔的平（Stephen Budians-ky,Journey to the Edge of Reason-The Life of Kurt Gdel）时说：“这是第本为普通读者撰写的关于这位逻辑学家和数学家的重要传记，他的不完备性定理帮助发起了场现代科学命。哥德尔的著名证明，即每个数学系统都必须包含“为真但不可证明的命题”在发表后的近百年，继续令数学、哲学和计算机科学感到不安。”此说并不夸张，那么哥德尔不完备性定理中
2、到底有什么令今不安？如果我们仔细观察，就会发现在哥德尔的证明中隐含着不安：哥德尔宣称论证了如“说是不可证明的”悖论命题是形式系统中的“不可判定命题”，由此得出其形式系统不完备性的结论！我们不禁问：-当“罗素悖论”出现在集合论中时，被认为是种危机，们努地去化解此危机。那么，当这个“说是不可证明的”悖论命题出现在哥德尔的证明中时，为什么们没有同样的警觉，反把此悖论命题当作正常的算术命题?-这样的哥德尔证明是否对形式系统的“不完备性”作出了合理的解释？换句话说，哥德尔的证明是否具有逻辑的有效性？为了促进学术界和公众对哥德尔不完全性定理的反思，我们提议从哲学、逻辑、语、数学、算法理论和智能等不同度重新
3、审视这个定理，深到哥德尔1931年论中定理的原始证明，超越我们思维的局限，共同对哥德尔证明中隐含的不安。我们相信，对真理的渴望和对真理的追求是化解不安的最根本途径，也是关注我们社会的未来所不可或缺的品质，组委会：-Paola Cattabriga,University of Bologna,Italy -Patrik Eklund,Ume University,Sweden patrik.eklundumu.se-Paul Jorion,Universit catholique de Lille,France -Yu LI,Universit de Picardie Jules Verne,France yu.liu-picardie.fr-Luo Mo,Southern University of Science and Technolo-gy,Shenzhen,China WCP站：https:/