Can artificial intelligence solve problems like Post correspondence problem?
1 Answer
No. The Post correspondence problem is undecidable. That means that no computer program can solve it (in all cases). "Artificial intelligence" is just a computer program. Actually, "artificial intelligence" is a name for something that we're not even sure how to do with a computer program; but even if we knew how to achieve it, it would still be a computer program. Artificial intelligence isn't magic -- anything that can be done is still constrained by the laws of physics and mathematics.
-
-
3$\begingroup$ And if you accept the Church-Turing thesis, no human can solve it in all cases either! $\endgroup$– DraconisJul 23, 2018 at 16:28
-
3$\begingroup$ @quintumnia all arguments made by D.W. are easily verifiable, if not already considered 'common knowledge' with respect to our community $\endgroup$ Jul 23, 2018 at 16:43