19/04/15 23:33:28.46 pKzTSSRO.net
g_0 = λn:N. 0
g_α = min{f∊F | ∀β＜α. g_β＜f}
f＜g ⇔ ∃n:N. ∀m:N. n≦m → f(m)＜g(m)
g_m(n) = m
g_ω(n) = n
g_ω^2(n) = n^2
g_ω^ω(n) = n^n
g_ε_0(n) = n↑↑n
g_αの集合Fをどうやって定義するか？
19/04/15 23:33:28.46 pKzTSSRO.net
g_0 = λn:N. 0
g_α = min{f∊F | ∀β＜α. g_β＜f}
f＜g ⇔ ∃n:N. ∀m:N. n≦m → f(m)＜g(m)
g_m(n) = m
g_ω(n) = n
g_ω^2(n) = n^2
g_ω^ω(n) = n^n
g_ε_0(n) = n↑↑n
g_αの集合Fをどうやって定義するか？