4 ms·
cool series. In my opinion, Chaitin constant is the best example to understand incomputable numbers, hopefully author can include it later.
by sebastialonso 4y ago
cool series. In my opinion, Chaitin constant is the best example to understand incomputable numbers, hopefully author can include it later.
- alexmolas 4y agoThanks 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...