The Halting Probability Omega: Irreducible Complexity in Pure Mathematics

Abstract.Some Gödel centenary reflections on whether incompleteness is really serious, and whether mathematics should be done somewhat differently, based on using algorithmic complexity measured in bits of information.