Jump to content

Van der Waerden's theorem: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 February 2025

  • curprev 01:0301:03, 11 February 2025 imported>Topologicalcrow 30,584 bytes +30,584 In the ergodic theory section, the proof of van der Waerden's theorem given uses the index n for many different and unrelated things. I replaced them with more consistent notation. While I was there, I cleaned up a bit of the language of the proof and took out some prose explanations of the math (e.g., the rephrasing of what the metric d is) that would be overexplanations to anyone reading a proof based on ergodic theory.
Retrieved from "https://wiki.niidae.com/index.php/Van_der_Waerden%27s_theorem"