The Undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions