Thinking About Godel And Turing: Essays On Complexity, 1970-2007

Contains 23 non-technical papers. This book includes essays which summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Godel and Turing on the limits of mathematical methods, both in logic and in computation.