135
The mortality problem for $3\times 3$ matrices: given a finite set $F$ of $3\times 3$
integer matrices, decide whether the zero matrix is a product of members of $F$
(with repetitions allowed). This was proved unsolvable by Michael Paterson,
Studies in Applied Mathematics 49 (1970), 105--107, d...
