El calculo

Siglos XIX y XX
La lógica asimismo sufrió una transformación radical.14 La formalización simbólica fue capaz de integrar las leyes lógicas en un cálculo matemático, hasta el punto que ladistinció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 deformalizació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. Selograron 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.
Losintentos 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 deaxiomatizació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
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 hechomaterial mediante la lógica de circuitos eléctrónicos, ha adquirido una dimensión y desarrollo impresionante por la potencia de cálculo conseguida por los ordenadores, propiamente máquinascomputadoras. 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 uninstrumento 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.