把一个问题用语言描述出来以后, 能不能解决就是数学家的事情了.
但是用语言描述一件事并不是个平凡的过程, 它实际上是一个建立模型的过程. 如果模型的选取是合适的话, 解可以很简单, 用半页纸或拍拍脑袋就行了. 如果模型选取不合适, 解就会变得不可能, 或者需要天文数字的量. 只有在这种情况下, 计算机才能派上用声场.
有时候也是没有办法, 比如前面说的强耦合的东西, 其实就没法解. 但是也没有一个更好的模型, 只能就这样了.
我不认为Turing machine能够描述猪脑的过程, 也不需要提供counter argument. 任何argument本身要先有语言才能进行的. 现在争论的焦点就是这个语言本身是不是能映射整个世界.