科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
简化版哥德尔定理——逻辑学笔记33
马耀基 2020-9-16 15:49
个人分类: 逻辑学|2137 次阅读|没有评论
自然推理规则——逻辑学笔记32
马耀基 2020-9-7 15:06
个人分类: 逻辑学|2474 次阅读|没有评论
可证性逻辑定理判定的树形图方法——逻辑学笔记31
马耀基 2020-8-23 14:25
个人分类: 逻辑学|3085 次阅读|没有评论
可证性逻辑GL的不动点定理——逻辑学笔记30
马耀基 2020-8-22 13:48
个人分类: 逻辑学|1916 次阅读|没有评论
纽康姆悖论:你选一百块还是一万块?
马耀基 2019-6-18 16:11
纽康姆悖论:你选一百块还是一万块? 作者:马耀基 纽康姆悖论 有个超级预言家,他能准确地预测你的行为。他现在和你玩一个游戏。他拿出两个盒子,一个透明盒子,一个不透明的黑盒子。你可以看到透明盒子里有一百块钱。 预言家和你说:“你有两种选择,一种是把黑盒子拿走,一种是把两个 ...
个人分类: 逻辑学|6317 次阅读|没有评论
贝里悖论和哥德尔定理——逻辑学笔记29
马耀基 2019-5-1 12:46
1、贝里悖论 “不可描述的感觉”,这个词本身描述了一种感觉,但它又说这种感觉是不可描述的,这里存在矛盾。 贝里悖论是由英国的图书管理员贝里发现的,它和上面的例子类似。“不能用少于20个字确定的最小自然数”,这句话确定了一个自然数,但它本身又少于20个字,说明这个自然数能被少于20个字确定。 ...
个人分类: 逻辑学|2285 次阅读|没有评论
认知时态逻辑——逻辑学笔记28
马耀基 2019-4-6 11:39
个人分类: 逻辑学|1741 次阅读|没有评论
时态逻辑——逻辑学笔记27
马耀基 2019-3-26 15:44
个人分类: 逻辑学|1901 次阅读|没有评论
动态认知逻辑——逻辑学笔记26
马耀基 2019-3-25 15:26
个人分类: 逻辑学|1777 次阅读|没有评论
可证性逻辑——逻辑学笔记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 、算术系统具有可靠 ...
个人分类: 逻辑学|1786 次阅读|没有评论

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

GMT+8, 2022-5-21 15:18

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部