Se destacó principalmente por sus trabajos en filosofía y matemáticas. En esta última ciencia, se le atribuyen las primeras "demostraciones" de teoremas geométricos mediante el razonamiento lógico y, por esto, se la considera el Padre de la Geometría.