07/09/08 02:43:26
それでは、感覚をつかむために H[((((0)))0)] ≒ F[ω^2](n) から計算してみます。
まずは、>>338の定義をコピーします。
Ｎ:非負整数 とする (0, 1, 2, .....)
■集合Ｔ
○定義
0 ( ) の３つの文字からなる文字列の集合で、以下の２つの条件を満たす最小のもの
"0" はＴの元である
Ｔの元を１個以上有限個繋げて () でくくったものはＴの元である
演算子 + で文字列の連結を表す
"(0)" + "0" = "(0)0"
○意味
葉が0の多進木
0と多変数の関数funcで生成できる数 と対応する
"(000)" => (0,0,0) => func(0, 0, 0)
"((0)0(0)((0)0))" => ((0),0,(0),((0),0)) => func( func(0), 0, func(0), func( func(0), 0 ) )