圖靈度

圖靈度,數學邏輯名詞,即函式由函式圖靈可計算,並且由圖靈可計算時,稱和具有相同的圖靈不可解性的度。

不可解度:數學邏輯名詞,即函式由函式圖靈可計算,並且由圖靈可計算時,稱和具有相同的圖靈不可解性的度。
在計算機科學和數理邏輯中,自然數集合的圖靈度或者不可解度是對此集合的算法不可解性的度量。圖靈度在可計算理論中是根本性的概念,在可計算理論里,自然數集合通常被看作一個判定問題,而圖靈度則給出了解決與此集合相連的判定問題的困難程度。

相關詞條

熱門詞條

聯絡我們