Yes, you can do this, but it isn't very interesting because the number you get depends on the details of the computational model that you use to specify the com

Yes, you can do this, but it isn't very interesting because the number you get depends on the details of the computational model that you use to specify the computation (because that's how you define the probability distribution). But people have gone through the exercise, e.g.: https://www.researchgate.net/publication/267327970_Empirical_Estimation_of_the_Halting_Probabilities https://www.researchgate.net/publication/267327970_Empirical...