Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CALCULO
CALCULO
De la Antigüedad[editar]
Reconstrucción de un ábaco romano.
Un ábaco moderno.
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
George Boole.
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 lógico[editar]
Artículo principal: Cálculo lógico
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).
3 C → B Donde C = A ∨ r
O viceversa
1 C → B Transformación
2 A ∨ r → B Donde A ∨ r = C
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.