ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である。 この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦ ε0) で添え字づけられた関数の族 {hα}α ≦ ε0 を定め、hα を含んで限定再帰および初等的な操作で閉じた集合 { H α } α ≤ ε 0 {\displaystyle \{{\mathcal {H}}_{\alpha }\}_{\alpha \leq \varepsilon _{0}}} として定義される。
ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である。 この階層はグジェゴルチク階層や急成長階層と同様に、順序数 α (≦ ε0) で添え字づけられた関数の族 {hα}α ≦ ε0 を定め、hα を含んで限定再帰および初等的な操作で閉じた集合 { H α } α ≤ ε 0 {\displaystyle \{{\mathcal {H}}_{\alpha }\}_{\alpha \leq \varepsilon _{0}}} として定義される。
出典: Wikipedia「ハーディ階層」 · CC BY-SA 4.0
この記事を共有: X · Bluesky