Aritmética formal en la Antigua Grecia[editar]

Véase también: Matemática helénica

La aritmética en la Grecia Antigua era considerada como el estudio de las propiedades de los
números, y no incluía cálculos prácticos; los métodos operatorios eran considerados una
ciencia aparte. Esta particularidad fue heredada a los europeos durante la Edad Media, y no
fue hasta el Renacimiento que la teoría de números y los métodos de cálculo comenzaron a
considerarse «aritméticos».
La matemática griega hace una aguda diferencia entre el concepto de número y el de
magnitud o conmensurabilidad. Para los antiguos griegos, número significaba lo que hoy se
conoce por número natural, además de diferenciar entre «número» y «magnitud geométrica».
Los libros 7–9 de Los elementos de Euclides tratan de la aritmética exclusivamente en este
sentido.
Nicómaco de Gerasa (ca. 60 - 120 d. C.), en su Introducción a la Aritmética, resume la filosofía
de Pitágoras y de Platón enfocada a los números y sus relaciones fundamentales. Nicómaco
hace por primera vez la diferencia explícita entre Música, Astronomía, Geometría y Aritmética,
y le da a esta última un sentido más «moderno», es decir, referido a los números enteros y sus
propiedades fundamentales.8 El quadrivium (lat. "cuatro caminos") agrupaba estas cuatro
disciplinas científicas relacionadas con la matemática proveniente de la escuela pitagórica.
Diofanto de Alejandría (siglo III d.C), es el autor de Arithmetica, una serie de libros
sobre ecuaciones algebraicas, donde por primera vez se reconoce a
las fracciones como números y se utilizan símbolos y variables como parte de la notación
matemática; redescubierto por Pierre de Fermat en el siglo XVII. Las hoy llamadas ecuaciones
diofánticascondujeron a un gran avance en la teoría de números.

Edad Media y Renacimiento europeo[editar]

El mayor progreso matemático de los griegos se dio entre los años 300 a.C y el 200 d. C.
Después de esto, los avances continuaron en regiones islámicas. La matemática floreció en
particular en Irán, Siria e India. Si bien los descubrimientos no fueron tan sustanciales como
los llevados a cabo por la ciencia griega, sí contribuyeron en gran medida a preservar sus
obras originales. A partir del siglo XI, Adelardo de Bath y más adelante Fibonacci, introducen
nuevamente en Europa esta matemática islámica y sus traducciones del griego.9
De las siete artes liberales en que se organizaban los estudios formales en la Antigüedad y la
Edad Media, la aritmética era parte de las enseñanzas escolásticas y universitarias.10 En
1202, Fibonacci, en su tratado Liber Abaci, introduce el sistema de numeración
decimal con números arábigos. Las operaciones aritméticas, aún las más básicas, realizadas
hasta entonces con numerales romanos resultaban muy complicadas; la importancia práctica
en contabilidad hizo que las nuevas técnicas aritméticas se popularizaran enseguida en
Europa. Fibonacci llegó a escribir que «comparado con este nuevo método, todos los demás
habían sido erróneos».

Civilizaciones precolombinas[editar]
Quipu.

Véanse también: Numeración maya y Matemática incaica.

Al igual que otras civilizaciones mesoamericanas, los mayas utilizaban un sistema de

numeración de base vigesimal (base aritmética 20) para medir el tiempo y participar del
comercio a larga distancia. Los mayas preclásicos desarrollaron independientemente
el concepto del cero alrededor del año 36 a. C.11 Aunque poseían sistema de numeración, la
ciencia maya y azteca estaba más enfocada en predecir el paso del tiempo, elaborar
calendarios y pronosticar eventos astronómicos. Las culturas andinas, que no poseían sistema
de escritura, sí parecen haber desarrollado más el cálculo aritmético. Algunas inscripciones
fijan con gran precisión el año solar real en 365 días. Fueron las primeras civilizaciones en
inventar el cero, aunque con algunas peculiaridades que le privaron de posibilidad
operatoria.12
Los incas se destacaron principalmente por su capacidad de cálculo para fines económicos y
comerciales. Los quipus y yupanas fueron señal de la importancia que tuvo
la administración incaica. Esto dotó a los incas de una aritmética sencilla pero efectiva para
fines contables; basada en un sistema decimal, conocieron el cero y dominaron la suma, la
resta, la multiplicación y la división.

Aritmética en China[editar]
Véase también: Matemática china

Varillas de conteo.

La matemática china temprana es tan diferente a la de otras partes del mundo, que es
razonable suponer que se desarrolló independientemente. El texto de matemáticas más
antiguo que se conserva es el Chou Pei Suan Ching (literalmente: La Aritmética Clásica del
Gnomon y los Senderos Circulares del Cielo), datado del 300 a.C.13
De particular notoriedad es el uso de un sistema decimal posicional, la así
llamada numeración con varillas, utilizada muchos siglos antes del sistema indoarábigo de
numeración.13 El sistema de numeración con varillas permitía representar cantidades
arbitrariamente grandes, y facilitaba el cálculo matemático con suanpan (o ábaco chino). La
fecha de invención del "suan pan" es incierta, pero los registros escritos más antiguos que lo
mencionan datan del año 190 a.C., en las «Notas Suplementarias en el arte de las Figuras»,
de Xu Yue.
Los nueve capítulos sobre el arte matemático, contiene problemas de agricultura, comercio,
geometría e ingeniería, así como trabajos con triángulos rectángulos y aproximaciones
al número π. El matemático chino Zu Chongzhi calculó el valor de π hasta siete decimales.13

Aritmética en la India: el cero y la notación posicional[editar]

Véase también: Matemática en la India

La matemática hindú alcanzó su madurez durante los siglos I al VIII, con el invento
trascendental de la notación posicional, empleando la cifra cero como valor nulo. Utilizaron,
como en Occidente, un sistema de numeración de base 10 (con diez dígitos). Egipcios,
griegos y romanos, aunque utilizaban un sistema decimal, este no era posicional, ni poseía el
cero, el cual fue transmitido a occidente mucho más tarde por los árabes, que le
llamaban hesab, a través de la España e Italia medievales.
El sistema de numeración decimal aparece ya en el Süryasiddhanta, pequeño tratado que
data probablemente del siglo VI. Los trabajos matemáticos de los hindúes se incorporaron en
general a las obras astronómicas. Este es el caso de Aryabhata, nacido hacia 476, y
de Brahmagupta, nacido hacia 598. Hacia 1150, Bhaskara escribió un tratado de aritmética en
el que exponía el procedimiento del cálculo de raíces cuadradas. Se trata de una teoría de las
ecuaciones de primer y segundo grado, no en forma geométrica, como lo hacían los griegos,
sino en una forma que se puede llamar algebraica.
En el siglo VII, el obispo sirio Severo Sebhokt menciona este método con admiración,
indicando no obstante que el método indio iba más allá de esa descripción. Las múltiples
ventajas prácticas y teóricas del sistema de «notación posicional con cero» dieron el impulso
definitivo a todo el desarrollo ulterior de la matemática. Los modernos algoritmos de cálculo
fueron posibles gracias a la introducción de los números árabes y la notación
decimal posicional.

Aritmética árabe[editar]
Véase también: Matemática en el islam medieval

La matemática hindú, con el temprano desarrollo de la notación posicional y uso del cero,
revistieron gran importancia en el progreso matemático posterior. Esta herencia fue recogida
por los árabes, netamente con los trabajos de al-Jwarizmi y las primeras traducciones de
textos griegos al árabe, incluyendo los Elementos de Euclides realizada por al-Hajjaj. En
la Casa de la sabiduría (Bayt al-Hikma, una institución de investigación y traducción
establecida en Bagdad), los científicos y matemáticos tradujeron las obras
de Euclides, Diofanto, Menelao, Arquímedes, Ptolomeo, Apolonio entre otros clásicos de la
ciencia griega. Uno de los avances más significativos se da con los trabajos de Abu Yafar
Mohamed ibn Musa al-Jwarizmi: el álgebra,14 que representaba un apartamiento
revolucionario del concepto geometricista de los griegos, permitiendo un tratamiento distinto
de los "objetos" tales como los números racionales, los irracionales o las magnitudes
geométricas, y una aplicación sistemática de la aritmética al álgebra.15 Abu Bekr ibn
Muhammad ibn al-Husayn al-Karaji, nacido en 953, es probablemente el primero en liberar
completamente al álgebra de las operaciones geométricas y remplazarlas por el tipo de
operaciones aritméticas que constituyen el corazón del álgebra actual. Al-Samawal (nacido
en 1130) fue el primero en dar al nuevo tópico del álgebra una descripción precisa, cuando
escribió que ella se ocupaba ...de operar sobre las incógnitas usando todas las herramientas
aritméticas, de la misma forma que el aritmético opera sobre lo conocido. Thabit ibn
Qurra(nacido en 836), hizo múltiples contribuciones en los más diversos campos de la
matemática, en especial a la teoría de números.
Tres distintos tipos de sistemas aritméticos se empleaban simultáneamente alrededor del siglo
X: la aritmética por conteo con los dedos, con los numerales enteramente escritos en
palabras, era el método empleado por la comunidad mercantil; el sexagesimal, con los
numerales denotados por letras del alfabeto árabe, provenía de la matemática babilónica y los
matemáticos del islam lo usaron principalmente para el trabajo astronómico; el tercer sistema
fue la aritmética de los numerales indios y las fracciones con valor posicional decimal.

Alta aritmética[editar]
Véase también: Teoría de números

El término aritmética también hace referencia a la teoría de números, la cual desarrolla y

profundiza las propiedades de los números (enteros) relacionadas con
su primalidad, divisibilidad y las soluciones de ecuaciones en los enteros; en particular, el
«teorema fundamental de la aritmética» y las «funciones aritméticas» se desarrollan dentro de
este marco y este es el uso reflejado en A Course in Arithmetic de Jean-Pierre Serre, o el que
le da Harold Davenport en frases como: "aritmética de primer orden" o "alta aritmética".

 La aritmética modular trata de las congruencias de números enteros; su estudio se

inscribe dentro de la teoría de números.
 La aritmética binaria y el álgebra de Boole, muy utilizadas en informática, es el cálculo
aritmético efectuado en un sistema de numeración binario, y el álgebra resultante.
Documentado por Leibniz, en el siglo XVII, en su artículo Explication de l'Arithmétique
Binaire.
 La aritmética ordinal, en teoría de conjuntos, describe el cálculo aritmético con las
operaciones —suma, multiplicación y potenciación— aplicadas a los números ordinales.
 La aritmética de Peano es el conjunto de axiomas de construcción de los números
naturales.
 Los teoremas de incompletitud de Gödel, enunciados por Gödel en 1930, demuestran que
ninguna teoría matemática formal capaz de describir los números naturales y la aritmética
con suficiente expresividad es a la vez consistente y completa.
El Teorema Fundamental de la Aritmética[editar]
Artículo principal: Teorema fundamental de la aritmética

También conocido como teorema de factorización única, afirma que todo entero positivo se
puede representar de forma única como producto de factores primos. Este resultado fue
obtenido por Euclides, y presentado originalmente como un corolario al llamado Primer
Teorema de Euclides.16 La demostración formal no se dio hasta la publicación de
las Disquisitiones Arithmeticae por Carl Friedrich Gauss en 1801. La generalización y
profundización de este resultado y otros similares, son los que impulsan el desarrollo de
la teoría de números, la geometría algebraica o la teoría de grupos.

La axiomatización de la aritmética[editar]
La teoría de conjuntos y en particular diversas paradojas relacionadas con los conjuntos
infinitos, así como los problemas derivados de la noción de cantidad infinitesimal, entre otros,
llevaron a la llamada «crisis de los fundamentos» de la matemática, a principios del siglo XX.
En ese contexto, David Hilbert y otros matemáticos colaboradores propusieron el
llamado programa de Hilbert como respuesta al problema de los fundamentos. Dicho
programa pretendía librar de paradojas el trabajo matemático mediante la formalización y
la axiomatización explícita de diversas ramas de la matemática. En el caso de la aritmética,
ya Giuseppe Peano había propuesto los llamados «axiomas de Peano» para la aritmética.
Estos axiomas, en la forma propuesta por Peano, no podían ser formalizados en un sistema
lógico de primer orden, aunque al principio no se pensó que eso constituyera un problema, por
lo que por algún tiempo se trabajó en la fundamentación de la aritmética y la teoría de
conjuntos usando lenguajes formales de primer orden; sin embargo, el programa de Hilbert
sufriría un revés importante cuando Kurt Gödel probó que la formalización de la aritmética
mediante un sistema de primer orden en el más puro estilo del programa de Hilbert era
problemático.

El teorema de incompletitud de Gödel[editar]

Artículo principal: Teoremas de incompletitud de Gödel

En 1931, Kurt Gödel demostró sus dos famosos teoremas de incompletitud. El primer
teorema se refiere a una axiomatización de la aritmética como teoría de primer orden, donde
el conjunto de axiomas fuera recursivo (es decir, existiera un algoritmo que permitiera decidir
en un número finito de pasos si una proposición dada era o no un axioma, ya que la
formalización requiere un número infinito de axiomas, todos ellos instancias de un número
finito de esquemas de axioma). Este primer teorema demostraba que aceptando que dicha
teoría es consistente entonces necesariamente debe ser incompleta. Es decir, suponiendo que
dicha teoría no diera lugar nunca a contradicciones (consistencia) entonces siempre habría
una proposición tal que ni ella ni su contrario son demostrables. Asumiendo esta
interpretación, lo anterior se puede entender como que «existen afirmaciones ciertas no
deducibles dentro de la teoría». Gödel demostró este teorema construyendo explícitamente
una fórmula, tal que ni esta ni su negación fueran demostrables. El segundo teorema de Gödel
es aún más ambicioso, Gödel probó que un conjunto de fórmulas dentro de un lenguaje formal
que formalizara la aritmética podía "gödelizarse", es decir, representarse por un subconjunto
de números enteros, tal que a cada proposición del conjunto correspondía un único número y
a cada número del conjunto correspondía una proposición o fórmula. Este teorema asevera
que la consistencia de la propia aritmética es indemostrable dentro de la aritmética, ya que el
conjunto de números de Gödel asociado al conjunto de teoremas demostrables no era
representable dentro de la teoría como subconjunto recursivo.

Aritmética de segundo orden[editar]

Artículo principal: Aritmética de segundo orden

Los teoremas de incompletitud tuvieron un efecto demoledor sobre el programa de Hilbert, por
lo que se buscaron generalizaciones más sofisticadas para formalizar la aritmética. Si bien,
puede construirse un lenguaje de primer orden para la aritmética que sea consistente y
completo, pero a condición de introducir un número infinito de axiomas adicionales y sin que el
conjunto añadido sea recursivo, lo cual carece de interés práctico ya que sería imposible
describir explícitamente ese conjunto de axiomas mediante algún procedimiento algorítmico
razonable. Por esa razón, se comenzó a trabajar sobre la construcción de sistemas para
formalizar la aritmética mediante lenguajes formales de segundo orden. Puede probarse que
la llamada aritmética de segundo orden completa, admite un único modelo que en esencia
puede identificarse con los números naturales formalizados menos rigurosamente por los
axiomas de Peano. Sin embargo, esa trivialidad del conjunto de modelos de la teoría la hace
poco interesante en muchos aspectos, es por esta razón por lo que se han buscado modelos
de aritmética de segunda orden lógicamente más débiles, con el fin de averiguar qué partes
de la matemática son formalizables utilizando un lenguaje formal más restrictivo. En la
actualidad, se han construido un cierto número de lenguajes de segundo orden para la
aritmética, y el estudio de los mismos es importante en la llamada matemática inversa que
busca averiguar cuál es el sistema lógicamente más restrictivo que permite formalizar ciertas
áreas de la matemática.

Escritos relacionados con la aritmética[editar]



Papiro de Ahmes; datado entre 2000 al 1800 a. C.

Las nueve lecciones del arte matemático; Dinastía Zhou.

 Elementos de Euclides, alrededor de 300 a. C. Edición del año 1570.

Arithmetica escrito por Diofanto alrededor de 280. Edición de 1621, traducida del griego al latín.

 Hisāb al-ŷabr wa'l muqābala, (‫ ;)حساب الجبر و المقابلة‬de al-Juarismi, siglo IX.
 

Disquisitiones arithmeticae escrito por Carl Friedrich Gauss en 1798. Primera edición publicada en
1801.

Véase también[editar]
 Teorema fundamental de la aritmética  Historia de la matemática  Coma flotante
 Teoría de números  Historia del hardware  Aritmética binaria
 Razón aritmética  Álgebra elemental  Aritmética de módulo 2
 Aritmética modular  Álgebra  Axiomas de Peano
 Cálculo  Aritmética ordinal
 Proporción aritmética
 Gnomónica

Notas y referencias[editar]
1. Volver arriba↑ Real Academia Española y Asociación de Academias de la Lengua
Española (2014). «aritmética». Diccionario de la lengua española (23.ª edición).
Madrid: Espasa. ISBN 978-84-670-4189-7.
2. Volver arriba↑ Sir Thomas L. Heath, A Manual of Greek Mathematics, Dover, 1963, p. 1.
3. Volver arriba↑ Davenport, Harold (1999). The Higher Arithmetic: An Introduction to the Theory
of Numbers (7.ª edición). Cambridge, England: Cambridge University Press. ISBN 0-521-
63446-6
4. Volver arriba↑ Diccionario de la Real Academia de la lengua. 2014. Consultado el 14 de enero
de 2016.
5. Volver arriba↑ A. Bogomolny. «What Is Arithmetic?» (en inglés). Consultado el 23 de noviembre
de 2011.
6. Volver arriba↑ Weisstein, Eric W. «Arithmetic». En Weisstein, Eric W. MathWorld (en
inglés). Wolfram Research.
7. Volver arriba↑ Robson, Eleanor (2008), Mathematics in Ancient Iraq, ISBN 978-0-691-09182-2.
8. Volver arriba↑ Nicomachus Introduction to Arithmetic
9. Volver arriba↑ J J O'Connor and E F Robertson. «An overview of the history of
mathematics». The MacTutor History of Mathematics archive (en inglés)..
10. Volver arriba↑ Sherman, Lynda and Weisstein, Eric W. "Arithmetic." From MathWorld--A
Wolfram Web Resource. http://mathworld.wolfram.com/Arithmetic.html
11. Volver arriba↑ EducaRed España (2007). «Los mayas». Archivado desde el original el 20 de
agosto de 2007.
12. Volver arriba↑ Ifrah:1998 p. 740
13. ↑ Saltar a:a b c Boyer, 1991,"China and India".
14. Volver arriba↑ al Khwarizmi, 1831
15. Volver arriba↑ Rashed, 1984.
16. Volver arriba↑ Weisstein, Eric W. Theorems.html «Euclid's Theorems». En Weisstein, Eric
W. MathWorld (en inglés). Wolfram Research.

Bibliografía[editar]
 Collette, Jean-Paul (1985). Historia de las matemáticas (volúmenes 1 y 2). Madrid: Siglo
XXI Editores S.A. ISBN 9788432305269.
 Ebbinghaus, Heinz-Dieter; Flum, Jörg; and Thomas, Wolfgang (1994); Mathematical Logic,
Undergraduate Texts in Mathematics, Berlin, DE/New York, NY: Springer-Verlag, Second
Edition, ISBN 978-0-387-94258-2.
 Hazewinkel, Michiel, ed. (2001), «Arithmetic», Encyclopaedia of Mathematics (en inglés),
Springer, ISBN 978-1556080104.
 Páez Gutiérrez, Tomás David (2009). Las Matemáticas a lo largo de la historia. Visión
Libros. ISBN 9788499835907.
 Weisstein, Eric W. «Arithmetic». En Weisstein, Eric W. MathWorld (en inglés). Wolfram
Research.
 Wussing, Hans (1998). Lecciones de historia de las matemáticas. Siglo XXI de España
Editores.