不矛盾。你提到人工智能，这是基于计算机的拟人逻辑学。法学的判定一直最为难搞，因为人的证词有主观性，也会有伪的，这

会导致结论完全相反。对于数学的逻辑，一旦用于复杂系统建模，各个输入之间一旦有抵触，或者输入为错的，这种逻辑产生的输出就成问题，甚至无输出。

    数学本质上是数据加上逻辑。是一种基础工具来解决现实问题。目前来看，数据的部分科学可以涵盖，或者说借用，而逻辑部分由于是基础逻辑，在逻辑大厦的最底层支撑，但是不够完善，一旦用于推敲现实问题，或者人的行为，会力有不逮。这是哥德尔不完备立足的根本。

    20世纪上半叶的时候，很多数学家都开始绕道，比如罗素开始四处讲学，拉姆齐迈入了经济学，图灵搞计算机，当然还有维特根斯坦，最后扭头入了灵学，哥德尔更进一步，提出不完备。我认为是针对数学的逻辑部分。

    兄不要误会。我的意思是数学已经小众化，面对科学，经济学，以及法学，教育心理学，计算机学的夹击。这些都是逻辑学所逐渐派生出来的学科。从目前大学的科系设置其实可窥端倪。