This paper discusses strong shift equivalence and counterexamples to the lo
ng standing Shift Equivalence Problem in symbolic dynamics. We also discuss
how strong shift equivalence theory is closely related to areas of mathema
tics outside dynamics such as algebraic K-theory, cyclic homology, and topo
logical quantum field theory.