Yep, 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.i

Yep, 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...