Introducción

Los orígenes del cálculo se remontan unos 2,500 años por lo menos, hasta los antiguos griegos,
quienes hallaron áreas aplicando el "método de agotamiento".

El Cálculo constituye una de las grandes conquistas intelectuales de la humanidad. Una vez
construido, la historia de la matemática ya no fue igual: la geometría, el álgebra y la aritmética, la
trigonometría, se colocaron en una nueva perspectiva teórica. Detrás de cualquier invento,
descubrimiento o nueva teoría, existe, indudablemente, la evolución de ideas que hacen posible
su nacimiento. Es muy interesante prestar atención en el bagaje de conocimientos que se
acumula, desarrolla y evoluciona a través de los años para dar lugar, en algún momento en
particular y a través de alguna persona en especial, al nacimiento de una nueva idea, de una nueva
teoría, que seguramente se va a convertir en un descubrimiento importante para el estado actual
de la ciencia y, por lo tanto merece el reconocimiento. El Cálculo cristaliza conceptos y métodos
que la humanidad estuvo tratando de dominar por más de veinte siglos. Una larga lista de
personas que trabajaron con los métodos "infinitesimales" pero hubo que esperar hasta el siglo
XVII para tener la madurez social, científica y matemática que permitiría construir el Cálculo que
utilizamos en nuestros días.

Sus aplicaciones son difíciles de cuantificar porque toda la matemática moderna, de una u otra
forma, ha recibido su influencia; y las diferentes partes del andamiaje matemático interactúan
constantemente con las ciencias naturales y la tecnología moderna.

Newton y Leibniz son considerados los inventores del cálculo pero representan un eslabón en una
larga cadena iniciada muchos siglos antes. Fueron ellos quienes dieron a los procedimientos
infinitesimales de sus antecesores inmediatos, Barrow y Fermat, la unidad algorítmica y la
precisión necesaria como método novedoso y de generalidad suficiente para su desarrollo
posterior.

Sin la contribución de muchos otros hombres más, el cálculo de Newton y Leibniz seguramente no
existiría. Su construcción fue parte importante de la revolución científica que vivió la Europa del
siglo XVII. Los nuevos métodos enfatizaron la experiencia empírica y la descripción matemática de
nuestra relación con la realidad. La revolución científica supuso una ruptura con las formas de
pensar, estudiar y vincularse con la naturaleza que dominaron casi absolutamente en Europa entre
los siglos V y XV. Esta ruptura y salto en la historia del conocimiento estuvieron precedidos por las
importantes transformaciones que se vivieron durante los siglos XV y XVI con el Renacimiento y la
Reforma Protestante. El Cálculo Diferencial e Integral están en el corazón del tipo de
conocimiento, cultura y de sociedad de la que, esencialmente, somos parte.

El extraordinario avance registrado por la matemática, la física y la técnica durante los siglos XVIII,
XIX y XX, se lo debemos al Cálculo infinitesimal y por eso se puede considerar como una de las
joyas de la creación intelectual de la que el hombre puede sentirse orgulloso. La palabra cálculo
proviene del latín calculus, que significa contar con piedras. Precisamente desde que el hombre ve
la necesidad de contar, comienza la historia del cálculo, o de las matemáticas.

CAPÍTULO I

Historia
1.1 Civilizaciones Antiguas

Los avances obtenidos desde que cada cultura implemento su sistema numérico, aún son
utilizados actualmente. El avance algebraico de los egipcios, dio como resultado la resolución a
ecuaciones de tipo. La correcta implementación de la regla aritmética de cálculo, por parte de los
Indios, aumento el conocimiento matemático, y la creación de los números irracionales, además
que ayudó a la resolución de sistemas de ecuaciones.

Después de esta época, Grecia deja de ser el centro evolutivo de las matemáticas, conflictos
sociales y políticos que se vivían en esa época alejan a Grecia de esta ciencia. Por esta situación
otro imperio toma las riendas de los avances matemáticos.

El Cálculo Diferencial se origina en el siglo XVII al realizar estudios sobre el movimiento, es decir, al
estudiar la velocidad de los cuerpos al caer al vacío ya que cambia de un momento a otro; la
velocidad en cada instante debe calcularse teniendo en cuenta la distancia que recorre en un
tiempo infinitesimalmente pequeño.

En 1666 Sir Isaac Newton (1642-1727), fue el primero en desarrollar métodos matemáticos para
resolver problemas de esta índole. Inventó su propia versión del cálculo para explicar el
movimiento de los planetas alrededor del Sol. Newton concibió el llamado Método de las
Fluxiones, considerando a la curva como la trayectoria de un punto que fluye; denomina
"momentum" de la cantidad de fluente al arco mucho muy corto, recorrido en un tiempo
excesivamente pequeño, llamando la "razón del momentum" al tiempo correspondiente es decir,
la velocidad

Casi al mismo tiempo, el filósofo y matemático alemán Gottfried Wilhelm Leibniz (1646- 1716),
realizó investigaciones similares e ideando símbolos matemáticos que se aplican hasta nuestros
días. La concepción de Leibniz se logra al estudiar el problema de las tangentes y su inverso,
basándose en el Triángulo Característico de Barrow, observando que dicho triángulo al que se
forma con la tangente, la subtangente y la ordenada del punto de tangencia, así mismo, es igual al
triángulo formado por la Normal, la Subnormal y la ordenada del mismo punto. Los símbolos, la
palabra "derivada" y el nombre de "ecuaciones diferenciales" se deben a Leibniz. dx dy dx.
Después de Newton y Leibniz, el desarrollo del cálculo fue continuado por Jacobo Bernoulli y
Johann Bernoulli. Sin embargo, cuando Berkeley publicó su Analyst en 1734 atacando la falta de
rigor en el cálculo y disputando la lógica sobre la que se basaba, entonces se hicieron grandes
esfuerzos para amarrar el razonamiento. Maclaurin intentó poner el cálculo sobre una base
geométrica rigurosa pero sus fundamentos realmente satisfactorios tendrían que esperar al
trabajo de Cauchy en el siglo XIX.

Destacan otros matemáticos por haber hecho trabajos importantes relacionados con el Cálculo
Diferencial, sobresaliendo entre otros, los siguientes:

Pierre Fermat (1601-1665), matemático francés, quien en su obra habla de los métodos diseñados
para determinar los máximos y mínimos, acercándose casi al descubrimiento del Cálculo
Diferencial, mucho antes que Newton y Leibniz. Dicha obra influenció en Leibniz en la invención
del Cálculo Diferencial.

Johannes Kepler, tiempo después, coincide con lo establecido por Oresme, conceptos que
permitieron a Fermat en su estudio de máximos y mínimos, las tangentes y las cuadraturas, igualar
a cero la derivada de la función, debido a que la tangente a la curva en los puntos en que la
función tiene su máximo o mínimo, es decir, la función es paralela al eje donde la pendiente de la
tangente es nula. X

Isaac Barrow (Londres, 1630 - id., 4 de mayo, 1677), maestro de Newton, construyó el "triángulo
característico", en donde la hipotenusa es un arco infinitesimal de curva y sus catetos son
incrementos infinitesimales en que difieren las abscisas y las ordenadas de los extremos del arco.

Joseph-Louis LaGrange (1736-1813), quien demostró por primera vez el Teorema del Valor Medio.

Augustin-Louis Cauchy (París, 21 de agosto de 1789- Sceaux, 23 de mayo de 1857), matemático

francés, impulsor del Cálculo Diferencial e Integral, autor de La Teoría de las Funciones de las
Variables Complejas, se basó en el método de los límites; las definiciones de "función de función"
y la de "función compuesta" se deben a él. El concepto de función continua fue introducido por
primera vez por él en 1821.

Leonhard Euler (1707-1783). La simbología se debe a él, quien además de hacer importantes
contribuciones a casi todas las ramas de las matemáticas, fue uno de los primeros en aplicar el
cálculo a problemas de la vida real en la Física. Sus extensos escritos publicados incluyen temas
como construcción de barcos, acústica, óptica, astronomía, mecánica y magnetismo.

John Wallis (Ashford, 23 de noviembre de 1616 – Oxford, 28 de octubre de 1703), enuncia el

concepto de "límite".

La representación simbólica "lím" se debe a Simón Lhuilier (n. Ginebra, Suiza el 24 de abril de
1750, f. en Ginebra el 28 de marzo de 1840). El símbolo "tiende a" lo propuso J. G. Leathem.

En sus comienzos el cálculo fue desarrollado para estudiar cuatro problemas científicos y
matemáticos:

Encontrar la tangente a una curva en un punto.

Encontrar el valor máximo o mínimo de una cantidad.

Encontrar la longitud de una curva, el área de una región y el volumen de un sólido.

Dada una fórmula de la distancia recorrida por un cuerpo en cualquier tiempo conocido, encontrar
la velocidad y la aceleración del cuerpo en cualquier instante. Recíprocamente, dada una fórmula
en la que se especifique la aceleración o la velocidad en cualquier instante, encontrar la distancia
recorrida por el cuerpo en un período de tiempo conocido.
El Cálculo Diferencial se ha ido desarrollando a través de los años, consolidándose como una
herramienta técnico – científica que se utiliza en el análisis de procesos que contienen magnitudes
en constante cambio, por ejemplo: la velocidad de las reacciones químicas, los cambios
atmosféricos, los desarrollos sociales y económicos de las naciones, en la astronomía para calcular
las órbitas de los satélites y de las naves espaciales, en medicina para medir el flujo cardiaco, la
estadística, y en una gran diversidad de otras áreas.

Los procesos generales y las reglas prácticas sencillas del Cálculo Diferencial se deben a Newton y
Leibniz; sin embargo, por más de 150 años el Cálculo Diferencial continuó basándose en el
concepto de lo infinitesimal. A Newton y Leibniz se les llama fundadores del Cálculo, ya que fueron
los primeros en estudiar el problema geométrico fundamental del Cálculo Diferencial denominado
"Problema de las Tangentes", en el cual hay que hallarlas rectas tangentes a una curva dada en un
punto cualquiera. Sin embargo, fue Leibniz quien trató de ampliar el cálculo al desarrollar reglas y
asignarle una notación formal.

1.2 El siglo XVIII

En el siglo XVII el cálculo conoció un enorme desarrollo siendo los autores más destacados
Descartes, Pascal y, finalmente, Leibniz y Newton con el cálculo infinitesimal que en muchas
ocasiones ha recibido simplemente, por absorción, el nombre de cálculo.

El concepto de cálculo formal en el sentido de algoritmo reglado para el desarrollo de un

razonamiento y su aplicación al mundo de lo real adquiere una importancia y desarrollo enorme
respondiendo a una necesidad de establecer relaciones matemáticas entre diversas medidas,
esencial para el progreso de la ciencia física que, debido a esto, es tomada como nuevo modelo de
Ciencia frente a la especulación tradicional filosófica, por el rigor y seguridad que ofrece el cálculo
matemático. Cambia así el sentido tradicional de la Física como filosofía 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 cálculo permite establecer modelos sobre la realidad
física, cuya comprobación experimental supone la confirmación de la teoría como sistema. Es el
momento de la consolidación del llamado método científico cuyo mejor exponente es en aquel
momento la Teoría de la Gravitación Universal y las leyes de la Mecánica de Newton.

Durante buena parte del siglo XVIII los discípulos de Newton y Leibniz se basaron en sus trabajos
para resolver diversos problemas de física, astronomía e ingeniería, lo que les permitió, al mismo
tiempo, crear campos nuevos dentro de las matemáticas. Así, los hermanos Bernoulli inventaron el
cálculo de variaciones y el matemático francés Monge la geometría descriptiva. LaGrange, también
francés, dio un tratamiento completamente analítico de la mecánica, realizó contribuciones al
estudio de las ecuaciones diferenciales y la teoría de números, y desarrolló la teoría de grupos. Su
contemporáneo Laplace escribió Teoría analítica de las probabilidades (1812) y el clásico Mecánica
celeste (1799-1825), que le valió el sobrenombre de "el Newton francés".
Sin embargo el gran matemático del siglo fue el suizo Euler, quien aportó ideas fundamentales
sobre el cálculo y otras ramas de las matemáticas y sus aplicaciones. Euler escribió textos sobre
cálculo, mecánica y álgebra que se convirtieron en modelos a seguir para otros autores
interesados en estas disciplinas. El éxito de Euler y de otros matemáticos para resolver problemas
tanto matemáticos como físicos utilizando el cálculo sólo sirvió para acentuar la falta de un
desarrollo adecuado y justificado de las ideas básicas del cálculo. La teoría de Newton se basó en
la cinemática y las velocidades, la de Leibniz en los infinitésimos, y el tratamiento de LaGrange era
completamente algebraica y basada en el concepto de las series infinitas. Todos estos sistemas
eran inadecuados en comparación con el modelo lógico de la geometría griega, y este problema
no fue resuelto hasta el siglo posterior.

A los matemáticos de fines del siglo el horizonte matemático les parecía obstruido. Se había
llegado al estudio de cuestiones muy complicadas a las que no se les conocía o veía un alcance
claro. Los sabios sentían la necesidad de estudiar conceptos nuevos y hallar nuevos
procedimientos.

1.3 El siglo XIX

El concepto de Cálculo y sus ramificaciones se introdujo en el siglo XVIII, con el gran desarrollo que
obtuvo el análisis matemático, creando ramas como el cálculo diferencial, integral y de
variaciones.

Pero pronto surgió el problema de la convergencia de la serie, que se resolvió en parte con la
introducción de términos residuales, así como con la transformación de series en otras que fuesen
convergentes. Junto a las series de potencias se incluyeron nuevos tipos de desarrollos de
funciones, como son los desarrollos en series asintóticas introducidos por Stirling y Euler. La
acumulación de resultados del cálculo diferencial transcurrió rápidamente, acumulando casi todos
los resultados que caracterizan su estructura actual.

Introducir el cálculo integral, se logró con el estudio de J.Bernoulli, quien escribió el primer curso
sistemático de cálculo integral en 1742. Sin embargo, fue Euler quien llevó la integración hasta sus
últimas consecuencias, de tal forma que los métodos de integración indefinida alcanzaron
prácticamente su nivel actual. El cálculo de integrales de tipos especiales ya a comienzos de siglo,
conllevó el descubrimiento de una serie de resultados de la teoría de las funciones especiales.
Como las funciones gamma y beta, el logaritmo integral o las funciones elípticas.

Este es el desarrollo las matemáticas han obtenido desde que el hombre vio la necesidad de
contar, hasta nuestros días. Actualmente gran cantidad de matemáticos siguen en el desarrollo de
las matemáticas denominadas matemáticas modernas, de donde sus conceptos son la base de la
mayor parte de las ciencias actuales.

En relación con el análisis matemático en este siglo, se fundamentó en un conjunto de

procedimientos y métodos de solución de numerosos problemas que crecía rápidamente. Todos
estos métodos aun podían dividirse en tres grandes grupos, constituidos en el cálculo diferencial,
el cálculo integral y la teoría de ecuaciones diferenciales. Con estos fundamentos se llegó a lo que
se conoce como teoría de límites y de funciones, que fueron el tema central en este siglo.

Un problema importante fue definir el significado de la palabra función. Euler, LaGrange y el

matemático francés Fourier aportaron soluciones, pero fue el matemático alemán Dirichlet quien
propuso su definición en los términos actuales. En 1821, un matemático francés, Cauchy,
consiguió un enfoque lógico y apropiado del cálculo y se dedicó a dar una definición precisa de
"función continua". Basó su visión del cálculo sólo en cantidades finitas y el concepto de límite.
Esta solución planteó un nuevo problema, el de la definición lógica de número real. Aunque la
definición de cálculo de Cauchy estaba basada en este concepto, no fue él sino el matemático
alemán Dedekind quien encontró una definición adecuada para los números reales. Los
matemáticos alemanes Cantor y Weierstrass también dieron otras definiciones casi al mismo
tiempo.
Además de fortalecer los fundamentos del análisis, nombre dado a partir de entonces a las
técnicas del cálculo, se llevaron a cabo importantes avances en esta materia. Gauss, uno de los
más importantes matemáticos de la historia, dio una explicación adecuada del concepto de
número complejo; estos números formaron un nuevo y completo campo del análisis, desarrollado
en los trabajos de Cauchy, Weierstrass y el matemático alemán Riemann. Otro importante avance
fue el estudio de las sumas infinitas de expresiones con funciones trigonométricas, herramientas
muy útiles tanto en las matemáticas puras como en las aplicadas, hecho por Fourier. Cantor
estudió los conjuntos infinitos y una aritmética de números infinitos. La teoría de Cantor fue
considerada demasiado abstracta y criticada. Encontramos aquí un espíritu crítico en la
elaboración de estas nociones tan ricas. Esto constituye un punto de vista muy diferente del que
animaba a los matemáticos del siglo anterior. Ya no se trata de construir expresiones ni forjar
nuevos métodos de cálculo, sino de analizar conceptos considerados hasta entonces intuitivos.

Gauss desarrolló la geometría no euclidiana pero tuvo miedo de la controversia que pudiera
causar su publicación. También en este siglo se pasa del estudio simple de los polinomios al
estudio de la estructura de sistemas algebraicos.

Los fundamentos de la matemática fueron completamente transformados durante el siglo XIX,

sobre todo por el matemático inglés Boole en su libro Investigación sobre las leyes del
pensamiento (1854).

Durante el siglo XIX y XX el desarrollo científico y la creación de modelos teóricos fundados en

sistemas de cálculo aplicables tanto en mecánica como en electromagnetismo y radioactividad,
etc. así como en astronomía fue impresionante. Las geometrías no euclidianas encuentran
aplicación en modelos teóricos de astronomía y física. El mundo deja de ser un conjunto de
infinitas partículas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de
configuración o espacio de fases de n dimensiones que físicamente se hacen consistentes en la
teoría de la relatividad, la mecánica cuántica, la teoría de cuerdas etc. que cambia por completo la
imagen del mundo físico.

La lógica asimismo sufrió una transformación radical. La formalización simbólica fue capaz de
integrar las leyes lógicas en un cálculo matemático, hasta el punto que la distinción entre
razonamiento lógico-formal y cálculo matemático viene a considerarse como meramente utilitaria.

En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalización de
todo el sistema matemático, Frege, y de matematización de la lógica, (Bolzano, Boole, Whitehead,
Russell) fue posible la generalización del concepto como cálculo lógico. Se lograron métodos muy
potentes de cálculo, sobre todo a partir de la posibilidad de tratar como "objeto" conjuntos de
infinitos elementos, dando lugar a los números transfinitos de Cantor.

1.4 Siglo XX y nuestros días

Es importante el aporte realizado por Lebesgue referido a la integración y a la teoría de la medida

y las modificaciones y generalizaciones realizadas por matemáticos que lo sucedieron.

En la Conferencia Internacional de Matemáticos que tuvo lugar en París en 1900, el matemático

alemán David Hilbert, quien contribuyó de forma sustancial en casi todas las ramas de la
matemática retomó veintitrés problemas matemáticos que él creía podrían ser las metas de la
investigación matemática del siglo que recién comenzaba. Estos problemas fueron el estímulo de
una gran parte de los trabajos matemáticos del siglo.

El avance originado por la invención del ordenador o computadora digital programable dio un gran
impulso a ciertas ramas de la matemática, como el análisis numérico y las matemáticas finitas, y
generó nuevas áreas de investigación matemática como el estudio de los algoritmos. Se convirtió
en una poderosa herramienta en campos tan diversos como la teoría de números, las ecuaciones
diferenciales y el álgebra abstracta. Además, el ordenador permitió encontrar la solución a varios
problemas matemáticos que no se habían podido resolver anteriormente.

El conocimiento matemático del mundo moderno está avanzando más rápido que nunca. Teorías
que eran completamente distintas se han reunido para formar teorías más completas y abstractas.
Aunque la mayoría de los problemas más importantes han sido resueltos, otros siguen sin
solución. Al mismo tiempo aparecen nuevos y estimulantes problemas y aún la matemática más
abstracta encuentra aplicación.

En la actualidad, el cálculo en su sentido más general, en tanto que cálculo lógico interpretado
matemáticamente como sistema binario, y físicamente hecho material mediante la lógica de
circuitos electrónicos, ha adquirido una dimensión y desarrollo impresionante por la potencia de
cálculo conseguida por los ordenadores, propiamente máquinas computadoras. La capacidad y
velocidad de cálculo de estas máquinas hace lo que humanamente sería imposible: millones de
operaciones por segundo.

El cálculo así utilizado se convierte en un instrumento fundamental de la investigación científica

por las posibilidades que ofrece para la modelización de las teorías científicas, adquiriendo
especial relevancia en ello el cálculo numérico.

CAPÍTULO II
Personajes y contribuciones importantes de la historia del Cálculo

2.1 Personajes y contribuciones en la antigüedad

El trabajo prehelénico de los Egipcios y Babilonios, aunque tuvo una ausencia de generalidad y
atención a las características esenciales sobre la naturaleza lógica del pensamiento matemático y
su necesidad de pruebas deductivas, logró un acervo tal de cálculos y procedimientos concretos,
que tuvo sin duda, una clara influencia en los trabajos iníciales de los filósofos y matemáticos
griegos:

Tales de Mileto. Fue quien inicialmente introdujo los métodos deductivos no exentos de cierto
empirismo y falta de generalidad- a través de procesos sistemáticos de abstracción, que
ciertamente fueron la base para los Pitagóricos. Para ellos la perfecta consonancia de la realidad
observada con la naturaleza de los conocimientos matemáticos les llevó a pensar que las
matemáticas estaban en la realidad última, en la esencia del universo y por lo tanto, "un
entendimiento de los principios matemáticos debía preceder cualquier interpretación válida de la
naturaleza". "Todo es número". "Dios es un Geómetra".

Zenón de Elea (450 a. de C. aprox.), formuló un buen número de problemas (paradojas) basados
en el infinito.

Para los antiguos griegos, los números como tales eran razones de números enteros, por lo que no
todas las longitudes eran números. (Existían magnitudes geométricas que no podían ser medidas
por números; números como entidades discretas vs magnitudes geométricas continuas.)

Eudoxo (408 a. de C. - 355 a. de C.) de Cnido, Asia Menor (Turquía).

Método de Exhaución. El método se llama así porque se puede pensar en expandir sucesivamente
áreas conocidas de tal manera que éstas den cuenta ("dejen exhausta") del área requerida. Cobra
importancia como recurso para hacer demostraciones rigurosas en geometría.

Arquímedes de Siracusa (225 a.de C.). Hizo una de las más significativas contribuciones griegas. Su
primer avance importante fue mostrar que el área de un segmento de parábola es 4/3 del área de
un triángulo con la misma base y vértice, y 2/3 del área del paralelogramo circunscrito. Éste es el
primer ejemplo conocido de la adición de una serie infinita. Arquímedes utilizó el método de
exhaución para encontrar una aproximación al área del círculo. Por supuesto, es un ejemplo
temprano de integración, el cual condujo a aproximar valores de. Entre otras "integrales"
calculadas por Arquímedes, están el volumen y área de una esfera, volumen y área de un cono,
área de una elipse, volumen de cualquier segmento de un paraboloide de revolución y de un
segmento de un hiperboloide de revolución.

La dificultad lógica que enfrentaron los antiguos matemáticos griegos en sus intentos de expresar
sus ideas intuitivas sobre razones o proporciones de líneas -que vagamente reconocían como
continúas-, en términos de números -los que mantenían como discretos-, los involucró con un
concepto lógicamente insatisfactorio (pero intuitivamente atractivo): el infinitesimal. La
imposibilidad de enfrentarlo ampliamente originó que los problemas sobre la variación no fueran
atacados cuantitativamente por los matemáticos griegos. Estos problemas fueron retomados
hasta el siglo XIV por los filósofos escolásticos, y su discusión, cualitativa en gran parte, pero
apoyada en demostraciones gráficas, hizo posible la introducción posterior de la geometría
analítica y la representación sistemática de cantidades variables.

TALES DE MILETO

ZENÓN DE ELEA

EUDOXO
2.2 Personajes y contribuciones en los siglos XVI y XVII

Una época de avances hacia la formulación posterior del Cálculo como estudio de la variación, una
época en la que se enfrentó la necesidad de herramientas matemáticas que no tenían más
fundamento que la geometría arquimediana para tratar con los inconmensurables; método cuya
visión de rigor había obstaculizado trabajar más libremente con los infinitésimos, relacionados a la
variación y al continuo:

Johannes Kepler (1571-1630). Nació en Leonberg, Sacro Imperio Romano, hoy Alemania. En su
trabajo sobre el movimiento planetario, tuvo que encontrar el área de sectores de una elipse; para
ello su método consistió en determinar las áreas como sumas de líneas. En cambio, en su trabajo
Nueva Geometría Sólida de los Barriles de Vino calculó en forma exacta o aproximada el volumen
de más de 90 sólidos de revolución, considerando el sólido compuesto de infinitos cuerpos
infinitesimales de volúmenes conocidos.

Bonaventura Cavalieri (1598-1647). Publicó su "Geometria Indivisibili Continuorum Nova" en 1635

donde expone el principio que lleva ese nombre. Su método consiste en comparar
proporcionalmente los indivisibles de volúmenes o áreas de cuerpos o figuras por encontrar, con
los respectivos indivisibles de figuras o cuerpos cuyas áreas o volúmenes se conocen. Se puede
referir este procedimiento en forma general como un método de "Suma de potencias de líneas",
que aunque alejado del rigor, condujo a Cavalieri a un resultado correcto para ?B A k x con
k=1,2,3,4,5,6,7,8,9.

Pierre de Fermat (1601-1665). Trata de encontrar pruebas más o menos rigurosas de la conjetura
de Cavalieri. En su trabajo sobre curvas polinomiales.

JOHANNES KEPPLER
BONAVENTURA CAVALIERI

PIERRE DE FERMANT

2.3 Personajes y contribuciones en el siglo XVIII

Gilles Persone de Roberval (1602- 1675). Cálculo de tangentes como vectores de "velocidad
instantánea". Cicloide: su área es 3 veces la del círculo que la genera.

John Wallis (1616-1703). Escribió su Arithmetica Infinitorum en 1655. Abordó sistemáticamente,

por primera vez, la cuadratura de las curvas de la forma y=x k donde k no es necesariamente un
entero positivo. Su trabajo en la determinación de los límites implicados fue empírico. Tuvo una
influencia decisiva en los primeros desarrollos del trabajo matemático de Newton.

Isaac Barrow (1630-1677). Maestro de Newton. Competente en árabe y griego, mejoró

traducciones de textos griegos. Punto de vista conservador en matemáticas.
GILLES DE ROBERVAL

JOHN WALLIS

Sus "Lectiones Geométriae", publicadas en 1670, incluyen los procedimientos infinitesimales

conocidos por él. La mayoría de los problemas presentados tratan

tangentes y cuadraturas desde un punto de vista clásico (geométrico en lugar de analítico). Incluye
su método del "triángulo característico" en el que implícitamente se toma a la recta tangente
como la posición límite de la secante.

En su obra aparece localizado el Teorema Fundamental del Cálculo en el sentido de presentar el

carácter inverso entre problemas de tangentes y áreas, en un sentido estrictamente geométrico,
no como un algoritmo de cómputo.
ISAAC BARROW

2.4 Nace el cálculo

Isaac Newton (1643-1727). En 1687 fue publicada su obra magistral Philosophiae Naturalis
Principia Mathematica en el cual se exponen, en diferentes pasajes, claras exposiciones del
concepto de límite, idea básica del cálculo.

Ofrece tres modos de interpretación para el nuevo análisis:

aquél en términos de infinitesimales usado en su De analysi, su primer trabajo (1669, publicado

en1711);

aquél en términos de fluxiones, dado en su Methodus Fluxionum et Serierum Infinitorum (1671,

publicado en 1736), en la que parece apelar con mayor fuerza a su imaginación; ? aquél en
términos de razones primeras y últimas o límites, dado particularmente en la obra De Quadratura
Curvarum que escribió al final y publicó primero (1704), visión que él parece considerar más
rigurosa.

Gottfried Wilhelm von Leibniz (1646-1716). Sus resultados en el cálculo integral fueron publicados
inicialmente en 1684, y posteriormente en 1686 bajo el nombre de "Calculus Summatorius".
Introduce los elementos diferenciales dy ó dx para expresar la "diferencia entre dos valores
sucesivos" de una variable continua y ó x. Al tomar la suma de tales diferenciales de la variable se
obtiene la variable misma, lo cual denota por ?dx.

El "triángulo diferencial" que había sido estudiado en varias formas particularmente en los
trabajos de Torricelli, Fermat y Barrow es el antecedente más cercano al enfoque que ofrece
Leibniz en su tratamiento de sumas y diferencias aunque él mismo aseguró que la inspiración
inicial la encontró al estudiar el tratado de Pascal "Traité des sinus du quart de cercle".
Sus obras dan cuenta de un método generalizado para abordar esas sumas y diferencias, además
del tratamiento inverso de ambas operaciones, mediante el uso de un sistema de notación y
terminología perfectamente acoplado a la materia que trata en sus bases lógicas y operativas.

Leibniz siempre se dio cuenta que estaba trabajando con una nueva materia. Se especula que
Newton, hasta que supo de esta postura de Leibniz consideró él mismo su método de fluxiones
como una nueva materia también y un modo de expresión matemática organizado más que
simplemente una útil modificación de reglas anteriores.

ISAAC NEWTON

GOTTFRIED WILHELM VON LEIBNIZ

El trabajo más importante de cálculo de Newton estuvo escrito de 1665 a 1676, pero ninguna de
sus obras fue publicada durante ese tiempo. Se ha sugerido que la demora en la publicación de sus
tres principales trabajos fue ocasionada por el hecho de que estaba insatisfecho con los
fundamentos lógicos de la materia. En su monografía "De Analysi per aequationes numero
terminorum infinitas" no hace explícito el uso de la notación fluxional ni de la idea. En su lugar usa
lo infinitamente pequeño, tanto geométrico como analítico de manera similar a la que
encontramos en Barrow y Fermat, y extiende su aplicabilidad por el uso del Teorema del Binomio.
Conclusiones

El progreso de las ideas no se da en el tiempo a través de una trayectoria perfectamente delineada

y preconcebida; existen muchos elementos que en la construcción son desechados, reformulados
o agregados. Las concepciones filosóficas sobre la realidad, el papel de la ciencia, y en especial las
concepciones sobre las características que debe reunir el conocimiento matemático para ser
considerado como conocimiento científico, determinaron los enfoques realizados en cada época.
El impacto que tuvieron los personajes y las contribuciones consignadas en la historia difícilmente
puede ser comprendida cabalmente si estas consideraciones no se toman en cuenta.

Dada que la historia del cálculo, comienza desde los inicios de la historia del hombre, cuando este
vio la necesidad de contar, ya que han sido muchos los grandes matemáticos que han influido en
el desarrollo que actualmente posee el cálculo, igualmente que han sido muchas las culturas que
han influido en sus avances, donde las matemáticas, actualmente son la base de todas las ciencias
que maneja el hombre, debido a que su campo de acción cubre la totalidad de los conocimientos
científicos.

Trayendo así el desarrollo y uso del cálculo ha tenido efectos muy importantes en casi todas las
áreas de la vida moderna: es fundamento para el cálculo numérico aplicado en casi todos los
campos técnicos y/o científicos cuya principal característica es la continuidad de sus elementos, en
especial en la física. Prácticamente todos los desarrollos técnicos modernos como la construcción,
aviación, transporte, meteorología, etc. hacen uso del cálculo. Muchas fórmulas algebraicas se
usan hoy en día en balística, calefacción, refrigeración, etc.; donde se demuestra que tan
importante es el cálculo hoy en día.

Bibliografía

http://analisisfigempa.wikispaces.com

http://www.slideshare.net

Apuntes de historia de las matemáticas, Volumen 1, nº1, 2002.

Cálculo

De Wikipedia, la enciclopedia libre

Ir a la navegaciónIr a la búsqueda

Para otros usos de este término, véase Cálculo (desambiguación).

Para cálculo infinitesimal (diferencial o integral), véase Cálculo infinitesimal.

Para el estudio de los números reales, los complejos, los vectores y sus funciones, véase Análisis
matemático.

En general el término cálculo (del latín calculus = piedrecita, usado para contar o como ayuda al
calcular)1 hace referencia al resultado correspondiente a la acción de calcular. Calcular, por su
parte, consiste en realizar las operaciones necesarias para prever el resultado de una acción
previamente concebida, o conocer las consecuencias que se pueden derivar de unos datos
previamente conocidos.

No obstante, el uso más común del término "cálculo" es el lógico-matemático. Desde esta
perspectiva, el cálculo consiste en un procedimiento mecánico, o algoritmo, mediante el cual
podemos conocer las consecuencias que se derivan de unos datos previamente conocidos
debidamente formalizados y simbolizados.

Índice

 1 Cálculo como razonamiento y cálculo lógico-matemático

  2 Historia del cálculo

o 2.1 De la Antigüedad

o 2.2 Renacimiento

o 2.3 Siglos XVII y XVIII

o 2.4 Siglos XIX y XX

o 2.5 Actualidad

 3 Cálculo infinitesimal: breve reseña

 4 Cálculo lógico

o 4.1 Sistematización de un cálculo de deducción natural

 4.1.1 Reglas de formación de fórmulas

 4.1.2 Reglas de transformación de fórmulas

o 4.2 Esquemas de inferencia

o 4.3 El lenguaje natural como modelo de un cálculo lógico

 5 Véase también

 6 Referencias

 7 Bibliografía

 8 Enlaces externos

Cálculo como razonamiento y cálculo lógico-matemático[editar]

Las dos acepciones del Ejemplo de aplicación de un cálculo algebraico a la resolución de un
cálculo (la general y la problema, según la interpretación de una teoría física
restringida) arriba
definidas están
íntimamente ligadas.
El cálculo es una La expresión del cálculo algebraico , indica las relaciones sintácticas
actividad natural y que existen entre tres variables que no tienen significado alguno.
primordial en el
hombre, que
comienza en el mismo Pero si interpretamos como espacio, como velocidad y
momento en que como tiempo, tal ecuación modeliza una teoría física que establece que el
empieza a relacionar espacio recorrido por un móvil con velocidad constante es directamente
unas cosas con otras proporcional a la velocidad con que se mueve y al tiempo que dura su
en un pensamiento o movimiento.
discurso. El cálculo Al mismo tiempo, según dicha teoría, sirve para resolver el problema de
lógico natural como calcular cuántos kilómetros ha recorrido un coche que circula de Madrid a
razonamiento es el Barcelona a una velocidad constante de 60 km/h durante 4 horas de
primer cálculo recorrido.
elemental del ser
humano. El cálculo en  240 kilómetros recorridos = 60 km/h x 4 h
sentido lógico-
matemático 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 consecución 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 práctica o cognoscitiva.

2. Operaciones formales como algoritmo que se aplica bien directamente a los datos
conocidos o a los esquemas simbólicos de la interpretación lógico-matemática de dichos
datos; las posibles conclusiones, inferencias o deducciones de dicho algoritmo son el
resultado de la aplicación de reglas estrictamente establecidas de antemano.

Resultado que es:

Conclusión de un proceso de razonamiento.

Resultado aplicable directamente a los datos iniciales (resolución de problemas).

Modelo de relaciones previamente establecido como teoría científica y significativo respecto a

determinadas realidades (Creación de modelos científicos).

Mero juego formal simbólico de fundamentación, creación y aplicación de las reglas que
constituyen el sistema formal del algoritmo (Cálculo lógico-matemático, propiamente dicho).
Dada la importancia que históricamente ha adquirido la actividad lógico-matemática en la cultura
humana el presente artículo se refiere a este último sentido. De hecho la palabra, en su uso
habitual, casi queda restringida a este ámbito de aplicación; para algunos, incluso, queda reducida
a un solo tipo de cálculo matemático, pues en algunas universidades se llamaba "Cálculo" a una
asignatura específica de cálculo matemático (como puede ser el cálculo infinitesimal, análisis
matemático, cálculo diferencial e integral, etc.).

En un artículo general sobre el tema no puede desarrollarse el contenido de lo que supone el

cálculo lógico-matemático en la actualidad. Aquí se expone solamente el fundamento de sus
elementos más simples, teniendo en cuenta que sobre estas estructuras simples se construyen los
cálculos más complejos tanto en el aspecto lógico como en el matemático.

Historia del cálculo[editar]

De la Antigüedad[editar]

Reconstrucción de un ábaco romano.

Un ábaco moderno.

El término "cálculo" procede del latín calculus, piedrecita que se mete en el calzado y que produce
molestia. Precisamente tales piedrecitas ensartadas en tiras constituían el ábaco romano que,
junto con el suanpan chino, constituyen las primeras máquinas de calcular en el sentido de contar.
Los antecedentes de procedimiento de cálculo, como algoritmo, se encuentran en los que
utilizaron los geómetras griegos, Eudoxo en particular, en el sentido de llegar por aproximación de
restos cada vez más pequeños, a una medida de figuras curvas; así como Diofanto precursor del
álgebra.

Se considera que Arquímedes fue uno de los matemáticos más grandes de la antigüedad y, en
general, de toda la historia.23 Usó el método exhaustivo para calcular el área bajo el arco de una
parábola con el sumatorio de una serie infinita, y dio una aproximación extremadamente precisa
del número Pi.4 También definió la espiral que lleva su nombre, fórmulas para los volúmenes de
las superficies de revolución y un ingenioso sistema para expresar números muy largos.

La consideración del cálculo como una forma de razonamiento abstracto aplicado en todos los
ámbitos del conocimiento se debe a Aristóteles, quien en sus escritos lógicos fue el primero en
formalizar y simbolizar los tipos de razonamientos categóricos (silogismos). Este trabajo sería
completado más tarde por los estoicos, los megáricos, la Escolástica.

Los algoritmos actuales del cálculo aritmético, utilizados universalmente, son fruto de un largo
proceso histórico. 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 representación de los números arábigos 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
números en Babilonia, en Egipto, en Grecia o en Roma, hacía muy difícil un procedimiento
mecánico de cálculo.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 función 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 mecánica se confeccionaban unas tablas a partir de las cuales se
podía generar un algoritmo prácticamente mecánico. Este sistema de tablas ha perdurado en
algunas operaciones durante siglos, como las tablas de logaritmos, o las funciones
trigonométricas; las tablas venían a ser como la calculadora de hoy día; un instrumento
imprescindible de cálculo. Las amortizaciones de los créditos en los bancos, por ejemplo, se
calculaban a partir de tablas elementales hasta que se produjo la aplicación de la informática en el
tercer tercio del siglo XX.

A finales de la Edad Media la discusión entre los partidarios del ábaco y los partidarios del
algoritmo se decantó claramente por estos últimos.8 De especial importancia es la creación 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 burguesía
renacentista.

El desarrollo del álgebra (con la introducción de un sistema de símbolos por un lado, y la

resolución de problemas por medio de las ecuaciones) vino de la mano de los grandes
matemáticos de la época renacentista como Tartaglia, Stevin, Cardano o Vieta y fue esencial para
el planteamiento y solución de los más diversos problemas que surgieron en la época, que dieron
como consecuencia los grandes descubrimientos que hicieron posible el progreso científico que
surgiría en el siglo XVII.10

Siglos XVII y XVIII[editar]

Página del artículo de Leibniz "Explication de l'Arithmétique Binaire", 1703/1705.

En el siglo XVII el cálculo conoció un enorme desarrollo siendo los autores más destacados
Descartes,11 Pascal12 y, finalmente, Leibniz y Newton13 con el cálculo infinitesimal que en muchas
ocasiones ha recibido simplemente, por absorción, el nombre de cálculo.

El concepto de cálculo formal en el sentido de algoritmo reglado para el desarrollo de un

razonamiento y su aplicación al mundo de lo real14 adquiere una importancia y desarrollo enorme
respondiendo a una necesidad de establecer relaciones matemáticas entre diversas medidas,
esencial para el progreso de la ciencia física que, debido a esto, es tomada como nuevo modelo de
Ciencia frente a la especulación tradicional filosófica, por el rigor y seguridad que ofrece el cálculo
matemático. Cambia así el sentido tradicional de la Física como filosofía 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 cálculo permite establecer modelos sobre la realidad
física, cuya comprobación experimental15 supone la confirmación de la teoría como sistema. Es el
momento de la consolidación del llamado método científico cuyo mejor exponente es en aquel
momento la Teoría de la Gravitación Universal y las leyes de la Mecánica de Newton.16
Siglos XIX y XX[editar]

George Boole.

Durante el siglo XIX y XX el desarrollo científico y la creación de modelos teóricos fundados en

sistemas de cálculo aplicables tanto en mecánica como en electromagnetismo y radioactividad,
etc. así como en astronomía fue impresionante. Las geometrías no euclidianas encuentran
aplicación en modelos teóricos de astronomía y física. El mundo deja de ser un conjunto de
infinitas partículas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de

configuración o espacio de fases de dimensiones que físicamente se hacen consistentes en la

teoría de la relatividad, la mecánica cuántica, la teoría de cuerdas etc. que cambia por completo la
imagen del mundo físico.

La lógica asimismo sufrió una transformación radical.17 La formalización simbólica fue capaz de
integrar las leyes lógicas en un cálculo matemático, hasta el punto que la distinción entre
razonamiento lógico-formal y cálculo matemático viene a considerarse como meramente utilitaria.

En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de formalización de
todo el sistema matemático, Frege, y de matematización de la lógica, (Bolzano, Boole, Whitehead,
Russell) fue posible la generalización del concepto como cálculo lógico. Se lograron métodos muy
potentes de cálculo, sobre todo a partir de la posibilidad de tratar como “objeto” conjuntos de
infinitos elementos, dando lugar a los números transfinitos de Cantor.

Mediante el cálculo la lógica encuentra nuevos desarrollos como lógicas modales y lógicas
polivalentes.

Los intentos de axiomatizar el cálculo como cálculo perfecto por parte de Hilbert y Poincaré,
llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.) a nuevos intentos de
axiomatización, Axiomas de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidad de
un sistema de cálculo perfecto: consistente, decidible y completo en 1931, de grandes
implicaciones lógicas, matemáticas y científicas.
Actualidad[editar]

En la actualidad, el cálculo en su sentido más general, en tanto que cálculo lógico interpretado
matemáticamente como sistema binario, y físicamente hecho material mediante la lógica de
circuitos electrónicos, ha adquirido una dimensión y desarrollo impresionante por la potencia de
cálculo conseguida por los ordenadores, propiamente máquinas computadoras. La capacidad y
velocidad de cálculo de estas máquinas hace lo que humanamente sería imposible: millones de
operaciones por segundo.

El cálculo así utilizado se convierte en un instrumento fundamental de la investigación científica

por las posibilidades que ofrece para la modelización de las teorías científicas, adquiriendo
especial relevancia en ello el cálculo numérico.

Cálculo infinitesimal: breve reseña[editar]

Artículo principal: Cálculo infinitesimal

El cálculo infinitesimal, llamado por brevedad "cálculo", tiene su origen en la antigua geometría
griega. Demócrito calculó el volumen de pirámides y conos considerándolos formados por un
número infinito de secciones de grosor infinitesimal (infinitamente pequeño). Eudoxo y
Arquímedes utilizaron el "método de agotamiento" o exhaución para encontrar el área de un
círculo con la exactitud finita requerida mediante el uso de polígonos regulares inscritos de cada
vez mayor número de lados. En el periodo tardío de Grecia, el neoplatónico Pappus de Alejandría
hizo contribuciones sobresalientes en este ámbito. Sin embargo, las dificultades para trabajar con
números irracionales y las paradojas de Zenón de Elea impidieron formular una teoría sistemática
del cálculo 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 (integración y derivación en términos
modernos). Fermat e Isaac Barrow tenían la certeza de que ambos cálculos 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 cálculo. Leibniz es el creador del simbolismo de la derivada, diferencial y
la s estilizada para la integración, en vez de la I de Bernoulli. Usó el nombre de cálculo diferencial y
el nombre de cálculo integral propuso Juan Bernoulli, que sustituyó al nombre de 'cálculo
sumatorio' de Leibniz. La simbología de Leibniz impulsó el avance del calculus en Europa.18
continental

El descubrimiento de Newton, a partir de su teoría de la gravitación universal, fue anterior al de

Leibniz, pero el retraso en su publicación aún provoca controversias sobre quién de los dos fue el
primero. Newton utilizó el cálculo en mecánica en el marco de su tratado "Principios matemáticos
de filosofía natural", obra científica por excelencia, llamando a su método de "fluxiones". Leibniz
utilizó el cálculo en el problema de la tangente a una curva en un punto, como límite de
aproximaciones sucesivas, dando un carácter más filosófico a su discurso. Sin embargo, terminó
por adoptarse la notación de Leibniz por su versatilidad.

En el siglo XVIII aumentó considerablemente el número de aplicaciones del cálculo, pero el uso
impreciso de las cantidades infinitas e infinitesimales, así como la intuición geométrica, causaban
todavía confusión y duda sobre sus fundamentos. De hecho, la noción de límite, central en el
estudio del cálculo, era aún vaga e imprecisa en ese entonces. Uno de sus críticos más notables
fue el filósofo George Berkeley.

En el siglo XIX el trabajo de los analistas matemáticos sustituyeron esas vaguedades por
fundamentos sólidos basados en cantidades finitas: Bolzano y Cauchy definieron con precisión los
conceptos de límite en términos de épsilon_delta y de derivada, Cauchy y Riemann hicieron lo
propio con las integrales, y Dedekind y Weierstrass con los números reales. Fue el periodo de la
fundamentación del cálculo. Por ejemplo, se supo que las funciones diferenciables son continuas y
que las funciones continuas son integrables, aunque los recíprocos son falsos. En el siglo XX, el
análisis no convencional, legitimó el uso de los infinitesimales, al mismo tiempo que la aparición
de las Computadoras ha incrementado las aplicaciones y velocidad del cálculo.

Actualmente, el cálculo infinitesimal tiene un doble aspecto: por un lado, se ha consolidado su

carácter disciplinario en la formación 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 científica que ha
desembocado en ámbitos tan especializados como el cálculo fraccional, la teoría de funciones
analíticas de variable compleja o el análisis matemático. El éxito del cálculo ha sido extendido con
el tiempo a las ecuaciones diferenciales, al cálculo de vectores, al cálculo de variaciones, al análisis
complejo y a las topología algebraica y topología diferencial entre muchas otras ramas.

El desarrollo y uso del cálculo ha tenido efectos muy importantes en casi todas las áreas de la vida
moderna: es fundamento para el cálculo numérico aplicado en casi todos los campos técnicos y/o
científicos cuya principal característica es la continuidad de sus elementos, en especial en la física.
Prácticamente todos los desarrollos técnicos modernos como la construcción, aviación,
transporte, meteorología, etc. hacen uso del cálculo. Muchas fórmulas algebraicas se usan hoy en
día en balística, calefacción, refrigeración, etc.

Como complemento del cálculo, en relación a sistemas teóricos o físicos cuyos elementos carecen
de continuidad, se ha desarrollado una rama especial conocida como Matemática discreta.

Cálculo lógico[editar]

Artículo principal: Cálculo lógico

El cálculo lógico es un sistema de reglas de inferencia o deducción de un enunciado a partir de

otro u otros. El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas de
inferencia; su propósito es poder deducir algorítmicamente proposiciones lógicas verdaderas a
partir de dichos axiomas. La inferencia es una operación lógica que consiste en obtener una
proposición lógica como conclusión a partir de otra(s) (premisas) mediante la aplicación de reglas
de inferencia.19

Informalmente interpretamos que alguien infiere -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 cálculo lógico no es necesario acudir al concepto de verdad, para construir el cálculo
lógico.
Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo.
Partimos de enunciados empíricos -supuestamente verdaderos y válidos- para concluir en otro
enunciado que se deriva de aquellos, según las leyes de la lógica natural.20

La lógica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes, fundamentarlas y
convertirlas en las reglas que permiten la transformación de unos enunciados -premisas- en otros -
conclusiones- con objeto de convertir las operaciones en un algoritmo riguroso y eficaz, que
garantiza que dada la verdad de las premisas, la conclusión es necesariamente verdadera.

Al aplicar las reglas de un cálculo lógico a los enunciados de un argumento mediante la

simbolización adecuada como fórmulas o expresiones bien formadas (EBF) del cálculo,
construimos un modelo o sistema deductivo. En ese contexto, las reglas de formación de fórmulas
definen la sintaxis de un lenguaje formal de símbolos no interpretados, es decir, sin significado
alguno; y las reglas de transformación del sistema permiten transformar dichas expresiones en
otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria
el mismo valor de verdad. Dichas transformaciones son meramente tautologías.

Un lenguaje formal que sirve de base para el cálculo lógico está formado por varias clases de
entidades:

1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por

enumeración, o definidos por una propiedad tal que permita discernir sin duda alguna
cuándo un elemento pertenece o no pertenece al sistema.

2. Un conjunto de reglas de formación de “expresiones bien formadas” (EBF) que permitan

en todo momento establecer, sin forma de duda, cuándo una expresión pertenece al
sistema y cuándo no.

3. Un conjunto de reglas de transformación de expresiones, mediante las cuales partiendo

de una expresión bien formada del cálculo podremos obtener una nueva expresión
equivalente y bien formada que pertenece al cálculo.

Cuando en un cálculo así definido se establecen algunas expresiones determinadas como verdades
primitivas o axiomas, decimos que es un sistema formal axiomático. Un cálculo así definido si
cumple al mismo tiempo estas tres condiciones decimos que es un Cálculo Perfecto:

1. Es consistente: No es posible que dada una expresión bien formada del sistema, ƒ, y su
negación, no – ƒ, sean ambas teoremas del sistema. No puede haber contradicción entre
las expresiones del sistema.

2. Decidible: Dada cualquier expresión bien formada del sistema podemos encontrar un
método que nos permita decidir mediante una serie finita de operaciones si dicha
expresión es o no es un teorema del sistema.

3. Completo: Cuando dada cualquier expresión bien formada del sistema, podemos
establecer la demostración matemática o prueba de que es un teorema del sistema.

La misma lógica-matemática ha demostrado que tal sistema de cálculo perfecto "no es posible"
(véase el Teorema de Gödel).
Sistematización de un cálculo de deducción natural[editar]

Reglas de formación de fórmulas[editar]

I. Una letra enunciativa (con o sin subíndice) es una EBF.

II. Si A es una EBF, ¬ A también lo es.

III. Si A es una EBF y B también, entonces A ∧ B; A ∨ B; A → B; A ↔ B, también lo son.

IV. Ninguna expresión es una fórmula del Cálculo sino en virtud de I, II, III.

Notas:

 A, B,... con mayúsculas están utilizadas como metalenguaje en el que cada variable
expresa cualquier proposición, atómica (p,q,r,s....) o molecular (p ∧ q), (p ∨ q)...

 A, B,... son símbolos que significan variables; ¬, ∧, ∨, →, ↔, son símbolos constantes.

 Existen diversas formas de simbolización. Utilizamos aquí la de uso más frecuente en

España.21

Reglas de transformación de fórmulas[editar]

1) Regla de sustitución (R.T.1):

Dada una tesis EBF del cálculo, en la que aparecen variables de enunciados, el resultado de
sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del cálculo, será
también una tesis EBF del cálculo. Y ello con una única restricción, si bien muy importante: cada
variable ha de ser sustituida siempre que aparece y siempre por el mismo sustituto.

Veamos el ejemplo:

1 [(p ∧ q) ∨ r] → t ∨ s Transformación

2 A∨r→B Donde A = (p ∧ q); y donde B = (t ∨ s)

3 C→B Donde C = A ∨ r

O viceversa

1 C→B Transformación

2 A∨r→B Donde A ∨ r = C
 3 [(p ∧ q) ∨ r] → t ∨ s Donde (p ∧ q) = A; y donde (t ∨ s) = B

2) Regla de separación (R.T.2):

Si X es una tesis EBF del sistema y lo es también X → Y, entonces Y es una tesis EBF del sistema.

Esquemas de inferencia[editar]

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 conclusión Y con valor de
verdad V, siempre y cuando dicho esquema de inferencia sea una ley lógica, es decir su tabla de
verdad nos muestre que es una tautología.

Por la regla de separación podremos concluir Y, de forma independiente como verdad.

Dada la poca operatividad de las tablas de verdad, el cálculo se construye como una cadena
deductiva aplicando a las premisas o a los teoremas deducidos las leyes lógicas utilizadas como
reglas de transformación, como se expone en cálculo lógico.

El lenguaje natural como modelo de un cálculo lógico[editar]

Naturalmente el cálculo lógico es útil porque puede tener aplicaciones, pero ¿en qué consisten o
cómo 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

Para ello es necesario someter al lenguaje natural a un proceso de formalización de tal forma que
podamos reducir las expresiones lingüísticas del lenguaje natural a EBF de un cálculo mediante
reglas estrictas manteniendo el sentido de verdad lógica de dichas expresiones del lenguaje
natural. Esto es lo que se expone en cálculo lógico.

Las diversas formas en que tratemos las expresiones lingüísticas formalizadas como proposiciones
lógicas dan lugar a sistemas diversos de formalización y cálculo:

 Cálculo proposicional o cálculo de enunciados

Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o
falsedad como una proposición atómica, como un todo sin analizar.

 Cálculo como lógica de clases

Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o
falsedad como resultado del análisis de la oración como una relación de individuos o posibles
individuos que poseen o no poseen una propiedad común determinada como pertenecientes o no
pertenecientes a una clase natural o a un conjunto como individuos.
  Cálculo de predicados o cuantificacional

Cuando se toma la oración simple significativa del lenguaje natural con posible valor de verdad o
falsedad como resultado del análisis de la misma de forma que una posible función predicativa (P),
se predica de unos posibles sujetos variables (x) [tomados en toda su posible extensión: (Todos los
x); o referente a algunos indeterminados: (algunos x)], o de una constante individual existente (a).

 Cálculo como lógica de relaciones

Cuando se toma la oración simple significativa con posible valor de verdad propio, verdado o falso,
como resultado del análisis de la oración como una relación R que se establece entre un sujeto y
un predicado.

La simbolización y formación de EBFs en cada uno de esos cálculos, así como las reglas de cálculo
se trata en cálculo lógico.

Véase también[editar]

 Aritmética  Cifra (matemática)  Numeración

egipcia
 Cálculo lógico  Puerta lógica
 Numeración griega
 Algoritmo de Euclides  Tabla de valores de verdad
 Numeración
 Lenguaje formalizado  Teoría de conjuntos
romana
 Lenguaje formal  Historia del hardware de
 Acarreo
computador
 Lógica proposicional
 Potenciación
 Regla de cálculo
 Lógica de primer orden
 Radicación
 Sistema de numeración
 Sistema formal
 Logaritmación
 Teoría de números
 Silogismo
 Álgebra
 Matemáticas en el Antiguo
 Cálculo de la raíz
Egipto  Álgebra elemental
cuadrada
 Modelo científico

Referencias[editar]

1. ↑ La palabra castellana cálculo se deriva del latín calculus que significa piedrecita,
ya que se utilizaban guijarros para auxiliarse en la resolución de los problemas de
cálculo aritmético, para contar y realizar las operaciones aritméticas elementales.
En medicina las piedras de la vesícula o del riñón se llaman "cálculos"

2. ↑ Calinger, Ronald (1999). A Contextual History of Mathematics. Prentice-Hall.

p. 150. ISBN 0-02-318285-7. «Shortly after Euclid, compiler of the definitive
textbook, came Archimedes of Syracuse (ca. 287–212 B.C.), the most original and
profound mathematician of antiquity.»
3. ↑ «Archimedes of Syracuse». The MacTutor History of Mathematics archive.
enero de 1999. Consultado el 9 de junio de 2008.

4. ↑ O'Connor, J.J. and Robertson, E.F. (febrero de 1996). «A history of calculus».

University of St Andrews. Consultado el 7 de agosto de 2007.

5. ↑ la palabra algoritmo se introdujo en matemáticas en honor a este matemático

musulmán, natural de Jhiva (Uzbekistán actual), vivió en Bagdad (Irak actual).

6. ↑ Muy interesante la descripción de este proceso en Cifra (matemática)

7. ↑ Ver lógica empírica

8. ↑ Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca

Pacioli; Summa de Arithmetica proportioni et porportionalita, 1494. Muy
interesante y divertida exposición de esta guerra en Cifra (matemática)

9. ↑ Sombart W.: El burgués:Contribución a la historia espiritual del hombre

económico moderno. 1979. Madrid. Alianza

10. ↑ La brújula y las grandes rutas marítimas, con el descubrimiento de América; la

transformación de la guerra por la aplicación de la pólvora, que suscita el interés
por el estudio del movimiento de los proyectiles Tartaglia;la aceptación del
préstamo con interés y la creación de las sociedades por acciones que iniciaron el
primer gran capitalismo; la nuevas tablas astronómicas 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 extensión, que convierte el mundo material en un inmenso
mecanismo, teoría mecanicista, perfectamente calculable según un orden
matemático que surge del análisis concebido como método de investigación.

12. ↑ Cálculo de cónicas, estudio mecánico de las presiones, principio de Pascal de

enorme importancia en la hidroestática, y finalmente en el cálculo de
probabilidades.

13. ↑ Con su famosa polémica acerca de la invención del cálculo infinitesimal de tanta
importancia y que parece comprobado ser producto independiente de cada uno
de ellos

14. ↑ Cálculo de movimientos como el de caída libre de los graves, Galileo,;

trayectoria de los planetas, Kepler; trayectoria de proyectiles para la artillería;
medidas astronómicas y geográficas; presiones, Torricelli y Pascal; y todas las
aplicaciones prácticas de estos cálculos para la práctica de la navegación y la
naciente industria: bombas de vacío, prensa hidráulica, electricidad, magnetismo
etc.

15. ↑ Véase en Lógica empírica su aplicación por Galileo al movimiento de caída libre
de los graves.
 16. ↑ El modelo de Newton se basa en una geometría analítica espacial de tres
dimensiones inmutables como espacio absoluto y una sucesión constante e
inmutable en una dirección de tiempo absoluto en los que una infinidad de
partículas materiales masas se mueven según un principio universal la Gravitación

Universal , y unas leyes dinámicas que rigen el movimiento: Principio de

inercia; Principio de acción y reacción; y Principio fundamental de la dinámica,

17. ↑ La Lógica de Aristóteles se mantuvo prácticamente como tal a lo largo de los

siglos. Kant, a finales del siglo XVIII, opinaba que la Lógica aristotélica no había
sufrido modificaciones sustanciales durante tanto tiempo por tratarse de una
ciencia a priori y analítica y, por tanto, constituirse como un lenguaje formal;
consideraba que había dado de sí todo lo que podía ofrecer. Kant. Prólogo a la
Crítica de la Razón Pura.

18. ↑ Hofmann: Historia de la mátemática

19. ↑ La deducción suele definirse como una inferencia en la que a partir de verdades
universales se concluye verdades particulares. Este criterio no se acomoda bien a
la lógica actual, pues se prefiere la idea de inferencia como transformación
conforme las reglas establecidas; en cualquier caso dichas reglas, que
necesariamente se basan en tautologías, pueden considerarse como principios
universales o generales, sobre los cuales se construye una deducción; por ello la
distinción no deja de ser una matización técnica de poca importancia.

20. ↑ La habilidad peculiar del Sr. Holmes

21. ↑ Desgraciadamente la representación gráfica de los símbolos no está

normalizada, lo que lleva a veces a ciertas dificultades de interpretación.

22. ↑ Cuando en un Cálculo C, se establece una "correspondencia" de cada símbolo

con elementos determinados individuales distinguibles entre sí, de un Universo L,
real, (tal universo L no es un conjunto vacío, por las mismas condiciones que
hemos establecido) ENTONCES se dice que L es un MODELO de C.

Bibliografía[editar]

 BERGADÁ, D. (1979). La matemática renacentista. Historia de la Ciencia.

BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.

 BLACKBURN, S. (2001). Enciclopedia Oxford de Filosofía. Madrid. Editorial Tecnos. ISBN 84-
309-3699-8.

 BUNGE, M. (1972). Teoría y realidad. Barcelona. Ariel. ISBN 84-344-0725-6.

 COPI, IRVING M. (1982). LÓGICA SIMBÓLICA. México 22 D.F: EDITORIAL CONTINENTAL S.A.
DE C.V. ISBN 968-26-0134-7.
 DEAÑO, ALFREDO (1974). INTRODUCCIÓN A LA LÓGICA FORMAL. MADRID: ALIANZA
EDITORIAL. ISBN 84-206-2064-5.

 GARRIDO, M. (1974). LÓGICA SIMBÓLICA. MADRID. EDITORIAL TECNOS S.A. ISBN 84-309-
0537-5.

 HONDERICH, T. (Editor) (2001). Enciclopedia Oxford de Filosofía. Trd. Carmen García

Trevijano. Madrid. Editorial Tecnos. ISBN 84-309-3699-8.

 MITCHELL, D. (1968). INTRODUCCIÓN A LA LÓGICA. BARCELONA: EDITORIAL LABOR.

 NAVARRO, C. Y NADAL, B. (1982). Aspectos de la Matemática en el siglo XX. Historia de la

Ciencia. BARCELONA.ED.PLANETA. ISBN 81-320-0840-0.

 PERELLÓ I VALLS, C. (1979). El cálculo en los siglos XVII y XVIII. Historia de la Ciencia.
BARCELONA.ED.PLANETA. ISBN 84-320-0842-7.

 QUINE, W.V. (1981). FILOSOFÍA DE LA LÓGICA. MADRID: ALIANZA EDITORIAL. ISBN 84-206-
2043-2.

 STEWART I. (1977). Conceptos de matemática moderna. Madrid. Alianza Universidad. ISBN

84-206-2187-0.

 Tablas de Aritmética. Ed.EDIVAS S.L. Ref. 25. Zamudio. España.

 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 edición. McGRAW-HILL/ INTERAMERICANA DE ESPAÑA, S.A.
ISBN 84-481-1768-9.