Yüksek (hesaplanabilirlik) - High (computability) - Wikipedia

İçinde hesaplanabilirlik teorisi, bir Turing derecesi [X] 0 ′'de hesaplanabilirse yüksektir ve Turing atlama [X′] 0 ′ ′ olup, açısından olası en büyük derece Turing indirgenebilirliği 0 ′'da hesaplanabilen bir kümenin sıçraması için (Soare 1987: 71).

Benzer şekilde, bir derece yüksek n n'inci zıplaması (n + 1) '0'ın. zıplaması ise. Daha da genel olarak, bir derece d dır-dir genelleştirilmiş yüksek n n'inci atlama birleşiminin n'inci atlaması ise d 0 ′ ile.

Ayrıca bakınız

Düşük (hesaplanabilirlik)

Referanslar

Soare, R. Özyinelemeli olarak numaralandırılabilir kümeler ve dereceler. Matematiksel Mantıkta Perspektifler. Springer-Verlag, Berlin, 1987. ISBN  3-540-15299-7