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
o contar. Calcular,
Ejemplo de aplicacin de un clculo algebraico a la resolucin de
por su parte,
consiste en realizar un problema segn la interpretacin de una teora fsica
las operaciones
necesarias para
prever el resultado
La expresin del clculo algebraico
, indica las
de una accin
previamente
relaciones sintcticas que existen entre tres variables que no
concebida, o conocer
tienen significado alguno.
las consecuencias
que se pueden
Pero si interpretamos como espacio, como velocidad y
derivar de unos
como tiempo, tal ecuacin modeliza una teora fsica que
datos previamente
conocidos.
establece que el espacio recorrido por un mvil con velocidad
No obstante, el uso
constante es directamente proporcional a la velocidad con que
ms comn del
se mueve y al tiempo que dura su movimiento.
trmino clculo es
el lgicoAl mismo tiempo, segn dicha teora, sirve para resolver el
matemtico. Desde
problema de calcular cuntos kilmetros ha recorrido un coche
esta perspectiva, el
clculo consiste en
que circula de Madrid a Barcelona a una velocidad constante
un procedimiento
de 60 km/h durante 4 horas de recorrido.
mecnico,
o algoritmo,
mediante el cual
240 kilmetros recorridos = 60 km/h x 4 h
podemos conocer
las consecuencias
que se derivan de unos datos previamente conocidos
debidamente formalizados y simbolizados.

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

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

Siglos XVII y XVIII[editar]

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 Pascal12 y, finalmente, Leibniz yNewton13 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 real14 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 experimental15supone 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 XX[editar]

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
euclidianasencuentran 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 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 diversasparadojas (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[editar]
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 lalgica de
circuitos electrnicos, ha adquirido una dimensin y desarrollo impresionante por la potencia
de clculo conseguida por los ordenadores, propiamente mquinascomputadoras. 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.