>>510
＞＞理論的な否定はない。

それは正しい。ただし、だからといって「理論的に肯定された」という命題は真にはならない。
肯定するには、その(強いAIの)理論が存在する可能性(存在定理)を証明できなければならないが、
(今のところ)だれも理論的に証明できていない。もし証明できれば、それだけでコンピュータ科学分野の
ノイマン賞は確実だろうし、数学分野のフィールズ賞の可能性すらある。