Thomas C. Hales

Mathematiker