Se cree que fue él quien probó la existencia de los números irracionales, en un momento en el que los pitagóricos pensaban que los números racionales podían describir toda la geometría del mundo.