Personajes importantes del Cálculo

Zenón de Elea, planteó una serie de problemas que estaban basados en el infinito. Por ejemplo, argumentó que el movimiento es imposible:

Si un cuerpo se mueve de A a B entonces, antes de llegar a B pasa por el punto medio, B₁, de AB. Ahora bien, para llegar a B₁ debe primero pasar por el punto medio B₂ de AB₁. Continuando con este argumento se puede ver que A debe moverse a través de un número infinito de distancias y por lo tanto no puede moverse.

Leucippo, Demócrito y Antifon, hicieron contribuciones al método exhaustivo griego al que Eudoxo dio una base científica alrededor de 370 a. C. El método se llama exhaustivo ya que considera las áreas medidas como expandiéndolas de tal manera que cubran más y más del área requerida

Arquímedes, hizo uno de las contribuciones griegas más significativas. Su primer avance importante fue demostrar que el área de un segmento de parábola es ⁴/₃ del área del triángulo con los mismos base y vértice y es igual a ²/₃ del área del paralelogramo circunscrito. Arquímedes construyó una secuencia infinita de triángulos empezando con uno de área A y añadiendo continuamente más triángulos entre los existentes y la parábola para obtener áreas

A, A + A/₄, A + A/₄ + A/₁₆, A + A/₄ + A/₁₆ + A/₆₄, ...

El área del segmento de la parábola es, por lo tanto:

A(1 + ¹/₄ + ¹/₄² + ¹/₄³ + ...) = (⁴/₃)A.

Este es el primer ejemplo conocido de suma de una serie infinita. Arquímedes usó el método exhaustivo para encontrar la aproximación al área de un círculo. Esto, por supuesto, es un ejemplo temprano de integración que llevó a valores aproximados de π.

Johannes Kepler, en su trabajo sobre movimientos planetarios, tenía que encontrar el área de sectores de una elipse. Su método consistía en pensar en las áreas como sumas de líneas, pero Kepler tenía poco tiempo para el rigor griego y más bien tuvo suerte de obtener la respuesta correcta ya que cometió dos errores que se cancelaron uno al otro en su trabajo.

Fermat, Roberval y Cavalieri, Este último llegó a su 'método de los indivisibles'. No fue riguroso en su acercamiento y es difícil ver con claridad cómo se le ocurrió su método. Al parecer Cavalieri pensó en un área como formada por componentes que eran líneas y luego sumó su número infinito de 'indivisibles'. Demostró, usando estos métodos, que la integral de xⁿ entre 0 y a era aⁿ⁺¹/(n+1) mostrando el resultado para ciertos valores de n e infiriendo el resultado general.

Gilles de Roberval, consideró problemas del mismo tipo pero fue mucho más riguroso que Cavalieri. Roberval se fijó en el área entre una curva y una línea como formada por un número infinito de rectángulos infinitamente delgados. Aplicó esto a la integral de x^m entre 0 y 1 y demostró que tenía un valor aproximado de

(0^m + 1^m + 2^m +...+ (n-1) ^m)/n^m+1.

Roberval entonces afirmó que esto tendía a 1/(m+1) cuando n tiende a infinito, calculando así el área.

Isaac Newton, escribió un tratado sobre fluxiones en octubre de 1666. Esta obra no sería publicada en ese momento pero fue revisada por muchos matemáticos y tuvo gran influencia sobre la dirección que tomaría el cálculo. Newton pensó en una partícula que dibuja una curva con dos líneas que se mueven que eran las coordenadas. La velocidad horizontal x' y la velocidad vertical y' eran las fluxiones de x y y asociadas con el flujo del tiempo. Los fluentes o cantidades flotantes eran x y y mismas. Con esta notación de fluxión, y' / x' era la tangente a ƒ( x,y) = 0.
En su tratado de 1666, Newton discute el problema inverso: encontrar y dada la relación entre x y y'/x'. Por lo tanto la pendiente de la tangente estaba dada para cada x y cuando y'/x' = ƒ(x) entonces Newton resuelve el problema mediante la antidiferenciación. También calculó áreas mediante este método y su obra contiene el primer enunciado claro del Teorema Fundamental del Cálculo.
Newton tuvo problemas para publicar su obra matemática. Barrow tuvo algo de culpa ya que el editor de la obra de Barrow había quebrado y después de esto ¡otros tenían temor de publicar obras matemáticas! La obra de Newton sobre Análisis con series infinitas fue escrita en 1669 y circuló como manuscrito. No fue publicada sino hasta 1711. Se modo similar, su Método de fluxiones y series infinitas fue escrito en 1671 y publicado en inglés en 1736. El original en latín fue publicado mucho después.
En estas dos obras, Newton calculó la expansión en serie de sen x y cos x y la expansión de lo que en realidad es la función exponencial pero ésta función no quedaría establecida como tal hasta que Euler introdujo la notación actual e^x.
Aquí se pueden ver la Newton fue el Tractatus de Quadrarura Curvarum que escribió en 1693 pero no fue publicado hasta 1704 cuando la publicó como un apéndice de su Optiks. Su trabajo contiene otro acercamiento que involucra el cálculo de límites. Newton dice:

En el tiempo en que x al fluir se convierte en x + o, la cantidad xⁿ se convierte en (x + o)ⁿ, es decir, por el método de series infinitas,
xⁿ + nox^n-1 + (nn - n)/2 oox^n-2 + ...

Al final deja que el incremento o desaparezca 'tomando límites'.

Gottfried Leibniz, aprendió mucho en un viaje por Europa en el que conoció a Huygens en París en 1672. También conoció a Hooke y a Boyle en Londres en 1673 donde compró varios libros de matemáticas, incluyendo las obras de Barrow. Leibniz sostendría una larga correspondencia con Barrow. Al volver a París, Leibniz realizó un trabajo buenísimo sobre el cálculo, pensando en los fundamentos de manera muy distinta a Newton.  Newton consideraba que las variables cambiaban con el tiempo. Leibniz pensaba que las variables x, y variaban sobre secuencias de valores infinitamente cercanos. Introdujo a dx y dy como las diferencias entre valores consecutivos de esas secuencias. Leibniz sabía que ^dx/_dy da la tangente pero no la usó como una propiedad que defina.
Para Newton, la integración consistía en encontrar flujos para una fluxión dada así que se implica el hecho de que la integración y la diferenciación son inversas. Leibniz usaba la integral como una suma, de forma muy similar a la de Cavalieri. También estaba contento con el uso de las 'infinitesimales' dx y dy mientras que Newton usaba x' y y' que eran velocidades finitas. Por supuesto que ni Leibniz ni Newton pensaban en términos de funciones, pero ambos pensaban siempre en términos de gráficas. Para Newton, el cálculo era geométrico mientras que Leibniz lo llevó hacia el análisis.
Leibniz estaba bien consciente de que encontrar una buena notación era sumamente importante y pensó en ella mucho tiempo. Newton, por otro lado, escribió más bien para él mismo y, como consecuencia, tendía a usar cualquier notación que se lo ocurriera ese día. La notación d y ∫ de Leibniz destacaban el aspecto de operadores que probaría ser importante más adelante. Para 1675, Leibniz se había quedado con la notación

∫y dy = y²/2

Escrita exactamente como se hace hoy. Sus resultados sobre cálculo integral fueron publicados en 1864 y 1686 con el nombre de calculus summatorius

Jacobo y Johann Bernoulli. El término 'cálculo integral' fue sugerido por Jacobo Bernoulli en 1690.
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.

Colin MacLaurin, En 1742 publicó Treatise of fluxions, donde introduce la llamada serie de Maclaurin, que permite evaluar funciones. También en 1742 halló la fórmula que relaciona la velocidad de rotación de una esfera autogravitante con su achatamiento. Para deducirla consideró el equilibrio hidrostático entre dos columnas de líquido, una polar y otra ecuatorial, que confluyen en el centro de la Tierra. En 1748, se publica Treatise of Algebra. En este tratado usó determinantes para resolver ecuaciones de cuatro incógnitas.

Augustin Louis Cauchy, precisa los conceptos de función, de límite y de continuidad en la forma actual, tomando el concepto de límite como punto de partida del análisis y eliminando de la idea de función toda referencia a una expresión formal, algebraica o no, para fundarla sobre la noción de correspondencia. Los conceptos aritméticos otorgan ahora rigor a los fundamentos del análisis, hasta entonces apoyados en una intuición geométrica que quedará eliminada, en especial cuando más tarde sufre un rudo golpe al demostrarse que hay funciones continuas sin derivadas, es decir: curvas sin tangente. Cauchy consideraba que las funciones en 3 dimensiones que eran derivables eran continuas, sin embargo se descubrió que era necesaria una condición de diferenciabilidad para asegurar la continuidad.