Proof — Szemerédi's theorem
Statement
Discrete mathematics, theoretical computer science. Szemerédi proved that every dense set of integers contains long arithmetic progressions.
Source
Abel Prize 2012. Discrete mathematics, theoretical computer science. Szemerédi proved that every dense set of integers contains long arithmetic progressions.
Domains
mathematics