Undecidable problems: a sampler
  After discussing two senses in which the notion of undecidability is used, we present a survey of undecidable decision problems arising in various branches of mathematics. 
Bjorn Poonen
math.LO