梦中情人

可以说，逻辑曾经是我的梦中情人。在我本科的时候，我是多么喜欢逻辑（虽然我的数理逻辑成绩惨不忍睹）。我对哥德尔不完全性定理、可计算理论、计算复杂度是多么得喜欢！然而，因为一系列的原因，我已经很久没有再学习逻辑了。这些原因包括：研究小组的方向、我个人学术能力的限制，以及我实在看不到任何关于逻辑推进人工智能的希望（尽管对于，探索人与上帝界限来说，逻辑至关重要）。
偶尔间，和同学讨论起逻辑，实在有种梦中情人的感觉。一切是那么地平静，但又曾经是如此地不平静，而我又深刻记着这曾经地不平静。如今，我有了强烈的自己的研究兴趣点，并且我的实验也显示出了初步的效果。
可是，我什么时候能找到志同道合的人取代她呢？讽刺的是，虽然我从来没有真正地理解这些逻辑，虽然我可以说得头头是道。