4
コンピュータサイエンスの理論と問い合わせはどのように解決できますか？
P≠NP、一方向関数が存在すること、およびパリティゲームが多項式時間で解決できないことを証明することはおそらく可能です（そう、私はこのリストを読んでいます）が、それらのいずれかを証明するにはどうすればよいでしょうか物事？コンピュータサイエンスの理論に対する証拠や、コンピュータサイエンスに関する重要な質問（そのリストにある質問など）に対する回答はありますか？彼らは数学的な証明のようなものですか（グリゴリペレルマンのポアンカレ予想への解決など）。私はP対NPの問題が私のリーグではなく高校3年生のように見えることを知っていますが、私は興味をそそられる問題です。問題の解決策を検討したいと思います。 これは、主に物理学がコンピューターサイエンスではないため、この疑問の重複ではありません。また、私が誤っていない限り、コンピューターサイエンスの理論は、物理学に関連する理論が証明される方法と同じ方法で証明されないためです。それらは論理的であるという点でより数学的な証明に似ています（そうですか？）