ELCNOW Vol. 2　「ない」を証明する

概要：「「この世にタヌキがいることを証明せよ」と言われたら簡単だ。どこかでタヌキを1匹見つければよい。では、「カッパがいないことを証明せよ」と言われたらどうするか？一般にカッパはいないものと信じられているが、そのためには世界中のあらゆる場所を探して、どこにもいないことを明らかにしなくてはならないだろう。しかし、それはほとんど不可能だ。では，誰もが驚くような斬新な方法で、カッパがいないことを証明できないだろうか？ベンジャミン・ロスマンさんは、ELCプロジェクトの一員として、「P≠NP問題」解明の糸口となる「ない」ことの証明に挑み、世界中の研究者が40年間成し得なかった問題の一端をひも解くことに成功した。そこで、ロスマンさんの研究内容と、その研究への想いに迫ってみた。