12/01/19 03:32:01.91
>>326
> >>324
> 間違いなく「P対NP問題」でしょう。
P≠NP?問題は計算機科学の問題で基礎論の問題じゃないだろが。
そいつを基礎論の問題なんて言ったら「問題を横取りするな」って計算機屋が怒るぞ。
そもそも数学の基礎付けとは全く無関係な問題だ。
そのうち、代数屋あたりが解きそうだな。
結局、ロジシャン自慢のBounded Arithmeticでは歯が立たなかったし。
12/01/19 03:32:01.91
>>326
> >>324
> 間違いなく「P対NP問題」でしょう。
P≠NP?問題は計算機科学の問題で基礎論の問題じゃないだろが。
そいつを基礎論の問題なんて言ったら「問題を横取りするな」って計算機屋が怒るぞ。
そもそも数学の基礎付けとは全く無関係な問題だ。
そのうち、代数屋あたりが解きそうだな。
結局、ロジシャン自慢のBounded Arithmeticでは歯が立たなかったし。