07/10/22 22:29:26
>>702
C と D の違いは、
C:関数や数値として定義がされているもの
D:定義はされていないが、考え方が記されているもの
「きっちり仕掛けが説明できれば」というのは良くわかりません。
きっちり定義できればという意味なら、
部門が D ですので、厳密な定義はありません。
H[Γ_0](n) なら既に定義がいくつかあがっていて、
プログラムにもなっています。
その大きさが一般人でも理解できるような説明は私には出来ません。
枝分かれ部分が veblen と + との区別がある多進木で
図に書くことは出来るでしょうが。