低基底定理

3行要約

1. 計算可能理論において、特定の性質を持つ無限二分木に「低い」集合が存在する定理。
2. 計算不可能性の度合いを分類する指標となり、数理論理学における重要な成果。
3. アルゴリズムの限界や、数学的対象の複雑さを評価するために用いられる。