REVISTA DE LIBROS

DOU"Alberto. Fundamentos de la matemtica. Ed. Labor ~ Nueva

Coleccin, Barcelona, 1970, 139 pgs.
"Las pginas que siguen arrojarn luz. . . en particular sobre
la nocin de verdad matemtica"(pg.ll) nos dice A. Dou en la In-
troduccin a esta pequefia obra. Bajo el rtulo I'fundamentos de
la matemticall .se halla una referencia equvoca. Aqu se la en-
tiende esencialmente como investigacin de la verdad matemti-
ca. y esa investigacin se realiza en torno a las relaciones en-
tre LgicaJ Matemtica y Realidad(o ms bien !luna realidadll)en
las tres corrientes 10gicistaJ formalista e intuicionista.
Es sta la primera obra de un autor espafiol sobre la temti-
ca de los fundamentos. Est orientada a estudiantes de gradua--
cin universitaria. Su finalidadJ por tanto,.es exponer de modo ac
cesib1e las cuestiones de mayor .inters en el contexto arriba -
mentado. La seleccin de aqullas viene condicionada ms por
10 formal que por lo filosficoJ y ello debe verse, en cierto mo-
do, motivado por las fuentes principales de informacin de Dou:
las obras de Mendelson1, Kleene2 y Kneebone3. En este sentido,
son de destacar sus tratamientos del teorema de incomplitud
de Godel y de la lgica intuicionista: de Heyting-Kleene.
EllogicismoJ I'doctrina sobre los fundamentos de la ma,te.m:
tica que considera la lgica como ms fundamental que la mate-
mtica y efecta la reduccin de los conceptos y mtodos de in-
ferencia matemtica a los correspondientes de 1a.lgica, conclu-
yendo consfguientemente que la matemtica no es ms que una
rama de la lgica"(pg. 59), es presentadoJ principalmente, segn
los Principia Mathematica de Russell- Whitehead, con lo que,
aunque ligeramente descuidados( cosa realmente inevitble en
obras reducidas como la presente) los hallazgos de Peano-Fre
ge, s.e suministra al lector una base suficiente para comprender
10 que supone sacar a la luz un concepto como el de predicativi-
dad y montar sobre l el edificio de la teora de los tipos como
medio de evitar las paradojasJ por haberse descubierto en la
mayor parte de las mismas procesos de caracter impredicativo.
Quizs impedida su visin por prejuicios antilogicistas, Dou, si
embargo, no se muestra a la misma altura aqu que en pginas
posteriores.
132 Revista de libros
De las tres corrientes es, a mi parecer, la formalista la me..
jor tratada. La distincin clara y sencilla que establece entre
axiomticas materiales o genticas(en que se "engendran" los
axiomas, teniendo sentido y contenido) y axiomticas formales
(en que los elementos primitivos carecen de sentido esencial
y su manejo o nico sentido formal viene ,definido implcitamen
te por los axiomas y reglas de inferencia) ~s el medio de mos-=-
trar idoneamente en qu difiere una axiomtica como la russel-
liana de la axiomtica de 'Hilbert. Mencin especial, como ya
hemos dicho, merece su tratamiento del teorema de incomplitud
pe Godel, cuya exposicin informal, pero suficientemente preci-
sa, permitir al lector formarse una idea clara de en qu consiste
aqu1.4
En el captulo del intuicionismo~ "la matemtica propiamente
tal es construida por la intuicin en nuestra conciencia al contact.o
con la forma interna de nuestra sensibilidad, es decir, gracias a
un apriorismo temporal"(pg. 132), expone Dou - trs referirse a
la oscura nocin de construccin y a las relaciones entre matem
ti"ca cl~ica y matemtica intuicionista- una lgica intuicionista,
segn el.modelo de Heyting5 -Kleene, novedosa en textos de este
alcance. Su examen del sentido del conector intuicionista de nega-
cin a travs del principio de contradiccin y de tercio excluso
est entre las pginas de mayor valor pedaggico, a mi parecer,
de la obra entera.
As~ llevado el lector de la mano por Dou, atraviesa las fases
de tirana de la matemtica por la lgica en ellogicismo, de tira-
na de la lgica por la matemtica 6 en el intuicionismo y de inde-
pendencia y libre convivencia de una y otra en el formalismo, y
respecto de la verdad matemtica se ve forzado a concluir con el
autor de la obra:"lo intencional de nuestro conocimiento matem-
tico tiene que ser isomorfo con una realidad que para ellogicismo
o matemtico clsico se encuen.tra en el mundo;para el intuicioni~
mo dicha realidad fundamental est en nuestra conciencia;para el
formali sta en una posicin intermedia que p"odemos caracterizar
diciendo que est en el papel, o mejor, en et esquema trascenden-
tal del entendimiento humano"(pg. 137).
De todo lo dicho pueden desprenderse"facilmente los mrito.s
que esta obra presenta. En el captulo de crtica,s slo queremos
hacer Gonstar la siguiente. La finalidad de la obra, repetimos, es
arrojar luz sobre la nocin de verdad matemtica. Tal nocin, en
la vetiente lgica intersecada con la matemtica, la creemos en-
contrar expuesta por primera vez con rigor en la teora de mode-
los de A. Tarski. Es, pues, curioso el poco espacio que la nocin
semntica de modelo.ocupa en el escrito de Dou y que conlleva,
en el plano sintctico, un tr.atamiento no suficiente de la nocin
de conjunto.
J. Sanmartn
Revista"de libros 133
1. Mende1son, E. Introduction to mathematica1logic. Nueva York:
Van Nostrand, 1964.
2. K1eene, S. C. Introduction to me.tamathematics. Nueva York~
Van Nostrand, 1952.
. .
3. Kneebone, G. T. Mathematica110gic and the foundations of ma-'
thematics. Londres:Van Nostrand, 1963. ..
4. Vase: A. Dou, "El teorema de inco,mplitud de Gode1", en Publi
caciones del Seminario Matemtico Garca de Galdeano, nQ 10,
Zaragoz;a,1969.
.
5. Heyting, A. Intuitionism. An Introduction.. Amsterdam:North-
Holland,1956.
6. La lgica intuicionista es el fruto de una especulacin de cariz
matemtico sobre la mat.emtica misma o sobre su expresin
oral o escrita.