Concepto General Del Calculo

Concepto general de cálculo

El cálculo es un sistema de símbolos no interpretados, es decir, sin significado alguno, en el que se establecen mediante reglas estrictas, las relaciones sintácticas entre los símbolos para la construcción de fórmulas bien formadas (fbf), así como las reglas que permiten transformar dichas expresiones en otras equivalentes; entendiendo por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de verdad. Dichas transformaciones son meramente tautologías.

Un cálculo consiste en:

1. Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por enumeración, o definidos por una propiedad tal que permita discernir sin duda alguna cuándo un elemento pertenece o no pertenece al sistema.

2. Un conjunto de reglas de formación de “expresiones bien formadas”(EBFs) que permitan en todo momento establecer, sin forma de duda, cuándo una expresión pertenece al sistema y cuándo no.

3. Un conjunto de reglas de transformación de expresiones, mediante las cuales partiendo de una expresión bien formada del cálculo podremos obtener una nueva expresión equivalente y bien formada que pertenece al cálculo.

Cuando en un cálculo así definido se establecen algunas expresiones determinadas como verdades primitivas o axiomas, decimos que es un sistema formal axiomático.

Un cálculo así definido si cumple al mismo tiempo estas tres condiciones decimos que es un Cálculo Perfecto:

1. Es consistente: No es posible que dada una expresión bien formada del sistema, f, y su negación, no − f, 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).

...