In this talk we will discuss Szemeredi's theorem, which states that any set of integers with positive density contains arbitrarily long arithmetic progressions. The focus will be Gowers' approach to proving this theorem where he introduced higher order Fourier analysis and the Gowers uniformity norms.