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

00:00
25:06
主播信息
LostAbaddon

LostAbaddon

思想飘散,不知道该说点啥~
关注
乱谈社·误理嘚啵嘚
32
理科男/IT宅/AI哺育师/科幻写手/科普作者兼译者,一名斜杠中年的胡侃嘚啵嘚
怪现象浮世绘(遗址)
29
(因账号问题,现本专辑转移到“怪现象浮世绘”啦!) 这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,会有一名文科生和一名理科生,加上一些时而来访的各路朋友们,聊聊身边的各种可吐槽之事,嘿嘿!
怪现象浮世绘
12
这世界上怪事怪人太多,我们已经见怪不怪了,我们就是怪现象浮世绘! 在这里,我们会和各行各眼的朋友一起闲聊,也会和AI侃侃大山,嘿嘿!
APP内查看主播
节目详情

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

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

【执麦人】

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

【制作团队】

  • 制作人:塔塔
  • BGM:Suno V4 + Gemini Flash 2.0 Thinking
  • 封面图:DallE 3 + Sonnet 3.7
展开
大家都在听
评论(0条)
快来抢沙发吧!
打开蜻蜓 查看更多