4 ms·
Looks 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 th
by emacdona 7y ago
Looks 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...