>B アルゴリズムを事実上調べる術は無いが
>計算可能なもの、概念のみ （あんまり意味ない）
>　>>430

ごめん、これ何いいたいのかぜんぜん分からないや。

>C 厳密に定義可能なもの
>　>>538 の B[a](n) + 多変数C1

単に集合論の意味での関数を言ってるのなら、
もうそれこそ際限なく大きな関数があると思う。
BBはむしろ計算不可能な関数の一種の下限と
考えられていることに意味があると思う。