ハーディ階層
ハーディ階層（ハーディかいそう）とは、1972年にスタンリー・S・ウェイナーが定義した計算可能関数の階層である。この階層はグジェゴルチク階層や急成長階層と同様に、順序数 で添え字づけられた関数の族 を定め、 を含んで限定再帰および初等的な操作で閉じた集合 formula_1として定義される。名称はイギリスの数学者ゴッドフレイ・ハロルド・ハーディに由来する。

ハーディは1904年の論文において連続体濃度の集合から濃度 formula_2（最小の非可算順序数）の部分集合を構成するために、順序数 formula_3 と対応付けられた自然数列の族が構成可能であることを示した。ウェイナーが定めた関数の族 はこの論文で使われたアイデアをもとに定義されている。
Q1148456
計算可能関数
Concept
Q5612503
グジェゴルチク階層
UNK
Q3138738
急成長階層
UNK
Q184337
ゴッドフレイ・ハロルド・ハーディ
PER
Q22952648
連続体濃度
Concept
Q3401770
最小の非可算順序数
UNK
Q5656649
ハーディ階層
Concept
48-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1972年
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
116-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1904年
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
notable work