nking About Gédel And Turing: Essays On Complexity 1970- 2007. World Scientific Publishing, 2007. HOUSE_OVERSIGHT_016078 Bibliography 389 Franzén, Torkel. Gédel’s Theorem: An Incomplete Guide to Its Use and Abuse. AK Peters/CRC Press, 2005. Godel, Kurt. On Formally Undecidable Propositions of “Princip