诺盖斯的哥德尔传记“哥德尔的魔鬼：逻辑与疯狂”书评 2024-07-22

https://laviedesidees.fr/Kurt-Godel-aux-frontieres-de-la.html 库尔特 - 哥德尔在理性的边缘： des théorèmes aux théo-rêves… par Ariel ...

(509)次阅读|(0)个评论

哥德尔不完备性定理的原始陈述与现代陈述 2024-07-11

当人 们谈论哥德尔不完备性定理时，一般指哥德尔第一不完备性定理和哥德尔第二不完备性定理。 哥德尔 1931 年的 论文（ " On Formally Undecidable ...

(641)次阅读|(4)个评论

图灵是站在哥德尔的肩膀上吗？- B. Jack Copeland & Zhao Fan 2024-06-28

https://link.springer.com/article/10.1007/s00283-022-10177-y Published: 04 June 2022 Did Turing Stand on Gödel’s Shoulders? B. Jack Cope ...

(446)次阅读|(0)个评论

第25届世界哲学大会：“超越边界的哲学” - FISP主席致欢迎辞 2024-06-20

主 题为 “ 超越 边界的哲学 ” 的第 25 届世界哲学大会（ 2024 ）即将于 8 月 1-8 日在意大利 罗马举行【 1 】！ 五年前我有幸参加了在北京 举行的第 24 ...

(908)次阅读|(0)个评论

《看见黑暗之物》- Roy Sorensen 2024-04-05

罗伊 · 索伦森 (Roy Sorensen) 是美国认识论、形而上学、语言哲学学者， 八本书的作者： Nothing: A Philosophical History (2022), 《虚无：哲学史》 ...

(793)次阅读|(2)个评论

逻辑时间与实时时间 - 与Chapgpt对话，2024/3/15 2024-03-16

一，译文 柳渝：是否可以说，在逻辑推理中存在着逻辑时间与实时时间？ Chatgpt : 事实上，我们可以在某些哲学和逻辑背景下区分逻辑时间和实时 ...

(862)次阅读|(1)个评论

数字计算机会思考吗？ - 图灵1951年在BBC的讲演 2024-03-09

在如今chatgpt实现了“图灵测试”之时，让我们来听听图灵于1951年5月15 日在 BBC 广播电台所做的充满探索精神的讲演，“数字计算机会思考吗？” 一， 译文 ...

(1500)次阅读|(2)个评论

法国运筹学2024年会（ROADEF’2024）- 相聚在亚眠 2024-03-06

今年的法国运筹学年会（ROADEF）这周在儒尔-凡尔纳大学召开了（2024/3/4-7)！600多位运筹学方面的同行相聚在亚眠，这个儒尔-凡尔纳曾经生活和写作的城市，展开 ...

(1951)次阅读|(1)个评论

查看更多