The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics (Oxford Landmark Science)

by Roger Penrose

We have said nothing whatever about the insolubility of single problems, but only about the algorithmic insolubility of families of problems.