Szemeredi's theorem states that a set of positive integers of positive density contains arbitrarily long finite arithmetic progressions. Furstenberg discovered an ergodic theoretic proof of this result, and Tao has recently obtained a new ergodic proof. This talk will be an introduction to Tao's work.
Alex Kontorovich