P-adics and Linear Recurrences

(Jit here). Today I want to explain how to prove Skolem-Mahler-Lech using the p-adic numbers, and explain some sort of generalization in the area of algebraic/arithmetic dynamics, known as the Dynamical Mordell-Lang conjecture, which is still an open problem.