RoundTable

無の証明は本当にできないのか / 36

63 コメント
views
51 フォロー
36
詠み人知らず 2019/11/20 (水) 23:03:09 >> 32

その場合も『一生が記録されていることの証明(データに抜け落ちがないことの証明)』なんてのは到底不可能だろうし、無実をカンペキに証明することはできないだろうね。

俺がよく分からんのは、現代の論理からすれば詭弁になるって部分だよ。
無実を証明できなかった場合は、無実かどうか不明ってのが論理なのでは?

「無実かどうかは不明だ」と主張する場合は無実であることを証明する必要なんて確かにないけど
「無実だ(不明ではない)」と主張する場合は証明する必要が出てくると思うぞ。

通報 ...