パラドックスが存在することは論理的に検証できません。正確にいうと、パラドックスが存在しないことを論理的に証明はできません。「プログラムが現実的におかしくない」ということを論理的に証明することはできないということです。 まさにゲーデルの不完全…

メールが来た。 商品化を決定するために必要な予約台数「5,000台」には残念ながら至りませんでした。よって、小社による「１チップMSX」の商品化は行わないこととなりました。

パラドックスっていうのは、論理的に正しいのに現実的におかしいということです。 論理的に正しいということは、論理的な体系の中で矛盾やあいまいさがないということです。 Javaの言語体系も論理的な体系のひとつです。 Javaで書いたプログラムのコンパイル…