科学网—mayaoji的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › mayaoji的博文

mayaoji

https://wap.sciencenet.cn/?1255140

哲学| 社科| 物理学| 人工智能| 逻辑学| 其他| 数学|

简化版哥德尔定理——逻辑学笔记33: 马耀基 2020-9-16 15:49; 个人分类: 逻辑学|3263 次阅读|没有评论

自然推理规则——逻辑学笔记32: 马耀基 2020-9-7 15:06; 个人分类: 逻辑学|4335 次阅读|没有评论

可证性逻辑定理判定的树形图方法——逻辑学笔记31: 马耀基 2020-8-23 14:25; 个人分类: 逻辑学|4801 次阅读|没有评论

可证性逻辑GL的不动点定理——逻辑学笔记30: 马耀基 2020-8-22 13:48; 个人分类: 逻辑学|2846 次阅读|没有评论

纽康姆悖论：你选一百块还是一万块？: 马耀基 2019-6-18 16:11; 纽康姆悖论：你选一百块还是一万块？作者：马耀基纽康姆悖论有个超级预言家，他能准确地预测你的行为。他现在和你玩一个游戏。他拿出两个盒子，一个透明盒子，一个不透明的黑盒子。你可以看到透明盒子里有一百块钱。预言家和你说：“你有两种选择，一种是把黑盒子拿走，一种是把两个 ...; 个人分类: 逻辑学|9216 次阅读|没有评论

贝里悖论和哥德尔定理——逻辑学笔记29: 马耀基 2019-5-1 12:46; 1、贝里悖论 “不可描述的感觉”，这个词本身描述了一种感觉，但它又说这种感觉是不可描述的，这里存在矛盾。贝里悖论是由英国的图书管理员贝里发现的，它和上面的例子类似。“不能用少于20个字确定的最小自然数”，这句话确定了一个自然数，但它本身又少于20个字，说明这个自然数能被少于20个字确定。 ...; 个人分类: 逻辑学|3902 次阅读|没有评论

认知时态逻辑——逻辑学笔记28: 马耀基 2019-4-6 11:39; 个人分类: 逻辑学|2234 次阅读|没有评论

时态逻辑——逻辑学笔记27: 马耀基 2019-3-26 15:44; 个人分类: 逻辑学|2699 次阅读|没有评论

动态认知逻辑——逻辑学笔记26: 马耀基 2019-3-25 15:26; 个人分类: 逻辑学|2381 次阅读|没有评论

可证性逻辑——逻辑学笔记25: 马耀基 2019-3-8 22:29; 算术系统中的证明谓词在一阶算术系统中，可构造证明谓词 Pr 证明谓词的基本性质： (1) Pr(p→q)∧Pr(p)→Pr(q) (2) Pr(p)→Pr(Pr(p)) (3) Pr(Pr(p)→p)→Pr(p) (4) ⊢ A ⇒ ⊢ Pr(A) (5) ⊢ Pr(p)→p ⇒ ⊢ p 其他性质： 1 、算术系统具有可靠 ...; 个人分类: 逻辑学|2529 次阅读|没有评论

12 3 4 下一页

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-26 07:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部