Clculo

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.

Conclusin de un proceso de razonamiento.

Resultado aplicable directamente a
los datos iniciales (resolucin de
problemas).
Modelo de relaciones previamente
establecido como teora cientca y
signicativo respecto a determinadas realidades (Creacin de modelos cientcos).
Mero juego formal simblico de
fundamentacin, creacin y aplicacin de las reglas que constituyen el sistema formal del algoritmo (Clculo lgico-matemtico,
propiamente dicho).

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.

Clculo como razonamiento y

clculo lgico-matemtico

Dada la importancia que histricamente ha adquirido

la actividad lgico-matemtica en la cultura humana el
presente artculo se reere 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 especca de clculo matemtico (como
puede ser el clculo innitesimal, 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.

Las dos acepciones del clculo (la general y la restringida) arriba denidas 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
n, como prever, programar, conjeturar, estimar,
precaver, prevenir, proyectar, congurar, 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 justican
una nalidad prctica o cognoscitiva.

2 Historia del clculo

2.1 De la Antigedad

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.

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 geme-

Resultado que es:

1

HISTORIA DEL CLCULO

ra 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 denitivamente 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]
Reconstruccin de un baco romano.

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 n 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 nales de la Edad Media la discusin entre los partidarios del baco y los partidarios del algoritmo se decant
Un baco moderno.
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
tras griegos, Eudoxo en particular, en el sentido de llegar
del
capitalismo
en el Renacimiento.[9]
por aproximacin de restos cada vez ms pequeos, a una
medida de guras 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 innita, y dio una aproximacin extremadamente precisa del nmero Pi.[4] Tambin deni la espiral
que lleva su nombre, frmulas para los volmenes de las
supercies 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 se-

2.2 Renacimiento
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

2.4

Siglos XIX y XX

cientco que surgir en el siglo XVII.[10]

2.3

2.4 Siglos XIX y XX

Siglos XVII y XVIII

George Boole.

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, nalmente, Leibniz y Newton[13] con el
clculo innitesimal 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 losca, por el rigor y seguridad que ofrece el clculo matemtico. Cambia as el
sentido tradicional de la Fsica como losofa de la naturaleza y toma el sentido de ciencia que estudia los cuerpos
materiales, en cuanto materiales.

Durante el siglo XIX y XX el desarrollo cientco 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 innitas partculas que se mueven en un espacio-tiempo absoluto y
se convierte en un espacio de conguracin o espacio de
fases de n 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 innitos elementos, dando lugar a los nmeros transnitos
de Cantor.

A partir de entonces el propio sistema de clculo permite establecer modelos sobre la realidad fsica, cuya comprobacin experimental[15] supone la conrmacin de la
teora como sistema. Es el momento de la consolidacin
del llamado mtodo cientco cuyo mejor exponente es
en aquel momento la Teora de la Gravitacin Universal Mediante el clculo la lgica encuentra nuevos desarrollos
como lgicas modales y lgicas polivalentes.
y las leyes de la Mecnica de Newton.[16]

3 CLCULO INFINITESIMAL: BREVE RESEA

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 ZermeloFraenkel 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 cientcas.

2.5

Actualidad

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 losofa natural, obra cientca por excelencia, llamando a su mtodo de uxiones. 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 losco a su discurso. Sin embargo,
termin por adoptarse la notacin de Leibniz por su versatilidad.

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 clcu- En el siglo XVIII aument considerablemente el nmero
lo de estas mquinas hace lo que humanamente sera im- de aplicaciones del clculo, pero el uso impreciso de las
posible: millones de operaciones por segundo.
cantidades innitas e innitesimales, as como la intuicin
El clculo as utilizado se convierte en un instrumento geomtrica, causaban todava confusin y duda sobre sus
fundamental de la investigacin cientca por las posibili- fundamentos. De hecho, la nocin de lmite, central en
dades que ofrece para la modelizacin de las teoras cien- el estudio del clculo, era an vaga e imprecisa en ese
tcas, adquiriendo especial relevancia en ello el clculo entonces. Uno de sus crticos ms notables fue el lsofo
George Berkeley.
numrico.

Clculo innitesimal: breve resea

El clculo innitesimal, 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 innito de secciones de
grosor innitesimal (innitamente pequeo). Eudoxo y
Arqumedes utilizaron el "mtodo de agotamiento" o exhaucin para encontrar el rea de un crculo con la exactitud nita 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 dicultades 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 XIX el trabajo de los analistas matemticos

sustituyeron esas vaguedades por fundamentos slidos
basados en cantidades nitas: Bolzano y Cauchy denieron 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 innitesimales, al mismo tiempo que la aparicin de
las Computadoras ha incrementado las aplicaciones y velocidad del clculo.
Actualmente, el clculo innitesimal 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 cientca 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.

En el siglo XVII, Cavalieri y Torricelli ampliaron el uso

de los innitesimales, 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
El desarrollo y uso del clculo ha tenido efectos muy iminversos, lo que se conoce como teorema fundamental del
portantes en casi todas las reas de la vida moderna: es
clculo.Leibniz es el creador del simbolismo de la derivafundamento para el clculo numrico aplicado en casi toda, diferencial y la s estilizada para la integracin, en vez

4.1

Sistematizacin de un clculo de deduccin natural

dos los campos tcnicos y/o cientcos cuya principal ca- va de base para el clculo lgico est formado por varias
racterstica es la continuidad de sus elementos, en espe- clases de entidades:
cial en la fsica. Prcticamente todos los desarrollos tcnicos modernos como la construccin, aviacin, transporte,
1. Un conjunto de elementos primitivos. Dichos elemeteorologa, etc. hacen uso del clculo. Muchas frmumentos pueden establecerse por enumeracin, o delas algebraicas se usan hoy en da en balstica, calefacnidos por una propiedad tal que permita discernir
cin, refrigeracin, etc.
sin duda alguna cundo un elemento pertenece o no
pertenece al sistema.
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.

2. Un conjunto de reglas de formacin de expresiones bien formadas(EBFs) que permitan en todo momento establecer, sin forma de duda, cundo
una expresin pertenece al sistema y cundo no.

3. Un conjunto de reglas de transformacin de expresiones, mediante las cuales partiendo de una expresin bien formada del clculo podremos obtener
una nueva expresin equivalente y bien formada que
pertenece al clculo.

Clculo lgico

El clculo lgico es un sistema de reglas de inferencia o

deducir un enunciado a partir de otro u otros. El clculo lgico requiere un conjunto consistente de axiomas y
unas reglas de inferencia y su propsito es poder deducir algortmicamente proposiciones lgicas verdaderas a
partir de axiomas vlidos. La inferencia es una operacin
lgica que consiste en obtener una proposicin lgica como conclusin a partir de otro(s) (premisas) mediante la
aplicacin de reglas de inferencia.[19]
Informalmente interpretamos que que alguien inere -o
deduce- T de R si acepta que si R tiene valor de verdad V, entonces, necesariamente, T tiene valor de verdad V. Sin embargo, en el enfoque moderno del clculo
lgico no es necesario acudir al concepto de verdad, para
construir el clculo lgico.
Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo. Partimos de enunciados empricos -supuestamente verdaderos y vlidos- para
concluir en otro enunciado que se deriva de aquellos, segn las leyes de la lgica natural.[20]

Cuando en un clculo as denido se establecen algunas expresiones determinadas como verdades primitivas
o axiomas, decimos que es un sistema formal axiomtico.
Un clculo as denido si cumple al mismo tiempo estas
tres condiciones decimos que es un Clculo Perfecto:
1. Es consistente: No es posible que dada una expresin bien formada del sistema, f , y su negacin,
nof , sean ambas teoremas del sistema. No puede
haber contradiccin entre las expresiones del sistema.
2. Decidible: Dada cualquier expresin bien formada
del sistema podemos encontrar un mtodo que nos
permita decidir mediante una serie nita de operaciones si dicha expresin es o no es un teorema del
sistema.

3. Completo: Cuando dada cualquier expresin

La lgica, como ciencia formal, se ocupa de analizar y sisbien formada del sistema, podemos establecer la
tematizar dichas leyes, fundamentarlas y convertirlas en
demostracin matemtica o prueba de que es un
las reglas que permiten la transformacin de unos enunteorema del sistema.
ciados -premisas- en otros -conclusiones- con objeto de
convertir las operaciones en un algoritmo riguroso y e- La misma lgica-matemtica ha demostrado que tal sistecaz, que garantiza que dada la verdad de las premisas, la ma de clculo perfecto no es posible (vase el Teorema
conclusin es necesariamente verdadera.
de Gdel).
Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento mediante la simbolizacin
adecuada de frmulas o expresiones bien formadas (EBF) 4.1 Sistematizacin de un clculo de deduccin natural
construimos un modelo o sistema deductivo. En ese contexto, las reglas de formacin de frmulas denen una sintaxis de un lenguaje formal de smbolos no interpretados, 4.1.1 Reglas de formacin de frmulas
es decir, sin signicado alguno, en el que se establecen
mediante reglas estrictas, las relaciones sintcticas entre I. Una letra enunciativa (con o sin subndice) es una EBF.
los smbolos para la construccin de frmulas bien forma- II. Si A es una EBF, A tambin lo es.
das (fbf), as como las reglas que permiten transformar
dichas expresiones en otras equivalentes; entendiendo por III. Si A es una EBF y B tambin, entonces A B; A
equivalentes que ambas tienen siempre y de forma nece- B; A B; A B, tambin lo son.
saria el mismo valor de verdad. Dichas transformaciones IV. Ninguna expresin es una frmula del Clculo sino en
son meramente tautologas. Un lenguaje formal que sier- virtud de I,II,III.

4 CLCULO LGICO
Notas:
A, B,... con maysculas estn utilizadas
como metalenguaje en el que cada variable expresa cualquier proposicin, atmica (p,q,r,s....) o molecular (p/\q), (p\/q)...
A, B,... son smbolos que signican variables; , , , , , son smbolos
constantes.

4.1.2

4.3 El lenguaje natural como modelo de un

clculo lgico
Naturalmente el clculo lgico es til porque puede tener
aplicaciones, pero en qu consisten o cmo se hacen tales
aplicaciones?
Podemos considerar que el lenguaje natural es un modelo
de C si podemos someterlo, es decir, aplicarle una correspondencia en C.[22]

Existen diversas formas de simbolizacin. Utilizamos aqu la de uso ms frecuente en Espaa.[21]

Para ello es necesario someter al lenguaje natural a un

proceso de formalizacin de tal forma que podamos reducir las expresiones lingsticas del lenguaje natural a
EBFs de un clculo mediante reglas estrictas manteniendo el sentido de verdad lgica de dichas expresiones del
lenguaje natural. Esto es lo que se expone en clculo lgico.

Reglas de transformacin de frmulas

Las diversas formas en que tratemos las expresiones lingsticas formalizadas como proposiciones lgicas dan
lugar a sistemas diversos de formalizacin y clculo:

1) Regla de sustitucin (R.T.1):

Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de sustituir una, algunas o
todas esas variables por expresiones bien formadas (EBF)
del clculo, ser tambin una tesis EBF del clculo. Y ello
con una nica restriccin, si bien muy importante: cada
variable ha de ser sustituida siempre que aparece y siempre por el mismo sustituto.
Veamos el ejemplo:
O viceversa
2) Regla de separacin (R.T.2):
Si X es una tesis EBF del sistema y lo es tambin X Y,
entonces Y es una tesis EBF del sistema.

4.2

Esquemas de inferencia

Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la forma:
[A B C.... N ] Y
lo que constituye un esquema de inferencia en el que una
vez conocida la verdad de cada una de las premisas A,
B,...N y, por tanto, de su producto, podemos obtener la
conclusin Y con valor de verdad V, siempre y cuando
dicho esquema de inferencia sea una ley lgica, es decir
su tabla de verdad nos muestre que es una tautologa.
Por la regla de separacin podremos concluir Y, de forma
independiente como verdad.
Dada la poca operatividad de las tablas de verdad, el
clculo se construye como una cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes
lgicas utilizadas como reglas de transformacin, como
se expone en clculo lgico.

Clculo proposicional o clculo de enunciados

Cuando se toma la oracin simple signicativa
del lenguaje natural con posible valor de verdad o falsedad como una proposicin atmica,
como un todo sin analizar.
Clculo como lgica de clases
Cuando se toma la oracin simple signicativa
del lenguaje natural con posible valor de verdad o falsedad como resultado del anlisis de la
oracin como una relacin de individuos o posibles individuos que poseen o no poseen una
propiedad comn determinada como pertenecientes o no pertenecientes a una clase natural
o a un conjunto como individuos.
Clculo de predicados o cuanticacional
Cuando se toma la oracin simple signicativa
del lenguaje natural con posible valor de verdad o falsedad como resultado del anlisis de la
misma de forma que una posible funcin predicativa (P), se predica de unos posibles sujetos
variables (x) [tomados en toda su posible extensin: (Todos los x); o referente a algunos indeterminados: (algunos x)], o de una constante indivi-

dual existente (a).

Clculo como lgica de relaciones
Cuando se toma la oracin simple signicativa
con posible valor de verdad propio, verdado o
falso, como resultado del anlisis de la oracin
como una relacin R que se establece entre
un sujeto y un predicado.

7
La simbolizacin y formacin de EBFs en cada uno de [12] Clculo de cnicas, estudio mecnico de las presiones,
principio de Pascal de enorme importancia en la hidroesos clculos, as como las reglas de clculo se trata en
esttica, y nalmente en el clculo de probabilidades.
clculo lgico.

Vase tambin

Referencias

[1] La palabra castellana clculo se deriva del latn calculus

que signica piedra, ya que se utilizaban guijarros para auxiliarse en la resolucin de los problemas de clculo aritmtico, para contar y realizar las operaciones aritmticas
elementales. En medicina las piedras de la vescula o del
rin se llaman clculos
[2] Calinger, Ronald (1999). A Contextual History of Mathematics. Prentice-Hall. p. 150. ISBN 0-02-318285-7.
Shortly after Euclid, compiler of the denitive textbook,
came Archimedes of Syracuse (ca. 287212 B.C.), the
most original and profound mathematician of antiquity.
[3] Archimedes of Syracuse. The MacTutor History of
Mathematics archive. January de 1999. Consultado el 0906-2008.
[4] O'Connor, J.J. and Robertson, E.F. (febrero de 1996). A
history of calculus. University of St Andrews. Consultado el 7-8-2007.
[5] la palabra algoritmo se introdujo en matemticas en honor
a este matemtico rabe.
[6] Muy interesante la descripcin de este proceso en Cifra
(matemtica)

[13] Con su famosa polmica acerca de la invencin del clculo

innitesimal de tanta importancia y que parece comprobado ser producto independiente de cada uno de ellos
[14] Clculo de movimientos como el de cada libre de los graves, Galileo,; trayectoria de los planetas, Kepler; trayectoria de proyectiles para la artillera; medidas astronmicas
y geogrcas; presiones, Torricelli y Pascal; y todas las
aplicaciones prcticas de estos clculos para la prctica
de la navegacin y la naciente industria: bombas de vaco,
prensa hidrulica, electricidad, magnetismo etc.
[15] Vase en Lgica emprica su aplicacin por Galileo al movimiento de cada libre de los graves.
[16] El modelo de Newton se basa en una geometra analtica
espacial de tres dimensiones inmutables como espacio absoluto y una sucesin constante e inmutable en una direccin de tiempo absoluto en los que una innidad de partculas materiales masas se mueven segn un principio uni
versal la Gravitacin Universal G = mm
, y unas leyes
r2
dinmicas que rigen el movimiento: Principio de inercia;
Principio de accin y reaccin; y Principio fundamental
de la dinmica, f = m a
[17] La Lgica de Aristteles se mantuvo prcticamente como
tal a lo largo de los siglos. Kant, a nales del siglo XVIII,
opinaba que la Lgica aristotlica no haba sufrido modicaciones sustanciales durante tanto tiempo por tratarse
de una ciencia a priori y analtica y, por tanto, constituirse
como un lenguaje formal; consideraba que haba dado de
s todo lo que poda ofrecer. Kant. Prlogo a la Crtica de
la Razn Pura.

[7] Ver lgica emprica

[8] Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca Pacioli; Summa de Arithmetica proportioni et porportionalita, 1494. Muy interesante y divertida exposicin de esta guerra en Cifra (matemtica)
[9] Sombart W.: El burgus:Contribucin a la historia espiritual del hombre econmico moderno. 1979. Madrid.
Alianza
[10] La brjula y las grandes rutas martimas, con el descubrimiento de Amrica; la transformacin de la guerra por la
aplicacin de la plvora, que suscita el inters por el estudio del movimiento de los proyectiles Tartaglia;la aceptacin del prstamo con inters y la creacin de las sociedades por acciones que iniciaron el primer gran capitalismo;
la nuevas tablas astronmicas sustituyendo las tablas alfonsinas (Tycho Brahe); y el copernicanismo que rompe
la imagen medieval del mundo
[11] Que llega a concebir el mundo como racional sometido a
una mathesis universal, la extensin, que convierte el mundo material en un inmenso mecanismo, teora mecanicista, perfectamente calculable segn un orden matemtico
que surge del anlisis concebido como mtodo de investigacin.

[18] Hofmann: Historia de la mtemtica

[19] La deduccin suele denirse como una inferencia en la
que a partir de verdades universales se concluye verdades
particulares. Este criterio no se acomoda bien a la lgica
actual, pues se preere la idea de inferencia como transformacin conforme las reglas establecidas; en cualquier
caso dichas reglas, que necesariamente se basan en tautologas, pueden considerarse como principios universales
o generales, sobre los cuales se construye una deduccin;
por ello la distincin no deja de ser una matizacin tcnica
de poca importancia.
[20] La habilidad peculiar del Sr.Holmes
[21] Desgraciadamente la representacin grca de los smbolos no est normalizada, lo que lleva a veces a ciertas dicultades de interpretacin.
[22] Cuando en un Clculo C, se establece una correspondencia de cada smbolo con elementos determinados individuales distinguibles entre s, de un Universo L, real, (tal
universo L no es un conjunto vaco, por las mismas condiciones que hemos establecido) ENTONCES se dice que
L es un MODELO de C.

6.1

Bibliografa

REFERENCIAS

6.2 Enlaces externos

BERGAD, D. (1979). La matemtica renacentista. Historia de la Ciencia. BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.

Portal:Matemtica. Contenido relacionado con

Matemtica.

BLACKBURN, S. (2001). Enciclopedia Oxford de

Filosofa. Madrid. Editorial Tecnos. ISBN 84-3093699-8.

Wikiquote alberga frases clebres de o sobre

Clculo. Wikiquote

BUNGE, M. (1972). Teora y realidad. Barcelona.

Ariel. ISBN 84-344-0725-6.
COPI, IRVING M. (1982). LGICA SIMBLICA.
Mxico 22 D.F: EDITORIAL CONTINENTAL
S.A. DE C.V. ISBN 968-26-0134-7.
DEAO, ALFREDO (1974). INTRODUCCIN
A LA LGICA FORMAL. MADRID: ALIANZA
EDITORIAL. ISBN 84-206-2064-5.
GARRIDO, M. (1974). LGICA SIMBLICA.
MADRID. EDITORIAL TECNOS S.A. ISBN 84309-0537-5.
HONDERICH, T. (Editor) (2001). Enciclopedia
Oxford de Filosofa. Trd. Carmen Garca Trevijano.
Madrid. Editorial Tecnos. ISBN 84-309-3699-8.
MITCHELL, D. (1968). INTRODUCCIN A LA
LGICA. BARCELONA: EDITORIAL LABOR.
NAVARRO, C. Y NADAL, B. (1982). Aspectos de
la Matemtica en el siglo XX. Historia de la Ciencia.
BARCELONA.ED.PLANETA. ISBN 81-320-08400.
PERELL I VALLS, C. (1979). El clculo en los
siglos XVII y XVIII. Historia de la Ciencia. BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.
QUINE, W.V. (1981). FILOSOFA DE LA LGICA. MADRID: ALIANZA EDITORIAL. ISBN 84206-2043-2.
STEWART I. (1977). Conceptos de matemtica moderna. Madrid. Alianza Universidad. ISBN 84-2062187-0.
Tablas de Aritmtica. Ed.EDIVAS S.L. Ref. 25. Zamudio. Espaa.
Trueta i Raspall, J. et alii. (1977). Historia de
la Ciencia. I. BARCELONA.ED.PLANETA. ISBN
84-320-0841-9.
Roland E. Larson, Robert P. Hostetler, Bruce H. Edwards (1995). CALCULO Y GEOMETRIA ANALITICA. Volumen 1 quinta edicin. McGRAW-HILL/
INTERAMERICANA DE ESPAA, S.A. ISBN 84481-1768-9.

Weisstein, Eric W. Calculus. En Weisstein, Eric

W. MathWorld (en ingls). Wolfram Research. Consultado el 29 de mayo de 2010.
Clculo de funciones
http://www.cenidet.edu.mx/dda/docs/
aplicacionteoriaactividad.pdf.
Introduccin a la lgica de clases
Clculos nancieros
Clculos Diferencial en una variable - Libro Gratis

Text and image sources, contributors, and licenses

7.1

Text

Clculo Fuente: http://es.wikipedia.org/wiki/C%C3%A1lculo?oldid=80401251 Colaboradores: Pino, Sanbec, Dodo, Crescent Moon, Cookie, Balderai, Ecemaml, Airunp, Aeveraal, Emijrp, Magister Mathematicae, Antonio LImn Lpez, Yrbot, BOT-Superzerocool, Adrruiz,
Vitamine, .Sergio, MI GENERAL ZAPATA, Mortadelo2005, GermanX, Willtron, Baneld, Gtz, Chlewbot, Smoken Flames, Folkvanger,
Paintman, Jorgechp, Juan Marquez, Kn, CEM-bot, Laura Fiorucci, Baiji, Davius, Rastrojo, Rosarinagazo, Andreoliva, Antur, FrancoGG,
Lauranrg, Escarbot, Drake 81, RoyFocker, IrwinSantos, PhJ, Isha, Mpeinadopa, JAnDbot, Muro de Aguas, CommonsDelinker, Netito777,
Iusdfn78, MONIMINO, Plux, Snakefang, Jmvkrecords, Rovnet, Bucephala, Technopat, Queninosta, Miaspasia, Matdrodes, DJ Nietzsche, 3coma14, Muro Bot, Mariano mario06, Paco79, SieBot, Mushii, PaintBot, Cobalttempest, Rigenea, Drinibot, BOTarate, PIERRE26,
Manw, Pascow, Greek, BuenaGente, Mafores, Tirithel, Jarisleif, Javierito92, Dnu72, HUB, Makete, Eduardosalg, Danidvt, Leonpolanco,
Pan con queso, Charly genio, Botito777, Poco a poco, Juan Mayordomo, Yufradt, Raulshc, Aipni-Lovrij, UA31, Taty2007, AVBOT, Ellinik, Diegusjaimes, Arjuno3, Claucoria, Cibort, AldoEZ, Usuwiki, Jefrcast, SuperBraulio13, Ortisa, Manuelt15, Jkbw, EnlazaBOTquote,
Ricardogpn, Igna, Botarel, AstaBOTh15, Panderine!, Javincy, Linux65, Jerowiki, El mago de la Wiki, PatruBOT, Yago AB, Gabeatle,
Ripchip Bot, Nachosan, Jorge c2010, LU2JGP, Miss Manzana, Savh, AVIADOR, Africanus, GTAram855, Waka Waka, WikitanvirBot,
Antonorsi, MerlIwBot, Christian1985, TeleMania, Jcuadra2, Gins90, MetroBot, Pingyxd, Acratta, MandessCast, Helmy oved, MaKiNeoH, Legobot, Balles2601, GerardoAF, Fructuoso.hernandez01, Svera2, Milagros.medinae, Taeyang72, Geraldine27, Jose.hernandezc1,
Karen.encinasv3, Jarould, Josepeutria y Annimos: 242

7.2

Images

Archivo:George_Boole.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/6/6c/George_Boole.jpg Licencia: Public domain

Colaboradores: http://www.enezeus.com/blog/wp-content/uploads/2006/10/hacker1.jpg Artista original: Haks
Archivo:Kugleramme.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/a/a0/Kugleramme.jpg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Leibniz_binary_system_1703.png Fuente: http://upload.wikimedia.org/wikipedia/commons/a/ac/Leibniz_binary_system_
1703.png Licencia: Public domain Colaboradores: scanned from reprint Artista original: Gottfried Leibniz
Archivo:Nuvola_apps_edu_mathematics-p.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/c/c2/Nuvola_apps_edu_
mathematics-p.svg Licencia: GPL Colaboradores: Derivative of Image:Nuvola apps edu mathematics.png created by self Artista original:
David Vignoni (original icon); Flamurai (SVG convertion)
Archivo:RomanAbacusRecon.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b5/RomanAbacusRecon.jpg Licencia:
CC-BY-SA-3.0 Colaboradores: Photographer: Mike Cowlishaw (aus der englischen Wikipedia) Artista original: Photographer: Mike
Cowlishaw (aus der englischen Wikipedia)
Archivo:Spanish_Wikiquote.SVG Fuente: http://upload.wikimedia.org/wikipedia/commons/1/13/Spanish_Wikiquote.SVG Licencia:
CC BY-SA 3.0 Colaboradores: derived from Wikiquote-logo.svg Artista original: James.mcd.nz

7.3

Content license

Creative Commons Attribution-Share Alike 3.0