3 ms·
I say "it" when I mention Chaitin's Constant, but really I believe it's an entire set of constants. Is that set countable? So many questions... :-)
by emacdona 7y ago
I say "it" when I mention Chaitin's Constant, but really I believe it's an entire set of constants. Is that set countable? So many questions... :-)
- emacdona 7y agoLooks like the wikipedia page says there's a Chaitin's constant for each Computable Function, so yeah, countable. That's if I'm reading it correctly. Even if the constant differs for every program that computes a given Computable Function... still countable, though (if I'm doing my math right).
- tromp 7y agoYep, it's countable. I have defined a relatively simple one in https://tromp.github.io/cl/Binary_lambda_calculus.html#Halting_probability https://tromp.github.io/cl/Binary_lambda_calculus.html#Halti...