The foundations of Ergodic Theory lie in Statistical Physics, but nowadays the field has many fruitful connections with Number Theory.  We will explore some of these surprising links and discuss Furstenburg's remarkable proof of Szemerédi's Theorem, which says that any subset of the natural numbers of positive upper Banach density contains arbitrarily long arithmetic progressions.