Chaitin's constantWiktionary 原文词源说明Named after Gregory Chaitin.释义（英文）专有名词 Proper noun(computing theory) A real number that informally represents the probability that a randomly-constructed program will halt.