07/10/17 18:41:19
>>545の
f_2 => (m3 m2) とすれば、
m3 m3 m2 f (n) = (m3 m2)^n f (n)
という計算は、>>550の定義ではできない、はず。
>>553
> Λ(x)を具体的に表すことこそがこのスレッドの意義
そう思うなら、やってみたら？
たしかスネークがあったと思うけど、>>337によれば
あれはω^ω程度のようだし。とりあえずε_0を超えないと。
ふぃっしゅ氏も>>418-419でチャレンジしたけれど、
まだ「ε_1にも到達しなさそう」らしい。
>>338-350の多進木が一つの方法だとは思うけどね。