Los descubrimientos de Gödel afectaron a los mismos cimientos sobre los que se habían construido las Matemáticas de los últimos veinte siglos. Pero no fue una obra destructiva, sino que dio nacimiento a la búsqueda de nuevas alternativas y, especialmente, a originar un serio debate sobre el concepto de “verdad”.
El lenguaje de los signos.
En un sistema lógico sencillo, como pueda ser la Lógica Simbólica de Enunciados, existen unos símbolos, llamados “conectivas lógicas”, que son los que actúan sobre los enunciados. Por ejemplo, el signo
significa la negación de un enunciado. Si el enunciado es A: “mañana iré al cine”, el enunciado
A es “mañana no iré al cine”. Otro ejemplo de conectiva es
, que significa “y” (como la conjunción copulativa). Si se tiene el enunciado B: “mañana me quedaré en casa”, la conectiva
actúa de la siguiente forma: A![]()
B: “mañana iré al cine y no me quedaré en casa”. Todos estos símbolos se rigen mediante unas reglas que se establecen en las llamadas Tablas de Verdad, que se aplican a los dos valores V y F, verdad o falso. (más…)