Chaitin's Omega

Language Add to watchlist Editing Chaitin's constant (Japanese reading: Chaitin no teisu; English: Chaitin's constant) is a concept in algorithmic information theory, a field of computer science, and informally is a real number expressing the probability that a randomly selected program halts. It emerged from Gregory Chaitin's research. Also called halting probability (Japanese reading: teishi kakuritsu; English: Halting probability). There are infinitely many halting probabilities, but they are usually represented by Ω as though they were 1. Because Ω depends on how programs are encoded, discussion without specifying an encoding scheme is sometimes called Chaitin's construction. #list

言語 ウォッチリストに追加 編集 チャイティンの定数（チャイティンのていすう、英: Chaitin's constant）は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択されたプログラムが停止する確率を表した実数である。グレゴリー・チャイティンの研究から生まれた。停止確率（ていしかくりつ、英: Halting probability）とも。 停止確率は無限に多数存在するが、Ω という文字でそれらをあたかも1つであるかのように表すのが普通である。Ω はプログラムを符号化する方式に依存するので、符号化方式を特定せずに議論する場合は Chaitin's construction と呼ぶことがある。 #list