Undecidable problems: a sampler - Bjorn Poonen (2012)