THINKING ABOUT G&Ouml;DEL AND TURING: Essays on Complexity, 1970-2007