数学联邦政治世界观
超小超大

知道与真的悖论:Fitch paradox

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://tongren.me),接着再看更方便。

相关小说

赛罗的哥哥赛伊 连载中
赛罗的哥哥赛伊
塞少
赛伊被流放以后的故事,赛伊去过地球去过幻星(私设)遇到了师傅和师兄
2.1万字4个月前
归赎雨季 连载中
归赎雨季
白茳木楠.
夏予迹一觉醒来,穿成了自己看过的小说中的炮灰替身女配!具体是怎么个事儿呢?咱们慢慢来分析!在一个风雨交加的晚上,夏某某考试过后心血来潮,登录......
9.4万字5个月前
脑叶:穿越成为异常员工 连载中
脑叶:穿越成为异常员工
千封之乐
10.8万字4个月前
别离是否有忧伤 连载中
别离是否有忧伤
梦光明
有时候,忘记、离去是最好的选择,至少那样不会再受伤。——
1.9万字4个月前
昊明之恋 连载中
昊明之恋
雪慕朝颜
跨界之爱
2.7万字4个月前
平行于否 连载中
平行于否
冥雪永爱蜜党月卿
一部科幻小说,场景设定与一个外太空的神秘星球,那里的世界叫神域,子民都是仙,记录了女主从小到大的生活。特别记住:神域和地球相连
3.8万字4个月前