急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 (τ は適当な極限順序数)を急増加関数と呼ぶ。

Property Value
dbo:abstract
  • 急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 (τ は適当な極限順序数)を急増加関数と呼ぶ。 (ja)
  • 急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 (τ は適当な極限順序数)を急増加関数と呼ぶ。 (ja)
dbo:wikiPageID
  • 4147553 (xsd:integer)
dbo:wikiPageLength
  • 3643 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 88832725 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 (τ は適当な極限順序数)を急増加関数と呼ぶ。 (ja)
  • 急成長階層(きゅうせいちょうかいそう、英: fast-growing hierarchy)および拡張グジェゴルチク階層(かくちょうグジェゴルチクかいそう、英: extended Grzegorczyk hierarchy)とは、1970年にマーティン・レーペ(Martin Löb)とスタンリー・S・ウェイナーによって定義された、最大 層からなる計算可能関数の階層である。急成長階層の定義にはいくつかのバージョンがあるが、特にウェイナーが α ≦ ε0 の範囲について1972年の論文で定義し、ケトネンとソロヴェイが簡略化したバージョンをウェイナー階層(英: Wainer hierarchy)と呼ぶ。 急成長階層の定義に登場する、可算な順序数で添字づけられた計算可能関数の族 (τ は適当な極限順序数)を急増加関数と呼ぶ。 (ja)
rdfs:label
  • 急成長階層 (ja)
  • 急成長階層 (ja)
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of