André Weil
According to Van der Waerden and André Weil Hilbert problem fifteen has been solved. In particular,