ara otros usos de este trmino, vase Clculo (desambiguacin).

Para clculo infinitesimal (diferencial o integral), vase Clculo infinitesimal.

Para el estudio de los nmeros reales, los complejos, los vectores y sus funciones, vase Anlisis
matemtico.
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
[ocultar]

1Clculo como razonamiento y clculo lgico-matemtico

2Historia del clculo

o 2.1De la Antigedad

o 2.2Renacimiento

o 2.3Siglos XVII y XVIII

o 2.4Siglos XIX y XX

o 2.5Actualidad

3Clculo infinitesimal: breve resea

4Clculo lgico

o 4.1Sistematizacin de un clculo de deduccin natural

4.1.1Reglas de formacin de frmulas

4.1.2Reglas de transformacin de frmulas

o 4.2Esquemas de inferencia

o 4.3El lenguaje natural como modelo de un clculo lgico

5Vase tambin

6Referencias

7Bibliografa

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

Clculo como La expresin del clculo algebraico , indica las relaciones

sintcticas que existen entre tres variables que no tienen
razonamiento y significado alguno.
Pero si interpretamos como espacio, como velocidad
clculo lgico- y como tiempo, tal ecuacin modeliza una teora fsica

matemtico[editar] 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
Las dos acepciones del clculo (la movimiento.
general y la restringida) arriba
Al mismo tiempo, segn dicha teora, sirve para resolver el
definidas estn ntimamente ligadas.
problema de calcular cuntos kilmetros ha recorrido un
El clculo es una actividad natural y
coche que circula de Madrid a Barcelona a una velocidad
primordial en el hombre, que
constante de 60 km/h durante 4 horas de recorrido.
comienza en el mismo momento en
que empieza a relacionar unas cosas
con otras en un pensamiento o 240 kilmetros recorridos = 60 km/h x 4 h
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 clculo[editar]

De la Antigedad[editar]
 Reconstruccin de un baco romano.

Un baco moderno.

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 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 parbola con
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 arbigos del 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

Renacimiento[editar]
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 como consecuencia de los grandes
descubrimientos que hicieron posible el progreso cientfico que surgir en el siglo XVII.10