Joe P. Buhler


Buhler recibió su título universitario de Reed College en 1972 y su Ph.D. de la Universidad de Harvard en 1977 con la tesis Representaciones icosaédricas de Galois y asesor de tesis John Tate . [1] [2] Buhler fue profesor en Reed College en Portland, Oregon desde 1980 hasta su jubilación en 2005. [3]

Buhler está involucrado en un proyecto para verificar numéricamente la conjetura de Kummer-Vandiver de Harry Vandiver y Ernst Eduard Kummer sobre el número de clase de los campos ciclotómicos . Vandiver lo demostró con una calculadora de escritorio hasta el número de clase 600, Derrick Lehmer (a fines de la década de 1940) hasta alrededor de 5000 y Buhler con colegas (en 2001) hasta 12 millones. [5] Continúa el proyecto con David Harvey y otros. [6]