The Undecidable (Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions)