Here's a fun post about Chaitin's Constant over on Cohost:

https://cohost.org/chronos-tachyon/post/492184-empty

Chaitin's Constant is the probability that a random computer program halts, assuming that your process for selecting random computer programs is biased so that long programs are exponentially less likely to be selected than short ones.

It's a great example of why I think that uncomputable real numbers don't exist.

#GregoryChaitin #ChaitinsConstant #HaltingProblem #computability