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. © 2007 Birkhaueser.