Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Y LOS
FUNDAMENTOS
DE LA
MATEMTICA
Para Hilbert, todo
problema determinado
en Matemticas admite
una respuesta, bien
mediante una prueba
rigurosa de su solucin o
bien con la demostracin
de la imposibilidad de
la misma, porque en
Matemticas no existe el
ignorabimus.
80
Construccin de
tringulo equiltero.
Imagen cedida por el autor.
Hilbert no solamente
resuelve problemas,
sino que abre
nuevos campos
de investigacin
hasta entonces
insospechados.
1.
Durante mucho tiempo, Los Elementos se consideraron el paradigma del rigor en Matemticas. Sin embargo, poco a poco
se empezaron a notar algunos defectos en el majestuoso edi-
vrtice del tringulo buscado (vase la figura). Pero por qu las dos circunfe-
ta de esas nociones. El sistema de axiomas no determina de manera nica los objetos considerados. Cada
conjunto concreto de objetos matemticos que verifique los axiomas constituye un modelo de la Geometra.
www.booktopia.com.au
Hermann Weyl
(1885-1955).
en.wikipedia.org
1.
Las ideas generales (sobre consistencia e independencia) nos parecen hoy casi triviales,
tanta ha sido su influencia en nuestro pensamiento matemtico. Hilbert las estableci en
un lenguaje claro e inconfundible y las incluy
en un trabajo que es como un cristal: un todo
irrompible con muchas facetas. Sus cualidades
artsticas han contribuido indudablemente a su
xito como una obra maestra de la CienciaG.
LA BSQUEDA DE LA CERTIDUMBRE
En el texto escrito de la Conferencia de Pars
en la que Hilbert present su famosa lista de
los 23 problemas que, en su opinin, debieran
centrar la atencin de los matemticos del
Evidentemente, Hilbert era por entonces demasiado optimista. Se puede especular que
pensaba que la consistencia de la aritmtica
poda obtenerse construyendo modelos a partir de la teora de conjuntos, que haba adquirido un gran desarrollo desde los trabajos pioneros de G. Cantor (1845-1918).
Desgraciadamente, entre 1895 y 1905
aparecen una serie de paradojas en
la teora de conjuntos. Una de ellas
en particular, la llamada Paradoja de
Russell, iba a echar por tierra el monumental sistema lgico creado por F.
L. G Frege (1848-1925), considerado
uno de los fundadores de la lgica
simblica. En efecto, Frege admita
que toda propiedad enunciable en el
sistema defina un conjunto (el formado por los elementos que cumple esa
propiedad; esta asuncin haba sido
implcitamente aceptada por Cantor
y todos sus seguidores). Si ahora consi-
1.
2.
La vuelta
de Hilbert a
los temas de
fundamentos
estaba
motivada por
la creciente
aceptacin
de las teoras
de Brouwer.
L. E. J. Brouwer (1881-1966).
en.wikipedia.org
so, que afirma que, dada una proposicin A, o bien A es verdadera o su negacin lo es (excluyendo una tercera
posibilidad).
de vista nada tradicional: para Brouwer, la Matemtica es una actividad interior de la mente
humana, que se trascribe al exterior por medio
del lenguaje de la Lgica. Pero el uso automtico y abusivo de las reglas de la lgica formal
puede dar lugar a enunciados desprovistos de
sentido y a paradojas. El lenguaje (formal o informal) no est lo suficientemente adaptado
para expresar los experimentos mentales que
realmente tienen lugar en el pensamiento matemtico.
Para Brouwer, los objetos matemticos se engendran por construcciones efectivas en un
nmero finito (aunque arbitrariamente grande)
de etapas, a partir de los nmeros enteros positivos. En consecuencia, Brouwer y sus seguidores (la llamada escuela intuicionista) rechaza,
por ejemplo, el principio lgico del tertio exclu-
1.
formalista). Pero Hilbert sostiene que este juego de smbolos replica pensamientos que constituyen la prctica habitual de los matemticos. Por tanto, no puede prescindirse
nunca de las consideraciones obtenidas por la experiencia, esenciales para la eleccin razonable de los axiomas.
La larga trayectoria investigadora de Hilbert en tantos y
tan diferentes campos de la Matemtica y la Fsica muestra claramente que para l los problemas matemticos
tienen contenido y respuestas provistas de significado. Si
lleg a propugnar una interpretacin formalista de las Matemticas fue porque estaba dispuesto a pagar ese precio a cambio de la certidumbre.
Hacia 1930 el Programa de Hilbert pareca bien encaminado, gracias a los esfuerzos del propio Hilbert y algunos de
La primera
reaccin de Hilbert
a los resultados
de Gdel fue de
enfado, porque
los vea como un
ataque frontal a
su programa y,
sobre todo, a su
filosofa de las
Matemticas.
sus estudiantes, como W. Ackermann (1896-1962) y P. Bernays (1888-1977). En particular, se haba podido demostrar
la consistencia absoluta para el sistema de la Aritmtica
de los nmeros naturales con la adicin (aunque no con
la multiplicacin).
Kurt Gdel (1906-1978).
francis.naukas.com
El ao siguiente
[1930], un joven
docente en la
Universidad de Viena,
K. Gdel (19061978) acababa con
la esperanza de
Hilbert.
Sin embargo, el ao siguiente, un joven docente en la Universidad de Viena, K. Gdel (19061978) acababa con la esperanza de Hilbert.
En un artculo que lleva el expresivo ttulo de Sobre proposiciones formalmente
indecidibles de Principia Mathematica
y sistemas afines, I Gdel prueba que
todo sistema formal (en el sentido del
programa de Hilbert) consistente y que
contenga a la Aritmtica, es necesariamente incompleto, es decir, contiene enunciados legtimos del sistema
que son indecidibles, esto es, ni su afirmacin ni su negacin son demostrables
en el sistema Y uno de esos enunciados
es, precisamente, el que afirma la consistencia del sistema!
La primera reaccin de Hilbert a los resultados
de Gdel fue de enfado, porque los vea como un
ataque frontal a su programa y, sobre todo, a su filo-
gsu2ddesign.blogspot.com
sofa de las Matemticas. No obstante, el mismo Gdel haba afirmado en su trabajo que su
resultado no se opona al Programa de Hilbert,
aunque ms adelante no se mostr tan contundente al respecto. Lo que est claro es que
los resultados de Gdel supusieron un golpe
demoledor para el programa de Hilbert en su
versin original. La Matemtica clsica poda
ser consistente (y probablemente lo era); pero
su consistencia no poda ser establecida por los
mtodos finitarios propuestos por Hilbert.
REFERENCIAS:
A. Almira J. M. y Sabina J. C.
de Lis, Hilbert, Matemtico
fundamental. Ed. Nivola,
2007.
B.
Fernando Bombal
Universidad Complutense de Madrid
Real Academia de Ciencias
93