Can you summarize the following document?
        
  假設一個圖靈機程式可以隨意獲取自然數函式formula_1的值(即使formula_1不可計算),且該圖靈機計算自然數函式formula_3,則定義函式formula_3由函式formula_1 圖靈可計算,記作formula_6。符合以上特點的圖靈機稱為具備函式formula_1的預言機。若集合formula_8的特徵函式可計算集合formula_9,則formula_10。  在電腦科學和數理邏輯中,自然數集合的圖靈度或者不可解度是對此集合的演算法不可解性的度量。圖靈度在可計算理論中是根本性的概念,在可計算理論裡,自然數集合通常被看作一個判定問題,而圖靈度則給出瞭解決與此集合相連的判定問題的困難程度。  如果兩集合formula_11有同一不可解度(也即兩者互相圖靈可計算),則稱兩集合為圖靈等價,記作formula_12。圖靈等價是一個等價關係,其等價類稱作不可解度。圖靈可計算關係是所有不可解度的蒐集上的偏序。所有可計算集合(也即圖靈等價於空集的集合)的不可解度為formula_13(零度)。  所有不可解度的蒐集記作formula_14。

  圖靈跳躍算符是不可解度上的算符。設formula_9為一集合,則其不可解度的圖靈跳躍formula_16為所有停機的具備集合formula_9的預言機的集合的不可解度。  零度的圖靈跳躍是停機問題的不可解度,也即formula_18。

  設formula_19為不可解度,則所有可計算formula_19的不可解度的蒐集formula_21叫做formula_19上的圖靈錐。
不可解度,或圖靈度(Turing degree),是數學邏輯的名詞,尤其應用在可計算性理論中。