07/10/22 21:56:51
>B アルゴリズムを事実上調べる術は無いが
>計算可能なもの、概念のみ （あんまり意味ない）
> >>430
ごめん、これ何いいたいのかぜんぜん分からないや。
>C 厳密に定義可能なもの
> >>538 の B[a](n) + 多変数C1
単に集合論の意味での関数を言ってるのなら、
もうそれこそ際限なく大きな関数があると思う。
BBはむしろ計算不可能な関数の一種の下限と
考えられていることに意味があると思う。
07/10/22 21:56:51
>B アルゴリズムを事実上調べる術は無いが
>計算可能なもの、概念のみ （あんまり意味ない）
> >>430
ごめん、これ何いいたいのかぜんぜん分からないや。
>C 厳密に定義可能なもの
> >>538 の B[a](n) + 多変数C1
単に集合論の意味での関数を言ってるのなら、
もうそれこそ際限なく大きな関数があると思う。
BBはむしろ計算不可能な関数の一種の下限と
考えられていることに意味があると思う。