@screwtape
Technically speaking, most possible programs *are* undecidable, as a matter of proven fact rather than as an author's opinion, and many programming books with an emphasis on computer science will say so or even spend chapters on the subject.
In light of that, do you recall more things about the book, to help pin down that particular book?