读NP-C及哥德尔不完备定理感想

        最近读NLP书籍，因为买了好几本入门书，就先采用的是速读，打算先弄懂大的框架，后面再细读。

       不过几本书中间经常出现P=NP？字眼，心中困惑较大，就停下来，花了一天弄清楚相关的概念，P，NP，NPC。百度了很多文章不太满意，直到读了“可能与不可能的边界”才算有点明白，了解了这个NP-C名字的由来，以及意义，但对已经被证明的不同NP问题之间多项式时间内可转换还是比较困惑，以后有时间要了解一下证明过程。因为我看了一些NP问题例子，还没弄懂解决的思路更不说转换了。

       读着读着就跳到了图灵停机问题和哥德尔不完备，以及一些悖论去了。图灵停机的一篇文章提到反证用了递归调用自己。因此联想到套套逻辑，形式如A->A,   A->B->A。

发现对于形式如：F（）{return F（）；}         G（）{return ！G（）}这样的无终止条件的递归，如果先给一个假设值，

F（）属于既可以真，又可以假。G（）属于既不可以真，又不可以假。

所以认为这类问题应该和 四则运算中的"除0",一样，作为逻辑领域的“无意义”排除掉。因为实在太“烧脑”了。当然有时候，比较隐晦，F或G内部，通过一系列的F1，F2，F3兜一大圈子，绕回F。

       去年读“集异壁”，读的过程特别痛苦，读完也是一脸懵，思想进不去，隐隐感觉是“钻牛角尖”，想放弃又不甘。总觉得哥德尔80多年前就写出来了，怎么还像天书一般难理解？昨天看一个清华博士说读了哥德尔的论文的英文版（原文是德文）发现比读别人的总结畅快多了。我也知道做学问，最好是拿一手资料（公司活动的拷贝不走样最后都是特别欢乐的），但自己英文不太好，总有种恐惧，这次下个决心，今年要重读一遍GEB，如果再读不懂就把英文论文逐字逐句啃一遍。

标签：return,递归,感想,弄懂,图灵,NP,哥德尔
来源： https://blog.csdn.net/javenxu_cn/article/details/104834662