Teoría

El término "aritmética" también era utilizado para referirse a la teoría de números. Este es
un término bastante antiguo, aunque ya no tan popular. De allí la teoría de números suele
ser denominada alta aritmética,3 aunque el término también ha caído en desuso. Este
sentido del término aritmética no debe ser confundido con la aritmética elemental, o con la
rama de la lógica que estudia la aritmética de Peano como un sistema formal. Los
matemáticos que estudian la teoría de números son llamados teóricos de números.

Los matemáticos en la India se interesaron en encontrar soluciones enteras a

las ecuaciones diofánticas desde mediados del I milenio a. C. El primer uso
geométrico de las ecuaciones diofánticas se remonta a los Shulba-sutras, los cuales
fueron escritos entre los siglos V y III a. C. El religioso Baudhaiana (en el siglo IV a. C.)
encontró dos conjuntos de enteros positivos a un conjunto de ecuaciones diofánticas
simultáneas, y también se usan ecuaciones diofánticas simultáneas con más de cuatro
incógnitas. Apastamba (en el siglo III a. C.) usaba ecuaciones diofánticas simultáneas
con más de cinco incógnitas.*

Los matemáticos yainas fueron los primeros en descartar la idea de que todos los
infinitos son los mismos o iguales, pero ya se venían estudiando desde años atrás.
Reconocen cinco tipos de infinitos diferentes: infinito en una o dos direcciones
(unidimensionales), infinito en superficies (bidimensional), infinito en todas partes
(tridimensional) y perpetuamente infinito (en un número infinito de dimensiones).

La teoría de números fue una de las disciplinas de estudio favoritas entre los
matemáticos griegos de Alejandría (enEgipto) a partir del siglo III a. C., quienes tenían
conciencia del concepto de ecuación diofántica en sus casos particulares. El primer
matemático helenístico que estudió estas ecuaciones fue Diofanto.

Diofanto investigó un método para encontrar las soluciones enteras para

las ecuaciones lineales indeterminadas,4 ecuaciones en las que falta información
suficiente para producir un conjunto único de respuestas discretas. La ecuación x + y =
5 es un ejemplo de ellas. Diofanto descubrió que muchas ecuaciones indeterminadas
pueden ser reducidas a una forma en donde cierta categoría de soluciones son
conocidas, incluso a través de una solución que no lo es.