节目

EP18:【数学】自洽的三值逻辑形式系统是否还是不完备的？

所属专辑: 误理嘚啵嘚

主播:

LostAbaddon

最近更新: 2025-04-20时长: 25:06

扫码下载蜻蜓app

听书/听小说/听故事

4.5亿用户的选择

这次接着上期的话题，聊点硬的：如果一个蕴含皮亚诺算术系统的形式逻辑系统，其所用的逻辑体系是三值逻辑而非传统的二值逻辑，那么这样的系统是否依然有哥德尔不完备性定理？

我们先介绍了Kleene三值逻辑系统和武卡谢维奇三值逻辑，然后分析了下哥德尔不完备性定理在这样的三值逻辑系统中是否成立，最后讨论了三值逻辑中的第三个真值的语义到底是什么，以及它和不完备性定理的关系。

【执麦人】

塔塔：理科男/IT宅/科幻写手/科普作者兼译者

【制作团队】

制作人：塔塔
BGM：Suno V4 + Gemini Flash 2.0 Thinking
封面图：DallE 3 + Sonnet 3.7

还没有评论哦

蜻蜓FM 倾听海量音频内容

蜻蜓FM网络收音机，囊括了国内外数千家网络广播，并与全国各大地方电台合作，将传统电台整合到网络电台中，为用户呈现前沿丰富的广播节目和电台内容，涵盖了有声小说、相声小品、新闻、音乐、脱口秀、历史、情感、财经、儿童、评书、健康、教育、文化、科技、电台等三十余个大分类。蜻蜓FM是多年来用户喜爱的音频应用，手机必装的应用！

快捷入口

郭德纲相声单田芳评书袁阔成评书刘兰芳评书白眉大侠评书河南戏豫剧选段

热门内容

苏北大鼓河北梆子甘薇周笔畅迪丽热巴杨紫宋茜 angelababy

关于蜻蜓联系我们公众平台开放平台加入我们隐私政策用户服务协议侵权投诉指引涉互联网算法推荐反馈算法备案信息公示

沪ICP备06026464号-4 沪ICP备06026464号-6 信息网络传播视听节目许可证: 0922681 icp经营许可证编号: 沪B2-20040650

网络出版服务许可证: （总）网出证（京）字第128号

出版物经营许可证: 新出发沪批字第U6911号公安备案号: 31011502009349

跟帖评论自律管理承诺书举报受理和处置管理办法

上海互联网举报中心

儿童色情信息举报专区

反电信网络诈骗防范劝阻电话：962110（如网民接到该电话，请立即接听)