Chaitin's constant

(computing theory) A real number that informally represents the probability that a randomly-constructed program will halt.

Japanese Meaning

計算理論において、無作為に構成されたプログラムが停止する確率を非形式的に表現した実数。

Chaitin's constant remains uncomputable, which means we cannot determine the exact probability that a randomly constructed program will halt.

チャイティンの定数は計算不能であり、ランダムに生成されたプログラムが停止する確率を正確に求めることはできません。

Sense（1）

(computing theory) A real number that informally represents the probability that a randomly-constructed program will halt.