07/10/16 17:26:57
>>533
6スレ305の魚スキーのことか？
だったら、魚スキー関数だな。
魚スキーの解釈は、こういうことらしいが・・・
果たしてふぃっしゅのいう高階関数による"定義"と一致するかい？
(高階関数＝汎関数(functional)だから、
Goedelの仕事と関連づければうまくいきそうな気はするが）
＋１ １、２、３、・・・
(m2) ＋ω ω、２ω、３ω、・・・
m2^n ×ω ω、ω＾２、ω＾３、・・・
(m3) ×（ω＾ω） ω＾ω、ω^２ω、ω＾３ω、・・・
m3^n ＾ω ω＾ω、ω＾（ω＾２）、ω＾（ω＾３）、・・・
(m4) ＾（ω＾ω） ω＾（ω＾ω）、ω＾（ω＾２ω）、ω＾（ω＾３ω）、・・・
m4^n ＾＾ω ω＾（ω＾ω）、ω＾（ω＾（ω＾２））、ω＾（ω＾（ω＾３））、・・・
(m5) ＾＾（ω＾ω） ω＾（ω＾（ω＾ω））、ω＾（ω＾（ω＾２ω））、ω＾（ω＾（ω＾３ω））
・・・
もちろん、これでうまくいくのはε_0より小さい部分だけだが