急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarchy）および拡張グジェゴルチク階層（かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy）とは、1970年にマーティン・レーペ（Martin Löb）とスタンリー・S・ウェイナーによって定義された、最大 ℵ 1 {\displaystyle \aleph _{1}} 層からなる計算可能関数の階層である。 急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層（英: Wainer hierarchy）と呼ぶ。
急成長階層（きゅうせいちょうかいそう、英: fast-growing hierarchy）および拡張グジェゴルチク階層（かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy）とは、1970年にマーティン・レーペ（Martin Löb）とスタンリー・S・ウェイナーによって定義された、最大 ℵ 1 {\displaystyle \aleph _{1}} 層からなる計算可能関数の階層である。 急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層（英: Wainer hierarchy）と呼ぶ。
出典: Wikipedia「急成長階層」 · CC BY-SA 4.0
この記事を共有: X · Bluesky