Es conocido por la demostración en 1882 de que el número π es un número trascendental, es decir, no es cero de algún polinomio con coeficientes racionales.