博文
- 纽康姆悖论：你选一百块还是一万块？
- 纽康姆悖论：你选一百块还是一万块？ 作者：马耀基 纽康姆悖论 有个超级预言家，他能准确地预测你的行为。他现在和你玩一个游戏。他拿出两个盒子，一个透明盒子，一个不透明的黑盒子。你可以看到透明盒子里有一百块钱。 预言家和你说：“你有两种选择，一种是把黑盒子拿走，一种是把两个 ...
- 贝里悖论和哥德尔定理——逻辑学笔记29
- 1、贝里悖论 “不可描述的感觉”，这个词本身描述了一种感觉，但它又说这种感觉是不可描述的，这里存在矛盾。 贝里悖论是由英国的图书管理员贝里发现的，它和上面的例子类似。“不能用少于20个字确定的最小自然数”，这句话确定了一个自然数，但它本身又少于20个字，说明这个自然数能被少于20个字确定。 ...
- 可证性逻辑——逻辑学笔记25
- 算术系统中的证明谓词 在一阶算术系统中，可构造证明谓词 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 、算术系统具有可靠 ...
