3 ms·
Thanks for your comment! Indeed, Chaitin constant is an amazing example, however I failed to understand how can it be computed at least approximately. What I li
by alexmolas 4y ago
Thanks for your comment! Indeed, Chaitin constant is an amazing example, however I failed to understand how can it be computed at least approximately. What I like about the example in the post is that you can compute some digits of the $\Omega$ constant, which in my opinion is more pedagogical.
If you have some resources regarding Chaitin constant I would be very happy to read them :)
- sebastialonso 4y agoI'll look some videos from a while ago. Again, great series, hope you keep publishing!
- alexmolas 4y agohaha thank you very much! I'm happy you enjoyed it :)
- tromp 4y agoChaitin computed the first few bits of a LISP based version of Omega in one of his books. For my own lambda based version of Omega I was able to compute the first 4 bits [1]. [1] https://tromp.github.io/cl/Binary_lambda_calculus.html#Halting_probability https://tromp.github.io/cl/Binary_lambda_calculus.html#Halti...