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

知道与真的悖论: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),接着再看更方便。

相关小说

一些杂 连载中
一些杂
无机言
没总和就孩子写写堆着玩的
13.3万字1个月前
饥饿幻想 连载中
饥饿幻想
仰木时又鬼云魂
全自创
0.3万字4周前
宝宝,我带你回家 连载中
宝宝,我带你回家
倾辰大人
银河系之外?你是否真的相信外星人的存在!英开系童浮星一星之主来到地球成了温柔至极又冷酷无情的少爷叶辰,并与星后再次相遇,叶辰与周倾再次相恋,......
9.7万字4周前
孟婆,请给我来碗汤 连载中
孟婆,请给我来碗汤
顾城柒少
孟婆的孟婆汤可以让人忘却前尘,包括美好的爱情月老的红线则是让有情终成眷属,至死不渝按理说,这两人应该毫无交集才对可是为什么在得知孟婆死讯的时......
30.7万字4周前
烛龙引凤,凤驭烛龙 连载中
烛龙引凤,凤驭烛龙
夕阳鲸落
“他让你坠入黑暗,我就让你重见光明,不仅如此,我还要带你登上这世界的顶端,亲眼见证他从你落入过的深渊掉落,粉身碎骨、神形俱灭!”陈应龙温柔而......
14.6万字4周前
我与天道为敌 连载中
我与天道为敌
树街黑猫
传说在这个世上,有上千上万个世界位面,每个世界位面都有不同的规则。而有一个人掌管着这些世界,此人便是天道。有一人杀了天道,只留一人,而这个人......
5.3万字4周前