  Wall's finiteness obstruction is an algebraic K-theory invariant which
decides if a finitely dominated space is homotopy equivalent to a finite CW
complex. The object of this survey is to describe the invariant (which was
first formulated in 1965) and some of its many applications to the surgery
classification of manifolds.
