I don't really understand the insight with Chaitin's number. It's unknowable, but so are a lot of things. The halting problem already says that there are progra

I don't really understand the insight with Chaitin's number. It's unknowable, but so are a lot of things. The halting problem already says that there are programs which we can't know if they will halt or not. And before that, Godel showed there are simple logical sentences which are true and unprovable.