Es conocido sobre todo por su trabajo matemático, donde probó la irracionalidad de las raíces de los números enteros no cuadrados (2, 3, 5...) al menos hasta 17 a base del método tradicional pitagórico de usar la reducción al absurdo y llegar a una inconsistencia relacionada con pares e impares.