For example, if we knew that computer programs 0, 10 and 110 all halt, then we would know that the first digits of omega were 0.111.
For example, if we knew that computer programs 0, 10 and 110 all halt, then we would know that the first digits of omega were 0.111.
举例来说，如果知道程式0、10、110会停止，就可以知道Ω的前面几位数是0.111。