07/10/11 16:36:09
>>460の上数矢印はとても上数とは呼べる品物ではなかったので。改めて上数の方を
定義しなおしてみました。今度は矢印回転でｎ重帰納関数になったと思うんですが。
段落ごとに整理して定義してみます。
①ａ↑0＝ａ ａ↑ｂ＝a＾a＾・・・a＾a ※＾の数がｂ個
例）3↑1＝3＾3
3↑3＝3＾3＾3＾3
②ａ↑↑0＝ａ ※以降右の数字が0のときはａとなります。
ａ↑↑ｂ＝ａ↑（ａ↑↑（ｂ-1）） ※タワーの計算と一緒
例）3↑↑2＝3↑（3↑3）
3↑↑3＝3↑（3↑（3↑3））
③ａ↑↑↑ｂ＝ａ↑（ａ↑↑↑（ｂ-1））
1-①ａ→↑ｂ＝ａ↑↑・・・↑ａ ※↑の数がｂ個
例）3→↑4＝3↑↑↑↑3
1-②ａ→↑↑ｂ＝ａ→↑（ａ→↑↑（ｂ-1））
例）3→↑↑4＝3→↑（3→↑（3→↑（3→↑3）））
2-①ａ→→↑ｂ＝ａ→↑↑・・・↑ａ ※↑の数がｂ個
例） 3→→↑4＝3→↑↑↑↑4
2-②ａ→→↑↑ｂ＝ａ→→↑（ａ→→↑↑（ｂ-1））
※→を伸ばす操作が2重帰納関数