Clculo

De Wikipedia, la enciclopedia libre

(Redirigido desde Calculo)
Saltar a: navegacin, bsqueda
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, 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]
1 Clculo como razonamiento y clculo lgico-matemtico
2 Historia del clculo
o 2.1 De la Antigedad
o 2.2 Renacimiento
o 2.3 Siglos XVII y XVIII
o 2.4 Siglos XIX y XX
o 2.5 Actualidad
3 Clculo infinitesimal: breve resea
4 Clculo lgico
o 4.1 Sistematizacin de un clculo de deduccin natural
4.1.1 Reglas de formacin de frmulas
4.1.2 Reglas de transformacin de frmulas
o 4.2 Esquemas de inferencia
o 4.3 El lenguaje natural como modelo de un clculo lgico
5 Vase tambin
6 Referencias
o 6.1 Bibliografa
o 6.2 Enlaces 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 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).
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
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

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
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 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
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
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[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 la lgica de circuitos electrnicos, 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.
Clculo infinitesimal: breve resea[editar]
Artculo principal: Clculo infinitesimal
El clculo infinitesimal, llamado por brevedad "clculo", tiene su origen en la antigua
geometra griega. Demcrito calcul el volumen de pirmides y conos considerndolos
formados por un nmero infinito de secciones de grosor infinitesimal (infinitamente
pequeo). Eudoxo y Arqumedes utilizaron el "mtodo de agotamiento" o exhaucin para
encontrar el rea de un crculo con la exactitud finita requerida mediante el uso de
polgonos regulares inscritos de cada vez mayor nmero de lados. En el periodo tardo de
Grecia, el neoplatnico Pappus de Alejandra hizo contribuciones sobresalientes en este
mbito. Sin embargo, las dificultades para trabajar con nmeros irracionales y las paradojas
de Zenn de Elea impidieron formular una teora sistemtica del clculo en el periodo
antiguo.
En el siglo XVII, Cavalieri y Torricelli ampliaron el uso de los infinitesimales, Descartes y
Fermat utilizaron el lgebra para encontrar el rea y las tangentes (integracin y derivacin
en trminos modernos). Fermat e Isaac Barrow tenan la certeza de que ambos clculos
estaban relacionados, aunque fueron Newton (hacia 1660), en Inglaterra y Leibniz en
Alemania (hacia 1670) quienes demostraron que los problemas del rea y la tangente son
inversos, lo que se conoce como teorema fundamental del clculo.Leibniz es el creador del
simbolismo de la derivada, diferencial y la s estilizada para la integracin, en vez de la I de
Bernoulli. Us el nombre de clculo diferencial y el nombre de clculo integral propuso
Juan Bernoulli, que sustituy al nombre de 'clculo sumatorio' de Leibniz. La simbologa de
Leibniz impuls el avance del calculus en Europa.
18
continental
El descubrimiento de Newton, a partir de su teora de la gravitacin universal, fue anterior
al de Leibniz, pero el retraso en su publicacin an provoca controversias sobre quin de
los dos fue el primero. Newton utiliz el clculo en mecnica en el marco de su tratado
"Principios matemticos de filosofa natural", obra cientfica por excelencia, llamando a su
mtodo de "fluxiones". Leibniz utiliz el clculo en el problema de la tangente a una curva
en un punto, como lmite de aproximaciones sucesivas, dando un carcter ms filosfico a
su discurso. Sin embargo, termin por adoptarse la notacin de Leibniz por su versatilidad.
En el siglo XVIII aument considerablemente el nmero de aplicaciones del clculo, pero
el uso impreciso de las cantidades infinitas e infinitesimales, as como la intuicin
geomtrica, causaban todava confusin y duda sobre sus fundamentos. De hecho, la nocin
de lmite, central en el estudio del clculo, era an vaga e imprecisa en ese entonces. Uno
de sus crticos ms notables fue el filsofo George Berkeley.
En el siglo XIX el trabajo de los analistas matemticos sustituyeron esas vaguedades por
fundamentos slidos basados en cantidades finitas: Bolzano y Cauchy definieron con
precisin los conceptos de lmite en trminos de psilon_delta y de derivada, Cauchy y
Riemann hicieron lo propio con las integrales, y Dedekind y Weierstrass con los nmeros
reales. Fue el periodo de la fundamentacin del clculo. Por ejemplo, se supo que las
funciones diferenciables son continuas y que las funciones continuas son integrables,
aunque los recprocos son falsos. En el siglo XX, el anlisis no convencional, legitim el
uso de los infinitesimales, al mismo tiempo que la aparicin de las Computadoras ha
incrementado las aplicaciones y velocidad del clculo.
Actualmente, el clculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado
su carcter disciplinario en la formacin de la sociedad culta del conocimiento, destacando
en este mbito textos propios de la disciplina como el de Louis Leithold, el de Earl W.
Swokowski o el de James Stewart entre muchos otros; por otro su desarrollo como
disciplina cientfica que ha desembocado en mbitos tan especializados como el clculo
fraccional, la teora de funciones analticas de variable compleja o el anlisis matemtico.
El xito del clculo ha sido extendido con el tiempo a las ecuaciones diferenciales, al
clculo de vectores, al clculo de variaciones, al anlisis complejo y a las topologa
algebraica y topologa diferencial entre muchas otras ramas.
El desarrollo y uso del clculo ha tenido efectos muy importantes en casi todas las reas de
la vida moderna: es fundamento para el clculo numrico aplicado en casi todos los campos
tcnicos y/o cientficos cuya principal caracterstica es la continuidad de sus elementos, en
especial en la fsica. Prcticamente todos los desarrollos tcnicos modernos como la
construccin, aviacin, transporte, meteorologa, etc. hacen uso del clculo. Muchas
frmulas algebraicas se usan hoy en da en balstica, calefaccin, refrigeracin, etc.
Como complemento del clculo, en relacin a sistemas tericos o fsicos cuyos elementos
carecen de continuidad, se ha desarrollado una rama especial conocida como Matemtica
discreta.