In the talk I will introduce Hindman's theorem, a result in (infinite) Ramsey theory important for both its content and its historical role. If time allows it, I will try to sketch the proof due to Galvin and Glazer using ultrafilters.