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

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

相关小说

不公定律—打造无罪世界 连载中
不公定律—打造无罪世界
维治托劳斯
嘈杂的声音充斥在教室中,所有人都嘻皮笑脸的,一切都很和谐,但是在这片虚伪的和谐中,藏着许多不为人知的恶劣——对同学的另眼相待,谣言乱飞,校园......
0.5万字8个月前
梦境大世界 连载中
梦境大世界
梦颜宁
我自己做的一个梦
0.6万字8个月前
末世重生之组团求生 连载中
末世重生之组团求生
游客1583206612428
天灾+末世+囤物资+虐渣+cp+虐心+复仇+开局不圣母+误会重重。末世降临,这种天灾笼罩着整个蓝星地球。一,这是一场全球性的灾难,刚开始的时......
11.7万字6个月前
快穿:大佬宿主又在搞事情 连载中
快穿:大佬宿主又在搞事情
纳兰陌白
「原创系统文勿抄袭转载不喜勿扰」钟离九,因为一次意外而陷入沉睡,过了一世纪又一世纪,钟离九一醒就看了那人。  由于要恢复自己的创世神位,需要......
23.9万字3个月前
铭碑 连载中
铭碑
懈余朝
一次意外,也许也不算意外,近乎八位数的人们穿进无限流副本,没有BOSS,没有终端,只有棉花状的系统和不靠谱队友,没人知道大家都是怎么进来的,......
0.8万字3个月前
深海遗梦(新) 连载中
深海遗梦(新)
南_002851970257522091
0.8万字3个月前