Los números irracionales aparecen en la historia de la matemática vinculados a la geometría. Las magnitudes inconmensurables fueron descubiertas por la Escuela Pitagórica en el siglo VI A.C., al tratar de resolver problemas tales como la relación entre la diagonal y el lado de un pentágono regular. La matemática pitagórica estaba basada en los enteros positivos y en todo lo que es expresable en términos de operaciones entre ellos y concebían las figuras constituidas por una cantidad finita de puntos. El descubrimiento de estas magnitudes, puso en evidencia que tal suposición era falsa y que muchas demostraciones de la geometría eran falsas o estaban incompletas. A estos números, que no eran ni enteros ni fracciones, los llamaron alogos o irracionales. En la época de Platón (428 - 347 A.C.) ya se conocía la irracionalidad de los números:
Los números irracionales se caracterizan por poseer infinitas cifras decimales que no siguen ningún patrón repetitivo. Debido a ello, los más célebres de éstos son identificados mediante símbolos, dos de ellos son П y Ф.
