The halting probability omega: Irreducible complexity in pure mathematicsGregory Chaitin2007Milan Journal of Mathematics