PaperThe halting probability omega: Irreducible complexity in pure mathematicsGregory ChaitinMilan Journal of Mathematics