有些问题虽然无法用数学语言描述并证明，但可以用计算机进行计算解决