与ChatGPT关于哥德尔不完备性定理的对话（4） 2023-03-26

柳渝：有质疑哥德尔不完备性定理证明的工作吗？ ChatGPT : 哥德尔不完备性定理是数理逻辑中的一个基本结果，已经被广泛研究并接受为该领域的基石 ...

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

介绍法国退休制度 - Henry Noguès，2023年2月3日Louis Baslé讨论小组 2023-03-25

近期，由于法国政府依据宪法 49.3 条款，在国民议会不进行投票的情况下通过退休金改革法案，政府这一强硬之举引发了大罢工和示威抗议活动，酝酿成激烈的社会 ...

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

chatGPT对自己工作原理的解释 - José与chatGPT的 2023-03-20

chatGPT 对自己工作原理的解释 - José Manuel Rodríguez Caballero 与 chatGPT 的对话 一，译文 José: 从统计物理学的角度解释一 ...

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

与ChatGPT关于哥德尔不完备性定理的对话（3） 2023-03-20

到目前为止在学术界任何质疑哥德尔不完备性定理证明的话题都是禁忌，所以我希望借与 Chapgpt 的对话，引起学术界对此议题的 关注 。 Chapgpt 的回 ...

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

与ChatGPT关于哥德尔不完备性定理的对话（2） 2023-03-07

我 2023/3/6 与 ChatGPT 对话到最后一个问题中断后， 我今天用中文再问此问题，此外还 有二个法国网友用法语问 ChatGPT 和 Bing 这个问题， 分享如下 ...

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

与ChatGPT关于哥德尔不完备性定理的对话（1） 2023-03-07

与ChatGPT关于哥德尔不完备性定理的对话 - 2023/3/6 柳渝：你认为哥德尔不完全性定理的证明存在着错误吗 ?   ChatGPT : 作为一个人工智能语言 ...

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

简介Hilbert and Ackermann’s Principles of Theoretical Logic 2023-03-07

简介 Hilbert and Ackermann’s Principles of Theoretical Logic - Stanley Burris 的 读书笔记 一， 简介 Principles of Theoretical Logic ...

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

简介多类逻辑（Many-Sorted Logic） 2023-03-02

经典逻辑是描述包含单一域的数学结构的合适的形式语言。相比之下，多类逻辑（ MSL ）允许对各种域（称为 sorts ）进行量化，因此多类逻辑是处理有关不同类 ...

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

查看更多