「CG BX関数ちゃん (2019/09/08)」
今日のCG BX関数ちゃん

BX関数の値の算出、関数のevalutationには無限の時間がかかる。
//無限ループ判定の疑似コード。
//仮に、0から∞までの全ての値をチェックできれば無限ループは判定できる
for (int i=0; i<=∞ ;i++)
{
if (xxx==true) break;
}
//仮に、0から∞までの全ての値をチェックできれば無限ループは判定できる
for (int i=0; i<=∞ ;i++)
{
if (xxx==true) break;
}
uncomputable数自体は有限である。(無限ループを全て除去した後は普通の有限プログラムなので)
だがその難易度。計算にかかる労力的に考えると
無限と同じレベルにある数です。