El descubrimiento de la raíz cuadrada de 2 como un número irracional se atribuye generalmente al pitagórico Hípaso de Metaponto, quien fue el primero en producir la demostración (vía demostración geométrica) de la irracionalidad.