有些永远无解

真的有一些明确的问题，无论电脑多快、程序多聪明，都永远给不出正确答案。这不是我们还没想到好办法，而是被严格证明了：办法根本不存在。