Los antecedentes de procedimiento de clculo, como algoritmo, se encuentran en los que
utilizaron los gemetras griegos, Eudoxo en particular, en el sentido de llegar por aproximacin de restos cada vez ms pequeos, a una medida de figuras curvas; as como Diofanto precursor del lgebra. 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 sera completado ms tarde por los estoicos, los megricos, la Escolstica. El algoritmo actual de clculo aritmtico como universal es fruto de un largo proceso histrico a partir de las aportaciones de Muhammad ibn al-Juarismi en el siglo IX. Se introdujo el 0, ya de antiguo conocido en la India y se construye definitivamente el sistema decimal de diez cifras con valor posicional de las mismas, introducido en Europa por los rabes. La escritura antigua de nmeros en Babilonia, en Egipto, en Grecia o en Roma, haca muy difcil un procedimiento mecnico de clculo. 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. 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 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 finales de la Edad Media la discusin entre los partidarios del baco y los partidarios del algoritmo se decant claramente por estos ltimos. De especial importancia es la creacin del sistema contable por partida doble inventado por Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento. Renacimiento El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, y 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 renacentistas como Tartaglia, Stvin, 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 cientfico que surgir en el siglo XVII. Siglos XVII y XVIII En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms destacados Descartes, y finalmente, Leibniz y Newton con el clculo infinitesimal 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 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 filosfica, por el rigor y seguridad que ofrece el clculo matemtico. Cambia as el sentido tradicional de la Fsica como Ciencia 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 clculo permite establecer modelos sobre la realidad fsica, cuya comprobacin experimental supone la confirmacin de la teora como sistema. Es el momento de la consolidacin del llamado mtodo cientfico cuyo mejor exponente es en aquel momento la Teora de la Gravitacin Universal y las leyes de la Mecnica de Newton. Siglos XIX y XX Durante el siglo XIX y XX el desarrollo cientfico 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 infinitas partculas que se mueven en un espacio-tiempo absoluto y se convierte en un espacio de configuracin o 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.[14] 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 infinitos elementos, dando lugar a los nmeros transfinitos de Cantor.Mediante el clculo la lgica encuentra nuevos desarrollos como lgicas modales y lgicas polivalentes.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 Zermelo- Fraenkel 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 cientficas. Actualidad 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 elctrnicos, ha adquirido una dimensin y desarrollo impresionante por la potencia de clculo conseguida por los ordenadores, propiamente mquinas computadoras. La capacidad y velocidad de clculo de estas mquinas hace lo que humanamente sera imposible: millones de operaciones por segundo.El clculo as utilizado se convierte en un instrumento fundamental de la investigacin cientfica por las posibilidades que ofrece para la modelizacin de las teoras cientficas, adquiriendo especial relevancia en ello el clculo numrico.