>>115

>P=NPの証明が非構成的に行える可能性（つまりP≠NPと仮定して矛盾を導く背理法による証明の可能性）は
>少なくとも現時点までのP vs NP問題に関して知られている事実からは排除できない

>108 はマジメだからこんなふうに書いてるけど

背理法によるP=NP の証明なんか絶対にできないことに カシオミニを10000個賭けてもいい。
できるとしたら実際にアルゴリズムを示す構成的証明。

つまり、>1 はいたってまともな論旨