Historia del clculo

De la Roma Clsica a la Edad Media

El trmino "clculo" procede del latn calculus, piedrecita que se mete en el calzado y que
produce molestia. Precisamente tales piedrecitas ensartadas en tiras constituan el baco
romano que, junto con el suwanpan japons, constituyen las primeras mquinas de calcular
en el sentido de contar.
Los antecedentes de procedimiento de clculo, como algoritmo, se encuentran en los que
utilizaron los gemetras griegos, Eudoxo en particular, en el sentido de llegar por
aproximacin de restos cada vez ms pequeos, a una medida de figuras curvas; as como
Diofanto precursor del lgebra.
La consideracin del clculo como una forma de razonamiento abstracto aplicado en todos
los mbitos del conocimiento se debe a Aristteles, quien en sus escritos lgicos fue el
primero en formalizar y simbolizar los tipos de razonamientos categricos (silogismos).
Este trabajo sera completado ms tarde por los estoicos, los megricos, la Escolstica.
El algoritmo actual de clculo aritmtico como universal es fruto de un largo proceso
histrico a partir de las aportaciones de Muhammad ibn al-Juarismi en el siglo IX.
2

Se introdujo el 0, ya de antiguo conocido en la India y se construye definitivamente el
sistema decimal de diez cifras con valor posicional de las mismas, introducido en Europa
por los rabes. La escritura antigua de nmeros en Babilonia, en Egipto, en Grecia o en
Roma, haca muy difcil un procedimiento mecnico de clculo.
3

El sistema decimal fue muy importante para el desarrollo de la contabilidad de los
comerciantes de la Baja Edad Media, en los inicios del capitalismo.
El concepto de funcin por tablas ya era practicado de antiguo pero adquiri especial
importancia en la Universidad de Oxford en el siglo XIV.
4
La idea de un lenguaje o
algoritmo capaz de determinar todas las verdades, incluidas las de la fe, aparecen en el
intento de Raimundo Lulio en su Ars Magna
A fin de lograr una operatividad mecnica se confeccionaban unas tablas a partir de las
cuales se poda generar un algoritmo prcticamente mecnico. Este sistema de tablas ha
perdurado en algunas operaciones durante siglos, como las tablas de logaritmos, o las
funciones trigonomtricas; las tablas venan a ser como la calculadora de hoy da; un
instrumento imprescindible de clculo. Las amortizaciones de los crditos en los bancos,
por ejemplo, se calculaban a partir de tablas elementales hasta que se produjo la aplicacin
de la informtica en el tercer tercio del siglo XX.

A finales de la Edad Media la discusin entre los partidarios del baco y los partidarios del
algoritmo se decant claramente por estos ltimos.
5
De especial importancia es la creacin
del sistema contable por partida doble inventado por Luca Pacioli fundamental para el
progreso del capitalismo en el Renacimiento.
6

Renacimiento
El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, y fue creado
y desarrollado para responder a la necesidad de la contabilidad en los negocios de la
burguesa renacentista.
El desarrollo del lgebra (con la introduccin de un sistema de smbolos por un lado, y la
resolucin de problemas por medio de las ecuaciones) vino de la mano de los grandes
matemticos renacentistas como Tartaglia, Stvin, Cardano o Vieta y fue esencial para el
planteamiento y solucin de los ms diversos problemas que surgieron en la poca como
consecuencia de los grandes descubrimientos que hicieron posible el progreso cientfico
que surgir en el siglo XVII.
7

Siglos XVII y XVIII
En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms destacados
Descartes,
8
Pascal
9
y, finalmente, Leibniz y Newton
10
con el clculo infinitesimal que en
muchas ocasiones ha recibido simplemente, por absorcin, el nombre de clculo.
El concepto de clculo formal en el sentido de algoritmo reglado para el desarrollo de un
razonamiento y su aplicacin al mundo de lo real
11
adquiere una importancia y desarrollo
enorme respondiendo a una necesidad de establecer relaciones matemticas entre diversas
medidas, esencial para el progreso de la ciencia fsica que, debido a esto, es tomada como
nuevo modelo de Ciencia frente a la especulacin tradicional filosfica, por el rigor y
seguridad que ofrece el clculo matemtico. Cambia as el sentido tradicional de la Fsica
como Ciencia de la Naturaleza y toma el sentido de ciencia que estudia los cuerpos
materiales, en cuanto materiales.
A partir de entonces el propio sistema de clculo permite establecer modelos sobre la
realidad fsica, cuya comprobacin experimental
12
supone la confirmacin de la teora
como sistema. Es el momento de la consolidacin del llamado mtodo cientfico cuyo
mejor exponente es en aquel momento la Teora de la Gravitacin Universal y las leyes de
la Mecnica de Newton.
13





Siglos XIX y XX
Durante el siglo XIX y XX el desarrollo cientfico y la creacin de modelos tericos
fundados en sistemas de clculo aplicables tanto en mecnica como en electromagnetismo y
radioactividad, etc. as como en astronoma fue impresionante. Las geometras no
euclidianas encuentran aplicacin en modelos tericos de astronoma y fsica. El mundo
deja de ser un conjunto de infinitas partculas que se mueven en un espacio-tiempo absoluto
y se convierte en un espacio de configuracin o espacio de fases de n dimensiones que
fsicamente se hacen consistentes en la teora de la relatividad, la mecnica cuntica, la
teora de cuerdas etc. que cambia por completo la imagen del mundo fsico.
La lgica asimismo sufri una transformacin radical.
14
La formalizacin simblica fue
capaz de integrar las leyes lgicas en un clculo matemtico, hasta el punto que la
distincin entre razonamiento lgico-formal y clculo matemtico viene a considerarse
como meramente utilitaria.
En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de
formalizacin de todo el sistema matemtico, Frege, y de matematizacin de la lgica,
(Bolzano, Boole, Whitehead, Russell) fue posible la generalizacin del concepto como
clculo lgico. Se lograron mtodos muy potentes de clculo, sobre todo a partir de la
posibilidad de tratar como objeto conjuntos de infinitos elementos, dando lugar a los
nmeros transfinitos de Cantor.
Mediante el clculo la lgica encuentra nuevos desarrollos como lgicas modales y lgicas
polivalentes.
Los intentos de axiomatizar el clculo como clculo perfecto por parte de Hilbert y
Poincar, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a
nuevos intentos de axiomatizacin, Axiomas de Zermelo-Fraenkel y a la demostracin de
Gdel de la imposibilidad de un sistema de clculo perfecto: consistente, decidible y
completo en 1931, de grandes implicaciones lgicas, matemticas y cientficas.
Actualidad
En la actualidad, el clculo en su sentido ms general, en tanto que clculo lgico
interpretado matemticamente como sistema binario, y fsicamente hecho material
mediante la lgica de circuitos elctrnicos, ha adquirido una dimensin y desarrollo
impresionante por la potencia de clculo conseguida por los ordenadores, propiamente
mquinas computadoras. La capacidad y velocidad de clculo de estas mquinas hace lo
que humanamente sera imposible: millones de operaciones por segundo.
El clculo as utilizado se convierte en un instrumento fundamental de la investigacin
cientfica por las posibilidades que ofrece para la modelizacin de las teoras cientficas,
adquiriendo especial relevancia en ello el clculo numrico.

Concepto general de clculo
El clculo es un sistema de smbolos no interpretados, es decir, sin significado alguno, en el
que se establecen mediante reglas estrictas, las relaciones sintcticas entre los smbolos
para la construccin de frmulas bien formadas (fbf), as como las reglas que permiten
transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que
ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas
transformaciones son meramente tautologas.
Un clculo consiste en:
1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por
enumeracin, o definidos por una propiedad tal que permita discernir sin duda
alguna cundo un elemento pertenece o no pertenece al sistema.
2. Un conjunto de reglas de formacin de expresiones bien formadas(EBFs) que
permitan en todo momento establecer, sin forma de duda, cundo una expresin
pertenece al sistema y cundo no.
3. Un conjunto de reglas de transformacin de expresiones, mediante las cuales
partiendo de una expresin bien formada del clculo podremos obtener una nueva
expresin equivalente y bien formada que pertenece al clculo.
Cuando en un clculo as definido se establecen algunas expresiones determinadas como
verdades primitivas o axiomas, decimos que es un sistema formal axiomtico.
Un clculo as definido si cumple al mismo tiempo estas tres condiciones decimos que es
un Clculo Perfecto:
1. Es consistente: No es posible que dada una expresin bien formada del sistema, f, y
su negacin, no f, sean ambas teoremas del sistema. No puede haber
contradiccin entre las expresiones del sistema.
2. Decidible: Dada cualquier expresin bien formada del sistema podemos encontrar
un mtodo que nos permita decidir mediante una serie finita de operaciones si dicha
expresin es o no es un teorema del sistema.
3. Completo: Cuando dada cualquier expresin bien formada del sistema, podemos
establecer la demostracin o prueba de que es un teorema del sistema.
La misma lgica-matemtica ha demostrado que tal sistema de clculo perfecto "no es
posible" (vase el Teorema de Gdel).