2016-03-29から1日間の記事一覧

決定不能は決定不能だから決定不能なのだ。

タイトルで終了。パラドックスでもないし、深いところもない。単に「真偽の決定できない文が存在する」ということで、これを否定するためには「すべての文の真偽が決定できる」ということを証明する必要がある。「真偽の決定できない文が存在する」ことはい…