"tarski" and "high school algebra problem" is the biggest juxtaposition in maths I can think of http://tinyurl.com/3898t45