In recent years there have been striking applications of infinitary
methods in finite combinatorics. I will survey some of these methods,
notably the theory of "flag algebras" due to Razborov.