Alhazen también desarrolló el método de demostración por contradicción, como el primer intento de probar el postulado euclidiano de las paralelas.