RoundTable

よぉ、久しぶりだなお前ら。身の回りのドタバタが落ち着いて、ちょっと復帰すっぺな〜と思ったら、パルスくんは相変わらず頭の悪いことほざいてんのな。

「無の証明は不可能である」というのは、あくまで直接的な証明に限った話なのであって、間接的な証明は可能であり、その意味において「無の証明は可能」となるのは、もはや常識ですから(笑)

そもそも、「無の証明は不可能である」という言説自体、「無の証明は困難である」若しくは「無の証明は実質的に不可能である」に尾鰭が付いて流布されたものだろう。

そのような言説が流布された所以は、無の状態を立証するためには、それに関連する有の状態全てを列挙して論じなければならず、それはきわめて困難であるという考え方にある。

しかしながら、実のところは、有の状態を否定する明白な証拠、これが存在する事実を立証することにより、無の間接的な証明は可能となる。少し具体化するなら、有の状態が虚偽であることの証拠がそれにあたる。

一見すれば、お前は小難しく、またもっともなことを述べているように思えるかもしれないが、その実は至極当然な常識をトレースしているだけで、ハッキリ言えば中身がスカスカ。

ドヤ顔こいて高説垂れてるが、いやそれ当たり前じゃんw
って感じ。

まぁこれからもサンドバッグにしてやるから涙拭けよ^^