Euler ya hacía esta distinción en 1744 pero habría que esperar casi un siglo para que se estableciera claramente la existencia de los irracionales trascendentes en los trabajos de Liouville, Hermite y Lindeman.