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
| |
dbo:wikiPageLength
|
- 3643 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
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
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |