“嗯！”葉非點頭，但他心中還是充滿期待，希望這次能評上。
他不想多次評選，多次名落孫山後才評上。
那種緊張刺激感，非常的難受。
“對了！”魯教授道：“極小塔問題你已經解決了，你接下來想做什麼？”
葉非道：“當然還是繼續做科研。”
“你也不能一直做科研吧，適當的休息一下。”
“是要休息一下，但也不能休息太久，休息幾天就足夠了。”
“那你想好做什麼科研嗎？”
“正在思考！”葉非搖頭：“我還是做集合論的科研，但集合論至今未解決的問題有好幾個，我正在猶豫，到底做哪個？”
魯教授一臉懵逼，咋的，集合論問題塞到你腦子裡了，你說解決就能解決啊！
但想想，葉非都解決集合論兩個問題了。
解決起來也很輕鬆，沒有一個問題超過三個月的。
好像解決集合論問題對他來說非常的輕鬆。
魯教授好似感受到濃濃的凡爾賽氣息。
魯教授道：“要不你解決圖靈等價問題吧！”
“圖靈等價？”葉非道：“但我不懂計算機，要解決這個問題，需要和懂計算機的人合作。”
數學是所有自然學科的基礎，計算機也要用到大量的數學。
歷史上有一個人，叫艾倫·麥席森·圖靈，是計算機之父，人工智慧之父。
圖靈提出的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
可以說，如果沒有圖靈，就沒有現在的計算機。
而像現在的計算機和人工智慧，都是圖靈提出來的。
圖靈等價是計算理論中圖靈機很自然的誘匯出自然數集合之間的一種等價關係。
研究圖靈等價，有利於提高計算機的運算速度。
所謂的運算速度，就是比如計算機A和計算機B，A和B的硬體相同，A用了圖靈等價，B沒有用。