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


今日のCG BX関数ちゃん



BX関数の値の算出、関数のevalutationには無限の時間がかかる。

//無限ループ判定の疑似コード。
//仮に、0から∞までの全ての値をチェックできれば無限ループは判定できる
for (int i=0; i<=∞ ;i++)
{
  if (xxx==true)  break;
}


uncomputable数自体は有限である。(無限ループを全て除去した後は普通の有限プログラムなので)

だがその難易度。計算にかかる労力的に考えると
無限と同じレベルにある数です。