Wiskundemeisjes
In de gangen van het EWI van de TU Delft hangt sinds kort wiskundige kunst. Op de 7de en 9de verdieping kan iedereen genieten van werken gebaseerd op de Stelling van Van der Waerden.

Deze tekst hangt er bij de kunstwerken:
Partitioning the first \(\) natural numbers into \(\) subsets not containing arithmetic progressions of length \(\)?
The famous Van Der Waerden theorem shows that this is possible only up to a certain number. Many mathematicians worked on its exact location, which is considered as a hard problem. Lower bounds are provided by actual presenting such partitions, called certificates. A breakthrough in finding such certificates was forced at Delft by combining SAT technology and two dimensional visualization methods initiated by Marijn Heule. Beautiful pictures arise, showing many symmetries. This is the more surprising considering they represent structures not allowing arithmetical regularities.

De werken zijn gemaakt door kunstenares Mieke Schobbe.
In 2007 schreef K.P. Hart voor het Nieuw Archief voor Wiskunde een mooi artikel over de stelling van Van der Waerden (pdf).
Met dank aan Hans van Maaren voor de tip.