07/10/19 14:45:38
>>633 最終総括
確定事項
・ふぃっしゅ関数Ver.5のλ項表現(5-714の6スレ37を引数なしで計算した形）
（λx.x(λx.x(･･･(λx.x(λx.xx)x)･･･)x)x)
対角の入れ子になるので「ふぃっしゅの対角マトリョーシカ」なる名前を提案。
・ふぃっしゅ関数Ver.5の引数入力後の計算状態はヒドラ・ゲームに対応する。
（魚スキーの6スレ317より）
未確定事項
・ｎ階対角化functionalとHardy関数の順序数の増加との対応関係
（魚スキーの6スレ317で予想されるも未だ証明なし）