算力研究室！
葉非正在和周康教授研究圖靈等價問題。
可數計算性理論和集合論已經結合到一起，下面是將它們套到可數波雷爾等價關係中。
葉非他們現在就是做這一步。
葉非道：“周教授，我覺得如果將非形式的能行可計算性加入進去，好像更適合當前研究。”
“你是說丘奇圖靈？”周教授道。
這裡說的丘奇是阿隆佐·邱奇，北麗國數學家，他1936年發表可計算函式的第一份精確定義，1967年發明了著名的λ演算。
而他的學生正是艾倫·圖靈，計算機之父。
但丘奇圖靈，這裡的圖靈，不是計算機之父艾倫·圖靈，而是英格蘭數學家阿蘭·圖靈。
邱奇在阿蘭.圖靈的論文基礎上，建立了基本幾何問題的演算法不可解性和一階邏輯中真命題全集的解法問題是不可解。
其中就包括非形式的能行可計算性，被稱為丘奇圖靈。
“是的！”葉非點頭。
“但是這樣，就將研究複雜化了。”
這就好似本來是單獨的研究，再參雜其餘的東西，將需要研究的內容擴大。
“您忘記哥德爾理論了？”葉非道。
哥德爾理論，全稱為哥德爾不完全性定理，有利於圖靈機的研究。
周教授眼前一亮，興奮的道：“是的，只要用哥德爾理論，就能將這兩個結合，讓兩個問題成一個問題。”
周教授心中感嘆，自己就從未體驗過這麼輕鬆的研究。
每次有問題，葉非都能很快找到思路。
沒問題，葉非還是能提出思路。
和葉非做研究，一個字，爽，兩個字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有問題，但和葉非做科研，他從不怕有問題。