Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
Springer-verlag Berlin And Heidelberg Gmbh & Co. K Algebraic complexity theory, paperback/mohammad a. shokrollahi
