12/01/19 08:59:26.46
>>333
Bounded Arithmetic で歯が立っていないのは事実だが、
かと言って計算機屋や代数屋の他の技術だって歯が立っていないだろ。
そもそも、どの未解決問題だってその分野の既存の技術で歯が立たないから未解決なんだし、
常に他分野の技術によって解決される可能性は開けている。
よって、未解決問題がどの分野に属しているかは、
その問題自体がどの分野の言葉で記述されているかで決めるべき。
ゆえに、P≠NP?問題は数学基礎論・数理論理学の一分野で(も)ある
理論計算機科学の問題。