El calculo

Las dos acepciones del cálculo (la general y la restringida) arriba definidas están íntimamente ligadas. El cálculo 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 cálculo lógico natural como razonamiento es el primer cálculo elemental del ser humano. El cálculo en 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.

El siglo XVII creación del cálculo

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.

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.

En parte estos problemas fueron analizados por las mentes más brillantes de este siglo, concluyendo en la obra cumbre del filósofo-matemático alemán Gottfried Wilhelm Leibniz y el físico-matemático inglés Isaac Newton: la creación del cálculo. Se sabe que los dos trabajaron en forma casi simultánea pero sus enfoques son diferentes. Los trabajos de Newton están motivados por sus propias investigaciones físicas (de allí que tratara a las variables como "cantidades que fluyen") mientras que Leibniz conserva un carácter más geométrico y, diferenciándose de su colega, trata a la derivada como un cociente incremental, y no como una velocidad. Leibniz no habla de derivada sino de incrementos infinitamente pequeños, a los que llama diferenciales. Un incremento de x infinitamente pequeño se llama diferencial de x, y se anota dx. Lo mismo ocurre para y (con notación dy). Lo que Newton llamó fluxión, para Leibniz fue un cociente de diferenciales (dy/dx). No resulta difícil imaginar que, al no poseer en esos tiempos un concepto claro de límite y ni siquiera de función, los fundamentos de su cálculo infinitesimal son poco rigurosos. Se puede decir que el cálculo de fluxiones de Newton se basa en algunas demostraciones algebraicas poco convincentes, y las diferenciales de Leibniz se presentan como entidades extrañas que, aunque se definen, no se comportan como incrementos. Esta falta de rigor, muy alejada del carácter perfeccionista de la época griega, fue muy usual en la época post-renacentista y duramente criticada. Dos siglos pasaron hasta que las desprolijidades en los fundamentos del cálculo infinitesimal se solucionaron, y hoy aquel cálculo, potencialmente enriquecido, se muestra como uno de los más profundos hallazgos del razonamiento humano.

Resulta muy interesante la larga y lamentable polémica desatada a raíz de la prioridad en el descubrimiento. Al principio la disputa se realizó en el marco de la cortesía pero al cabo de tres décadas comenzó a ser ofensiva hasta que en el siglo XVIII se convirtieron en mutuas acusaciones de plagio. La polémica se tornó cada vez mayor y finalmente se convirtió en una rivalidad entre los matemáticos británicos y los continentales.

La discusión siguió hasta mucho después de la muerte de los dos grandes protagonistas y, afortunadamente, hoy ha perdido interés y la posteridad ha distribuido equitativamente las glorias. Hoy está claro que ambos descubrieron este cálculo en forma independiente y casi simultánea entre 1670 y 1677, aunque fueron publicados unos cuantos años más tarde.

La difusión de las nuevas ideas fue muy lenta y al principio sus aplicaciones escasas. Los nuevos métodos tuvieron cada vez más éxito y permitieron resolver con facilidad muchos problemas. Los nuevos logros fueron sometidos a severas críticas, la justificación y las explicaciones lógicas y rigurosas de los procedimientos empleados no se dieron hasta avanzado el siglo XIX, cuando aparecieron otros matemáticos, más preocupados por la presentación final de los métodos que por su utilización en la resolución de problemas concretos.

El siglo XVIII

Durante buena parte del siglo 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 algebraico y basado 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.

El siglo XIX

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.

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).

Siglo XX y nuestros días

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

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 abstractas encuentra aplicación.