先週から、計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)を使ってゼミをしているのだが、トータルで4時間くらいしか経っていないのに、自然数関数に関して上の命題が示せて、すごいなぁと思っている。左辺は、厳密には、Nプログラムで計…

今朝起きたとき、ふとP=NPを証明できたような気がした。NP問題をPに還元できる方法を考えたのだ。しかし、冷静になって30秒ほど考え直したら、どうしようもなく間違っていたことがわかった。