show/hide this revision's text 1 [made Community Wiki]

The statement, though unfortunately maybe not the proof, of Wilkie's solution to Tarski's high-school algebra problem, is certainly accessible to freshmen.