作者MathTurtle (恩典)
看板Christianity
标题Re: 版主steelfinger知法犯法
时间Fri Oct 30 18:03:55 2009
※ 引述《windcanblow (戏谑人生)》之铭言：
: 无法证明无神，所以神存在
: 这伟大的反证法是出自基督信仰者
: 在这帮忙正名一下，别把荣耀归给没知识的无神论者噜
题外话, 你想讲的应该是:
「没有」证明无神, 所以神存在
而不是「无法」吧?
有趣的地方是, 如果是「无法证明无神，所以神存在」,
其实在完备性成立的古典逻辑中, 会是成立的。
(或精确一点讲, 是在以古典逻辑为後设语言的完备系统中
因为在完备系统中, p is true only if p is provable,
所以我们可以有 若无神为真, 则无神是可证明的,
然後contraposition, 我们会有: 若无法证明无神, 则无神并非为真。
然後要用一个double negation rule (not not p only if p),
而在古典逻辑中这个rule是成立的,
我们就可推得 若无法证明无神, 则神存在为真。
(assuming 'p' is true iff p in the whole demonstation)
而至少在这meta-proof中, 古典逻辑和完备性两个都还算是可以接受的假设,
这个证明看起来不会太不合理就是了。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 81.107.35.152
1F：推 daze:unprovability需要证明就是了。 10/30 18:07
2F：推 windcanblow:你该去问问amos他学的是哪一套XD 10/30 22:58
3F：→ Naturalist:现在明明是 「无法」证明无神也「无法」证明有神 你说 10/30 23:39
4F：→ Naturalist:这个「无法」是什麽意思... 真是选择性装傻~ 10/30 23:41