超小小中大超大
知道与真的悖论：Fitch paradox
好书推荐：
数学联邦政治世界观、
万人迷她又被强取豪夺了、
浮生若梦云生惊蛰、
惊世狂妃：皇叔一宠到底、
恋与伤、
天天暴富APP、
极品风流贵婿、
清冷钓系美人每天都在修罗场、
我在泰娱哦！、
无限流——这个NPC是如此的独特、
Kp表示“知道P”，M表示可能算子，证明所用的认知逻辑公理包括：
1.命题逻辑公理。2.Kp → p。
3.Kp → KKp。4.p → MKp。4说明真理都是可知的
引入假设：存在我们不知道的真理，即
p∧¬Kp。
证明：
p∧¬Kp → MK(p∧¬Kp) → M (Kp∧K¬Kp)→ M(Kp∧¬Kp)
，矛盾。
数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。
相关小说
连载中
- 团宠：有五个不熟悉的哥哥怎么办？
- 作为一个身体不好的小孩子，爸妈为了让她养好身体，带她回到了山上的奶奶家，与奶奶父母一起生活，彼时大哥已经完全有能力接管公司，父母便安心照顾她......
- 1.2万字11个月前
连载中
- 神凰之上
- 1.4万字8个月前
连载中
- 星际迷途：时光之匙
- 新人作者，多多关照
- 1.4万字8个月前
连载中
- 穿越神印之无敌
- 女主无敌，无脑强，微恶女，什么都以自己为先
- 0.9万字4个月前
连载中
- 弑神浮云录
- 浮云公会会长能不能给我当几天？
- 5.8万字3个月前
连载中
- 银月与玫瑰之誓：和平纪元
- 莉莉安，银月族立耳精灵领导人。伊莱拉，玫瑰族精灵领导人。因为魔族发动战争，两人宣战。有人暗中推波助澜，剿灭魔族，最终世界和平。两个精灵终成眷......
- 1.0万字2个月前