En general el trmino clculo (del latn calculus = piedra)[1] hace referencia al

resultado correspondiente a la accin de calcular. Calcular, por su parte,

consiste en realizar las operaciones necesarias para prever el resultado de una
accin previamente concebida, o conocer las consecuencias que se pueden
derivar de unos datos previamente conocidos.
No obstante, el uso ms comn del trmino "clculo" es el lgico-matemtico.
Desde esta perspectiva, el clculo consiste en un procedimiento mecnico,
o algoritmo, mediante el cual podemos conocer las consecuencias que se
derivan de unos datos previamente conocidos
debidamente formalizados y simbolizados.

ndice

Clculo como razonamiento y clculo lgico-

matemticoEditar
Ejemplo de aplicacin de un clculo algebraico a la resolucin de un
problema, segn la interpretacin de una teora fsica

La expresin del clculo

algebraico , indica las

relaciones sintcticas que existen entre tres variables que no tienen
significado alguno.
Pero si interpretamos como

espacio, como velocidad

y como tiempo, tal ecuacin

modeliza una teora fsica que establece que el espacio recorrido por un
 mvil con velocidad constante es directamente proporcional a la
velocidad con que se mueve y al tiempo que dura su movimiento.
Al mismo tiempo, segn dicha teora, sirve para resolver el problema de
calcular cuntos kilmetros ha recorrido un coche que circula de Madrid
a Barcelona a una velocidad constante de 60 km/h durante 4 horas de
recorrido.

240 kilmetros recorridos = 60 km/h x 4 h

Las dos acepciones del clculo (la general y la restringida) arriba definidas
estn ntimamente ligadas. El clculo es una actividad natural y primordial en el
hombre, que comienza en el mismo momento en que empieza a relacionar
unas cosas con otras en un pensamiento o discurso. El clculo lgico natural
como razonamiento es el primer clculo elemental del ser humano. El clculo
en sentido lgico-matemtico aparece cuando se toma conciencia de esta
capacidad de razonar y trata de formalizarse.
Por lo tanto, podemos distinguir dos tipos de operaciones:
1. Operaciones orientadas hacia la consecucin de un fin, como prever,
programar, conjeturar, estimar, precaver, prevenir, proyectar, configurar, etc.
que incluyen en cada caso una serie de complejas actividades y habilidades
tanto de pensamiento como de conducta. En su conjunto dichas actividades
adquieren la forma de argumento o razones que justifican una finalidad prctica
o cognoscitiva.
2. Operaciones formales como algoritmo que se aplica bien directamente a los
datos conocidos o a los esquemas simblicos de la interpretacin lgico-
matemtica de dichos datos; las
posibles conclusiones, inferencias o deducciones de dicho algoritmo son el
resultado de la aplicacin de reglas estrictamente establecidas de antemano.

Resultado que es:

Conclusin de un proceso de razonamiento.
Resultado aplicable directamente a los datos iniciales (resolucin de
problemas).
Modelo de relaciones previamente establecido como teora cientfica y
significativo respecto a determinadas realidades (Creacin de modelos
cientficos).
Mero juego formal simblico de fundamentacin, creacin y aplicacin
de las reglas que constituyen el sistema formal del algoritmo (Clculo
lgico-matemtico, propiamente dicho).
Dada la importancia que histricamente ha adquirido la actividad lgico-
matemtica en la cultura humana el presente artculo se refiere a este ltimo
sentido. De hecho la palabra, en su uso habitual, casi queda restringida a este
mbito de aplicacin; para algunos, incluso, queda reducida a un solo tipo de
clculo matemtico, pues en algunas universidades se llamaba "Clculo" a una
asignatura especfica de clculo matemtico (como puede ser el clculo
infinitesimal, anlisis matemtico, clculo diferencial e integral, etc.).
En un artculo general sobre el tema no puede desarrollarse el contenido de lo
que supone el clculo lgico-matemtico en la actualidad. Aqu se expone
solamente el fundamento de sus elementos ms simples, teniendo en cuenta
que sobre estas estructuras simples se construyen los clculos ms complejos
tanto en el aspecto lgico como en el matemtico.
Historia del clculoEditar
De la AntigedadEditar

Reconstruccin de un baco romano.

Un baco moderno.

El trmino "clculo" procede del latncalculus, 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 suanpan chino, 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.
Se considera que Arqumedes fue uno de los matemticos ms grandes de la
antigedad y, en general, de toda la historia.[2][3] Us el mtodo exhaustivo para
calcular el rea bajo el arco de una parbolacon el sumatorio de una serie infinita, y
dio una aproximacin extremadamente precisa del nmero Pi.[4] Tambin defini
la espiral que lleva su nombre, frmulas para los volmenes de las superficies de
revolucin y un ingenioso sistema para expresar nmeros muy largos.
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.
Los algoritmos actuales del clculo aritmtico, utilizados universalmente, son fruto
de un largo proceso histrico. De vital importancia son las aportaciones de
Muhammad ibn al-Juarismi en el siglo IX;[5]
En el siglo XIII, Fibonacci introduce en Europa la representacin de los nmeros
arbigosdel sistema decimal. Se introdujo el 0, ya de antiguo conocido en la India y
se construye definitivamente el sistema decimal de diez cifras con valor posicional.
La escritura antigua de nmeros en Babilonia, en Egipto, en Grecia o en Roma, haca
muy difcil un procedimiento mecnico de clculo.[6]
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.[7] 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.[8] De especial importancia es
la creacin del sistema contable por partida doble recomendado por Luca
Pacioli fundamental para el progreso del capitalismo en el Renacimiento.[9]
RenacimientoEditar
El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, el cual
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 de la poca renacentista
como Tartaglia, Stevin, Cardano o Vieta y fue esencial para el planteamiento y
solucin de los ms diversos problemas que surgieron en la poca, que dieron como
consecuencia los grandes descubrimientos que hicieron posible el progreso cientfico
que surgira en el siglo XVII.[10]
Siglos XVII y XVIIIEditar
 Pgina del artculo de Leibniz"Explication de l'Arithmtique Binaire", 1703/1705.

En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms

destacados Descartes,[11] Pascal[12] y, finalmente, Leibniz y Newton[13] 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[14] 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 filosofa 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[15] 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.[16]
Siglos XIX y XXEditar
 George Boole.

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 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.[17] 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 formalizacinde 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.