Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Anuario de Filosofía PDF
Anuario de Filosofía PDF
A
1
... A
n
A.
28
Vase D. Hilbert y Wilhelm Ackermann, Principles of Mathematical Logic. Trad. de Lewis M.
Hammond. Nueva York, Chelsea Publishing Company, 1950, p. 112.
29
D. Hilbert, Problmes de Foundation des Mathmatiques, en op. cit., p. 184.
CARLOS TORRES ALCARAZ 41
La confanza de Hilbert con relacin a estas cuestiones es un muestra del optimismo
que siempre lo caracteriz, surgido en este caso de una ilusin: la de estar en posesin
de una lingua philosophica (el lenguaje de la lgica de predicados) y de un calculus
racionator (el clculo de predicados) como aquellos soados por Leibniz.
30
Algunos resultados adversos
En lo que sigue nos limitaremos a algunos resultados debidos a Kurt Gdel, Alonso
Church y Alan Turing relacionados con el tema.
Si bien Gdel demostr en 1929 el teorema de completud para el clculo de predi-
cados de primer orden,
31
un resultado en armona con el programa de Hilbert, en 1931
asombr al mundo matemtico con dos hallazgos sorprendentes: la completud no se
puede alcanzar en el dominio de la aritmtica; ninguna teora consistente que contenga
una formalizacin de la aritmtica recursiva puede probar su propia consistencia.
32
Tras los teoremas de Gdel, la posibilidad de zanjar el problema de la resolubilidad
por medio de un sistema completo cay en desgracia. En cuanto al problema de la
decisin, la esperanza de una solucin favorable se desvaneci gradualmente hasta que
al fnal cedi ante la certeza de que era inalcanzable. Dicha certeza se apoya en dos
resultados negativos probados por Church y Turing en 1936,
33
quienes, tras aclarar la
nocin de procedimiento efectivo (necesaria para probar tales resultados) demostra-
ron que el problema de la decisin es irresoluble para la lgica de predicados, as como
para cualquier sistema S que contenga una formalizacin de la aritmtica recursiva.
34
30
En un clebre escrito, Leibniz se refere a la creacin de una lingua philosophica y, sobre de ella,
de un calculus racionator que constituira un forma cuasi-mecnica de extraer conclusiones, imaginan-
do que, una vez en posesin de l, quienes quisieran resolver cualquier controversia flosfca slo
tendran que tomar un lpiz y decir calculemos!
31
Podemos enunciar este resultado como sigue: toda frmula vlida del lenguaje del clculo de
predicados es derivable en dicho clculo, es decir, el clculo de predicados es completo respecto al
conjunto de frmulas vlidas (completud semntica).
32
Podemos enunciar estos resultados como sigue: Sea S un sistema formal que contiene una forma-
lizacin de la aritmtica recursiva. Si S es consistente, entonces: G1 (primer teorema de incompletud).
Se pueden hallar enunciados aritmticos simples A pertenecientes al lenguaje de S tales que ni A ni
su negacin A son demostrables en el sistema; G2 (segundo teorema de incompletud). La frmula C
que expresa la consistencia de S no es derivable en S, es decir, el sistema S no puede probar su propia
consistencia. Posteriores investigaciones mostraron que las frmulas A y C en G1 y G2 son equiva-
lentes a frmulas del tipo "
x P(
a,
x) = 0, donde
a y