Clculo

Para 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

2.2Renacimiento

2.3Siglos XVII y XVIII

2.4Siglos XIX y XX

2.5Actualidad

3Clculo infinitesimal: breve resea

4Clculo lgico
4.1Sistematizacin de un clculo de deduccin natural

4.1.1Reglas de formacin de frmulas

4.1.2Reglas de transformacin de frmulas

4.2Esquemas de inferencia

4.3El lenguaje natural como modelo de un clculo lgico

5Vase tambin

6Referencias

6.1Bibliografa

6.2Enlaces externos

Clculo como razonamiento y clculo lgico-

matemtico[editar]
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 comorazonamiento 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 posiblesconclusiones, 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 bacoromano.

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 Diofantoprecursor 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 elmtodo 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 aAristteles, 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 deRaimundo 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