PaperAnother example of higher order randomnessVerónica Becher, Gregory ChaitinFundamenta Informaticae
PaperThe halting probability omega: Irreducible complexity in pure mathematicsGregory ChaitinMilan Journal of Mathematics