CENTENARIO DE LA TESIS DOCTORAL

DE L. E. J. BROUWER
100 aos de intuicionismo matemtico

PARTICIPANTES

Jorge Molina: Matemtica, ciencia y lenguaje

Javier Legris: Clculo y lenguaje en el intuicionismo
matemtico
Jorge Alfredo Roetti: Por qu recordamos a Brouwer?
Luiz Carlos Pereira: Brouwer e a naturaleza da lgica
 MATEMTICA, CIENCIA Y LENGUAJE

JORGE ALBERTO MOLINA

En el ao 1928, en Viena, Brouwer dio una conferencia con el

ttulo de Matemtica, ciencia y lenguaje1, en la cual expuso su pen-
samiento sobre varias cuestiones que tradicionalmente haban sido el
objeto de trabajo de los filsofos. Los tpicos desarrollados en esa con-
ferencia aparecen tratados de una manera ms detallada en otro tra-
bajo de Brouwer, Conciencia, Filosofa y Matemtica2 que apareci en
las actas del 10 Congreso Internacional de Filosofa en Amsterdam
en 1948. Es conveniente decir que las inquietudes filosficas de
Brouwer ya se haban manifestado en su trabajo del ao 1905 Vida,
arte y mstica que fue traducido al ingls y publicado en el nmero 37
del Notre Dame Journal of Formal Logic en el ao 1996. Ese traba-
jo de Brouwer es anterior a su tesis de doctorado Sobre los fundamen-
tos de la Matemtica del ao 1907, trabajo que tambin, en muchos
pasajes, desarrolla cuestiones filosficas. Basaremos nuestra exposi-
cin sobre el texto de la conferencia de 1928 y sobre el trabajo de 1948.
La conferencia de 1928 fue proferida en un momento de enfria-
miento del entusiasmo que el programa intuicionista de fundamen-
tacin de la matemtica haba suscitado en los comienzos de la dcada
de 1920. Brouwer haba realizado una gran proeza al reconstruir so-
bre bases intuicionistas el continuo real. En una conferencia dada en
Viena, en el ao 1930 con el ttulo de la Estructura del continuo
Brouwer repas sus logros en la construccin del Anlisis y los com-
par con los de sus adversarios. En su visin, las teoras formalistas
del continuo (Dedekind, Peano, Russell, Zermelo, Hilbert) abandona-
ban toda intuicin geomtrica o aritmtica, y confinaban su tema al
dominio del lenguaje matemtico, que trataban de regular en una

1
L. E. J. Brouwer, Collected Works I, editados por A. Heyting North- Holland,
Amsterdam, 1975, pp. 417-428.
2
Ibidem, pp. 480-494.

927
forma tal que la figura de la contradiccin fuera excluida3. Esos ma-
temticos y lgicos buscaban una teora lingstica no contradictoria
para el continuo real, teora que deba ser puesta en relacin con el
lenguaje de la teora de lo nmeros naturales, para obtener as, una
prueba de consistencia relativa. Por otro lado, segn Brouwer, los
intuicionistas franceses, a los que llamaba los viejos intuicionistas
(Poincar, Borel), sostenan que la teora de los nmeros naturales es
una coleccin de juicios sintticos a priori. Afirmaban ellos que las
pruebas formalistas de consistencia (no contradiccin) presuponen el
principio de induccin completa y por consiguiente, la esencia de la
teora de los nmeros naturales. Sin embargo, al desarrollar ellos la
matemtica fuera del mbito de los nmeros naturales, usaban la
lgica clsica. Pues por medio de los mtodos de construccin que los
viejos intuicionistas aceptaban slo podan ser construidas subespe-
cies (subconjuntos) numerables no terminados4. Brouwer defina
conjunto numerable no terminado como aquel que es tal que no pode-
mos construir en forma bien definida ms que subconjuntos numera-
bles del mismo, pero de forma tal que, habiendo ya sido construido un
subconjunto de ese tipo, podemos deducir de l, siguiendo un proce-
dimiento matemtico previamente definido, nuevos elementos que
son considerados pertenecientes al conjunto original. Esas subespe-
cies numerables no terminadas, construidas segn los mtodos de los
viejos intuicionistas, tienen medida cero. Por eso, deca Brouwer, para
conseguir construir el continuo, ellos deban atribuir a la lgica pode-
res creativos5. Una forma de construir el continuo de manera diferen-
te, consistira en identificar cada nmero real con el lmite de una
secuencia convergente de nmeros racionales, secuencia que estara
dada por un algoritmo. Mas as, slo se obtendra tambin un conjunto
numerable de medida cero.
La solucin de Brouwer para construir el continuo, fue conside-
rar secuencias de eleccin libre de nmeros racionales, secuencias que
no estn dadas por una ley, esto es por un algoritmo, y que pueden
ser continuadas de forma arbitraria. Como el valor de cualquier fun-
cin, definida de modo intuicionista, sobre una secuencia de ese tipo
queda determinado a partir de la informacin contenida en un seg-
mento finito de esa secuencia, stas seran aptas, en principio, para
3
Die Struktur des Kontinuums, Viena, 1930. El texto de esta conferencia se
encuentra en la Antologa de P. Mancosu, From Brouwer to Hilbert, The Debate on the
Foundations of Mathematics in the 1920s, Oxford University Press, 1998, pp. 54-63.
4
Mancosu, op. cit., p. 54.
5
Cf. Mancosu, op. cit., pp. 54-55.

928
servir al propsito de reconstruir sobre nuevas bases el anlisis tra-
dicional. Sobre esas nuevas nociones de funcin y de continuo, Brouwer
inici la reconstruccin del Anlisis. Prob en 1924 que toda funcin
definida en sentido intuicionista sobre el intervalo cerrado [0 1] es
uniformemente continua6. Sin embargo, cuando Brouwer intent con-
tinuar en la reconstruccin del Anlisis el programa se estanc. Las
pruebas resultaban extremadamente difciles.
Esa situacin oblig a Brouwer a reconocer en 1928, en su trabajo
Reflexiones intuicionistas sobre el formalismo7, que el intuicionismo
no haba vencido de forma categrica a los formalistas. Admiti ah
que la disputa entre los intuicionistas y formalistas no poda ser de-
cidida de forma concluyente y que era en gran medida una cuestin
de gusto seguir uno u otro de los programas de fundamentacin de la
Matemtica. La disputa contra los formalistas giraba alrededor de la
naturaleza de esa ciencia, si ella deba ser concebida como una teora
de las construcciones mentales o como una teora de las estructuras
(lenguajes) formales y en torno al rol del principio del tercero exclui-
do dentro de las pruebas matemticas. Siendo consciente de que esa
disputa no poda ser decidida, Brouwer acusaba, sin embargo, a los
formalistas de haber modificado sus posiciones originarias, y de ha-
ber tomado en prstamo varios principios intuicionistas. En resumen,
para el metalenguaje, para la metamatemtica, los formalistas acep-
taran solamente los principios de los intuicionistas.
En Reflexiones intuicionistas sobre el formalismo Brouwer afir-
m que el intuicionismo matemtico reposa en cuatro mximas: pri-
mero, la distincin entre la construccin de un depsito de frmulas
matemticas y la teora intuitiva (con contenido, inhaltlich) de las
leyes de esa construccin, as como el reconocimiento de que para la
ltima, la teora intuicionista de los nmeros naturales es indispen-
sable; segundo, el rechazo del uso irreflexivo del Principio del terce-
ro excluido, as como el reconocimiento de que las investigaciones
sobre las razones que justifican ese principio y sobre su dominio de
validez constituyen una parte esencial de la investigacin sobre los
fundamentos de la Matemtica, y de que en la Matemtica con con-
tenido (intuitiva) ese uso est restricto a sistemas finitos; tercero, la
identificacin del Principio del tercero excluido con el principio de la
solubilidad de todo problema matemtico; cuarto, el reconocimiento

6
Cf. Mancosu, op. cit., pp. 36-37.
7
Intuitionistische Betrachtungen ber den Formalismus. El texto se encuentra
traducido al ingls en Mancosu, op. cit., pp. 40-44.

929
de que la justificacin (con contenido, inhaltlich) de la matemtica
formalista por medio de una prueba de consistencia contiene un crcu-
lo vicioso, puesto que esa justificacin est basada en la correccin
(con contenido) de la afirmacin de que la correccin de una proposi-
cin se sigue del hecho de que no sea contradictoria, esto es, de la co-
rreccin (con contenido) del Principio del tercero excluido. Aqu
Brouwer perciba la estrecha ligacin entre el Principio del Tercero
excluido y la regla de reduccin al absurdo. Pues el hecho de que una
proposicin no sea contradictoria, se expresa como la negacin doble
de esa proposicin.
Comentaremos brevemente cul era la actitud de ambas escuelas
en relacin a estas cuatro mximas en la poca que Brouwer profiri
su conferencia Matemtica, ciencia y lenguaje. La primera mxima
intuicionista ya haba sido expresada por Brouwer en su tesis docto-
ral de 1907 Sobre los fundamentos de la Matemtica, como la diferen-
cia entre lenguaje matemtico y lenguaje de segundo orden. Los
hombres, deca Brouwer en ese trabajo, tratan por medio de sonidos
y smbolos de causar en la mente de los otros, las construcciones y ra-
zonamientos matemticos que ellos mismos hacen. As surge, con ese
propsito, el lenguaje matemtico, y como caso especial, el lenguaje
del razonamiento lgico en el cual nos restringimos a hablar sobre las
relaciones de todo y parte8. La relacin de sucesor que forma la serie
de los nmeros naturales no aparece en ese lenguaje del razonamien-
to lgico. Aqu Brouwer presentaba una concepcin de la Lgica tra-
dicional muy parecida a la que expresara Leon Brunschcvig en su
obra Les tapes de la philosophie matehamtique, autor que conside-
raba a esa disciplina apta para expresar razonamientos que envuel-
ven clasificaciones y taxonomas mas incapaz para expresar el
razonamiento matemtico. Aquellas personas interesadas en tener
una perspectiva matemtica de todas las cosas, afirmaba Brouwer en
su tesis de 1907, aplican esa persepctiva al lenguaje del razonamiento
lgico. Surge as la Logstica de Peano, Russell e Whitehead.
Esa distincin brouweriana entre el lenguaje matemtico y el
lenguaje de segundo orden es reconocida por Hilbert en su trabajo del
ao 1922 Neuebegrndung der Mathematik (Nueva fundamentacin
de la matemtica), donde la matemtica de segundo orden es llama-
da Metamatemtica. La Metamatemtica, afirmaba en ese trabajo
Hilbert, sirve para preservar a la matemtica del error y del terror de
prohibiciones innecesarias, as como de la dificultad de las paradojas.

8
L. E. J. Brouwer, Collected Works, p. 73.

930
En la metamatemtica, en contraste con los modos de inferencia pro-
pios de la matemtica intuitiva, usamos inferencias (con contenido)
en particular en la prueba de consistencia de los axiomas.
La segunda mxima intuicionista, la que se refiere al principio
del tercero excluido se encuentra ya en el artculo de Brouwer La falta
de confianza de los principios lgicos del ao 19089 y en los trabajos
posteriores de Brouwer. El valor de esta mxima es reconocido por
Hilbert en su artculo Die logischen Grundlagen der Mathematik (Los
fundamentos lgicos de la Matemtica), de 1922, donde se reconoce la
validez limitada dentro de la matemtica intuitiva de ese principio,
y en el artculo de Hilbert ber das Unendliche (Sobre lo infinito)
publicado en los Mathematische Annalen en 1926. En este ltimo tra-
bajo de Hilbert la discusin sobre el principio del tercero excluido es
introducida de la forma siguiente : el enunciado a+1= 1+a, no es desde
el punto de vista finito (finitario) pasible de negacin. Eso queda cla-
ro, si consideramos que ese enunciado no debe ser interpretado como
una conjuncin infinita de muchas ecuaciones numricas mediante
y, sino como un juicio hipottico que afirma algo en caso que sea
exhibido un signo numrico. Cuando negamos ese enunciado, obtene-
mos un enunciado existencial que carece de contenido finitario. De
aqu se sigue, sostena Hilbert que no podemos usar el principio del
tercero excluido, para decir que una ecuacin como a+1=1+a, donde
aparece un signo numrico indeterminado, o bien es satisfecha por to-
dos los signos numricos, o bien es contradicha por un contraejemplo.
Esa alternativa descansa en el presupuesto de la afirmacin de que
aquella ecuacin es pasible de negacin.
La tercera mxima, la que se refiere a la solubilidad de todo pro-
blema matemtico, es interpretada tambin por los formalistas como
una conviccin en la conferencia de Hilbert del ao 1901
Mathematische probleme (Los problemas matemticos). Sin embargo,
ya en Axiomatisches Denken (El pensamiento axiomtico) del ao
1926 Hilbert se refera a una solubilidad en principio y a una solubi-
lidad por medio de un nmero finito de operaciones. No hay indicios
de reconocimiento por parte de los formalistas de la cuarta mxima
intuicionista que fue claramente expresada por Brouwer en un artcu-
lo del ao 1927 en Mathematische Annalen, cuyo ttulo es ber
Definitionsbereiche von Funktionen (Sobre los dominios de definicin
de las funciones). Por el contrario frente a esa objecin intuicionista
en Uber das Unendliche, Hilbert responde: Si la cuestin de justifi-

9
Brouwer, Collected Works, pp. 107-111.

931
car un proceder, un mtodo, tiene algn sentido diferente de aquel de
probar su ausencia de contradiccin slo puede ser el de establecer si
ese proceder es exitoso en la produccin de resultados10. Como se ve,
se trata aqu de un argumento pragmtico.
Es en ese contexto, que Brouwer imparti en Viena, en 1928, su
conferencia Matemtica, ciencia y lenguaje. Si fuera lcito dividir
aquellos que se ocupan del lenguaje, entre los que lo abordan a par-
tir de una perspectiva estructural, y aquellos que lo abordan a partir
de su funcin en la comunicacin, Brouwer se situara dentro de es-
tos ltimos. Para Brouwer la funcin principal del lenguaje no es re-
presentar la realidad, sea ella la de los objetos fsicos, o la de los
contenidos de la conciencia, sino trasmitir los deseos de nuestra vo-
luntad. La descripcin que nos da Brouwer sobre el origen del lengua-
je aparece, en esa conferencia, situada dentro de un relato sobre la
formacin de la conciencia. La conciencia surge por medio de lo que
Brouwer llama atencin matemtica (mathematische Betrachtung).
Esta ltima sirve para la preservacin del individuo. La atencin
matemtica tiene dos fases: la conciencia del tiempo y la atencin
causal (kausale Einstellung). La primera fase consiste en el recono-
cimiento de dos contenidos mentales distintos. Un contenido es per-
cibido, mientras otro ya previamente percibido es retenido en la
memoria. La conciencia de la dualidad surge de la conciencia del tiem-
po. Es la intuicin de la dualidad la que da origen al lenguaje, a la
Matemtica y a la ciencia. Cada uno de esos elementos de esa duali-
dad originaria puede ser considerado como siendo l mismo una dua-
lidad, y as sucesivamente, es generada la serie numrica. Si bien
Brouwer se apart de la Filosofa de la Matemtica de Kant en rela-
cin a la Geometra, alababa al filsofo alemn por haber afirmado,
por primera vez, que la Aritmtica se basa en la intuicin a priori del
tiempo.
La atencin causal consiste en el acto de la voluntad que iden-
tifica secuencias temporales distintas de fenmenos que se extienden
hacia el pasado o hacia el futuro. Aparece as, para la conciencia, un
substrato comn a todas las secuencias ya identificadas, substrato
conocido como secuencia causal. Observemos que las secuencias cau-
sales no son definidas por Brouwer por medio del dinamismo intrn-
seco a sus elementos mas por el slo hecho de seguirse ellos uno

10
ber das Unendliche. Este texto se encuentra traducido al ingls en P.
Benacerraf y H. Putnam, Philosophy of Mathematics: Selected readings, Cambridge
University Press, 1983, pp. 183-201.

932
despus del otro en la serie temporal. Un caso especial de la atencin
causal consiste en la construccin de los objetos, esto es, de cosas per-
sistentes (simples o compuestas) del mundo percibido. La atencin
matemtica no consiste en recepcin sino en un acto de la voluntad.
La conciencia es caracterizada por Brouwer de forma leibniziana,
consistiendo en percepcin y deseo. En este desarrollo suyo la concien-
cia se da cuenta de que unos estados mentales son medios para la
obtencin de otros estados perceptivos deseados. Habiendo ya adqui-
rido la nocin de relacin causal, la conciencia se da cuenta de la re-
lacin entre medios y fines. Estados perceptivos que parecen antes en
la serie temporal son considerados medios para la percepcin de otros
estados mentales deseados. Slo una vez que la relacin causal ya est
constituida aparece el lenguaje como medio para trasmitir los deseos
de nuestra voluntad.
En Conciencia, Filosofa y Matemtica11, conferencia proferida
veinte aos despus de su conferencia Matemtica, Ciencia y Lengua-
je en Viena, Brouwer nos habla del acto astuto (cunning act). El acto
astuto permite el desarrollo de la actividad conativa (atencin al tr-
mino) del sujeto. El acto astuto se manifiesta en que en una secuen-
cia causal de eventos, un ltimo elemento que es deseado pero que
no es accesible de forma inmediata, es realizado indirectamente pro-
duciendo un elemento anterior en el orden de la secuencia, elemen-
to que en s no es deseado, mas que es visto como medio para obtener
el elemento deseado. As la conciencia produce una estructuracin de
la realidad, percibida ahora como un sistema de relaciones de causa-
efecto, de medios y fines. Concebido de esa forma el mundo, podemos
proyectar sobre l las relaciones matemticas constituidas a partir de
la conciencia de la dualidad. Surge entonces la ciencia. La ciencia,
para Brouwer, no tiene el carcter aristotlico de contemplacin de la
realidad, mas el carcter baconiano de teora destinada a dar al hom-
bre el dominio y el control de la realidad circundante.
Tres cosas merecen ser destacadas. En primer lugar tanto el len-
guaje como la ciencia emprica surgen de un acto de la voluntad. Se
originan a partir de la tendencia (conato) de ajustar el mundo a nues-
tros deseos. La matemtica, por el contrario, surge de una contempla-
cin desinteresada de los elementos de la conciencia. En segundo
lugar, Brouwer no nos da argumentos que sostengan esta Fenome-
nologa de la conciencia. Por argumentos, nos referimos a aquellos
que puedan ser parte de una teora filosfica sobre el lenguaje o so-

11
L. E. J. Brouwer, Collected Works, Vol I, pp. 480-494.

933
bre el conocimiento. Brouwer va a buscar el apoyo para esta Fenome-
nologa de la conciencia en sus concepciones sobre la Matemtica que,
por otro lado, son consecuencia de sus objeciones al principio del ter-
cero excluido y a la visin formalista de esa ciencia. As, no hay en
Brouwer, como s hay en Dummett, una teora sobre el lenguaje que
fundamente su Filosofa de la Matemtica. En Brouwer tenemos la
situacin inversa: es su concepcin sobre la Matemtica la que tor-
nara plausibles sus concepciones sobre el lenguaje. En tercer lugar
en esta Fenomenologa encontramos los temas tradicionales de la
Filosofa de la conciencia, precisamente en un momento en que la
Filosofa comienza a dejar de ser un discurso sobre las ideas para
transformarse en un discurso sobre el lenguaje.
Brouwer interpretaba sus diferencias con los formalistas como
teniendo su origen en visiones diferentes sobre las relaciones entre
matemtica y lenguaje. Ya en su tesis del ao 1907 Brouwer era cons-
ciente de eso. Para Brouwer la Matemtica deba ser construida paso
a paso, y el lenguaje slo puede indicar como realizar esas construc-
ciones. Mas por otro lado, no hay exactitud ni certeza en la transmi-
sin de los deseos de nuestra voluntad, en especial cuando se trata de
la construccin de entidades matemticas, cuyas formas de produc-
cin deberan ser indicadas por el hablante por medio del lenguaje.
En su tesis de 1907, disertando sobre las Geometras no arquimedia-
nas estudiadas por Hilbert, Brouwer apuntaba para las consecuen-
cias perturbadoras que surgen cuando el lenguaje, que es un medio,
aunque imperfecto, para comunicacin de la Matemtica, y que no
tiene que ver con ella como tal, excepto como acompaamiento, es
considerado como esencial para aquella ciencia, y cuando las leyes que
gobierna la sucesin de enunciados, las leyes lgicas, son vistas como
directivas para actos de construccin de entidades matemticas12. En
consecuencia, no hay para la Matemtica pura, afirmaba Brouwer en
Matemtica, ciencia y lenguaje, ningn lenguaje cierto, esto es, ningn
lenguaje que en el intercambio de pensamientos excluya el malenten-
dido y que como una ayuda para la memoria este libre de error13. Esas
limitaciones del lenguaje natural , pensaba Brouwer, no podan ser
resueltas como consideraba la escuela formalista, regimentando el
lenguaje natural y sometindolo a un abordaje matemtica. Brouwer
era consciente de que el lenguaje que habla sobre las construcciones
matemticas manifiesta ciertas regularidades en su sintaxis y en la

12
Brouwer, Collected Works, p. 79.
13
Ibidem, p. 421.

934
conexin que hay entre las proposiciones expresadas en l, y que por
eso puede ser abordado formalmente. Ese es el origen de la Lgica.
Con posterioridad la Lgica puede ser abordada matemticamente,
tenemos entonces la Logstica de Russell. Sin embargo, el uso de la
Logstica no excluye la posibilidad del error.
Lo que debe ser notado aqu es que Brouwer innova en relacin
a la tradicin escptica sobre el lenguaje. Esa tradicin ya iniciada por
los sofistas, afirmaba la incapacidad del lenguaje para trasmitir nues-
tras representaciones mentales. Se trataba aqu de la imposibilidad
de trasmitir conocimientos, de que el hablante y el oyente asociaran
idnticos significados a las mismas palabras. En Brouwer, por el con-
trario, tenemos un escepticismo en relacin a la capacidad del lengua-
je para trasmitir nuestra voluntad.
Para los formalistas la relacin entre Matemtica y lenguaje es
otra. Si pudiera probarse que una teora matemtica no es contradic-
toria, eso nos asegurara que ella se refiere a un dominio de entida-
des existentes. Porque a partir del descubrimiento de las geometras
no euclidianas, la existencia matemtica volvi a ser identificada de
manera leibniziana, con la ausencia de contradiccin. Para demostrar
la no contradiccin de la teora en cuestin es preciso expresar de for-
ma matemtica (usando los smbolos y la sintaxis de la logstica) el
lenguaje en el cual ella est formulada, y probar que dentro de ese
lenguaje no puede derivarse la figura de la contradiccin .
En Matemtica, ciencia y lenguaje Brouwer daba una explicacin
del origen de la confianza de los formalistas en el lenguaje. En la
antigedad, continuaba Brouwer, el hombre tena a su disposicin un
lenguaje perfecto, que exclua errores, lenguaje que se refera a gru-
pos finitos de cosas en el espacio y en el tiempo, concebidas como
unidades y sustancias. Es probable que aqu Brouwer se estuviese
refiriendo al lenguaje en el que est expresada la ciencia y la filoso-
fa de los griegos. Como es bien sabido la imagen del Universo de los
griegos era la de un Cosmos finito y jerarquizado, y su ciencia exclua
la consideracin de lo infinito. En ese lenguaje afirmaba Brouwer
hay formas de pasar de afirmaciones correctas a otras afirmaciones
correctas, esas formas de inferencia son conocidas como las leyes de
Identidad, de Contradiccin, del Tercero Excluido y del Silogismo. No
podemos dejar de sealar la exactitud del anlisis de Brouwer al con-
cebir la Lgica de los antigos como un sistema de reglas de inferen-
cia y no como un cuerpo de axiomas. Al razonar sobre sistemas finitos
el uso de esos principios lgicos se mostr correcto. Eso llev a las
personas a creer en ellos, aun cuando, adverta Brouwer, las conclu-

935
siones obtenidas por esos principios no pudiesen ser verificadas direc-
tamente. Sobre todo se confi en el Principio del tercero excluido,
entendido tambin en su forma ms general, que asume que un he-
cho aconteci, slo sobre la base de la imposibilidad de encontrar una
explicacin alternativa para la produccin de otro hecho que le sigue
en la serie temporal (una especie de inferencia a la mejor hiptesis).
Es claro que a veces, afirmaba Brouwer, el uso de ese principio lleva
a conclusiones errneas, pero las personas no abandonaron su fe en
el Principio del Tercero Excluido ajustando las experiencias de forma
a concordar con l.
Hay dos errores que estn detrs de la confianza ingenua en los
principios lgicos. El primero es un error filosfico y se origina en una
concepcin equivocada sobre el lenguaje. Los hombres, deca Brouwer,
no reconocieron que las palabras son en su esencia instrumentos para
trasmitir nuestra voluntad, y las trataron como etiquetas para con-
ceptos14. Se pens que esos conceptos y las relaciones entre ellos nos
llevaran a existencias independientes de la actitud causal del hom-
bre, y se consider que los principios lgicos representaran las le-
yes a priori que gobiernan esos conceptos y sus relaciones recprocas.
El segundo error radica en la confusin entre los modelos matemti-
cos de la realidad percibida y esa misma realidad. La humanidad,
afirmaba Brouwer, han conseguido controlar los objetos observables
y los mecanismos del mundo perceptivo cuando se trata de complejos
extendidos de hechos y eventos, considerando y tratando el sistema
de esos objetos y mecanismos en el mundo espaciotemporal como
parte de un sistema finito y discreto de objetos cuyos elementos estn
ligados por un nmero finito de relaciones15 .
La conferencia Conciencia, Filosofia y Matemtica de 1948, vuel-
ve a tocar los mismos tpicos que aquella dada en Viena veinte aos
atrs. Pero aqu tenemos una acentuacin de las caractersticas solip-
sistas del pensamiento de Brouwer. En esta conferencia Brouwer se
refiere al xodo de la conciencia desde su ms profunda morada. La
primera fase de ese xodo, que Brouwer designa como ingenua, con-
siste en la formacin de la conciencia del tiempo a travs de la cual se
forma el mundo de las sensaciones. La segunda fase es la que se ori-
gina en la atencin causal, a partir de la que se constituye el mundo
como una red de secuencias causales. La tercera fase es la fase social,
en la cual el yo se encuentra inmerso en la cooperacin con otros indi-

14
L. E. J. Brouwer, Collected Works, p. 423.
15
Ibidem, p. 423.

936
viduos. La cuestin que Brouwer present en esa conferencia es sa-
ber si despus del xodo de la conciencia pueden ser encontradas la
belleza, el entendimiento mutuo, la sabidura y la verdad.
En el pensamiento causal y su correlato, el mundo estructurado
como un sistema causal, no hay belleza, afirmaba Brouwer16. La sen-
sacin que experimentamos en la eficacia de nuestros actos causales,
o en el sistema de stos, o en el descubrimiento de nuevas secuencias
causales, no es una sensacin de belleza. Pero hay belleza en la pri-
mera fase del xodo de la conciencia, en el libre juego de las sensacio-
nes. Tambin hay belleza en la construccin desinteresada de las
cosas. Belleza que Brouwer llam constructiva. Mas la belleza cons-
tructiva mxima se consigue en la belleza introspectiva de la mate-
mtica, donde la intuicin queda libre para desplegarse17.
No puede haber entendimiento mutuo entre los hombres porque
no hay intercambio de pensamientos. No podemos atribuir mentes
(conciencia) a los seres que aparecen en nuestro campo perceptivo. El
argumento es el siguiente: si furamos a atribuir mente (conciencia)
a los otros seres, seramos entonces una mente de segundo grado, una
conciencia de la conciencia de los otros. Mas de la misma forma que
atribuimos una conciencia a ellos, una mente de primer grado, podra-
mos atribuirles tambin una mente de segundo grado, como la nues-
tra: seramos as una conciencia de una conciencia de una conciencia
y as ad infinitum18. Usando terminologa de la Filosofa de la Men-
te, nuestro yo no sera un lector de mentes sino un lector de conduc-
tas. Atribuimos a los otros seres conductas, no mentes. Puesto que no
hay una pluralidad de mentes afirmaba Brouwer no habra una
ciencia de ellas. Habra slo una psicologa del hombre y del animal,
que sera una extensin de la fisiologa, que estudiara autmatas que
seran organismos vivientes, sin mente y sin libre albedro19. A esos
seres pertenecera nuestro yo, no obstante su rol especial de portador
de alegra y dolor, de emociones y de pensamientos. Pero cuando ob-
jetivamos de esa forma nuestro yo, cuando lo consideramos como cons-
tituido en el mundo y no como constituyente del mismo, no podemos
decir mucho sobre l. Al tomar contacto con estas afirmaciones de
Brouwer, no podemos dejar de recordar la forma como Descartes
resolvi la cuestin de atribuir mentes a otros seres, en la quinta
parte del Discurso del Mtodo. Qu es lo que nos justifica para atri-
16
L. E. J. Brouwer, Collected Works, p. 483.
17
Ibidem, p. 484.
18
Ibidem, pp. 484-485.
19
Ibidem, p. 485.

937
buir mentes a los otros seres? Para Descartes es la capacidad de ha-
blar, la plasticidad de la conducta lingstica, la capacidad de formar
infinitas frases en circunstancias diferentes lo que nos permite distin-
guir entre una mente y un autmata. Es la desconfianza que Brouwer
tiene en relacin al lenguaje lo que le impide ir por ese camino.
Para alcanzar la sabidura debemos abandonar el pensamiento
causal. Buscando la sabidura deca Brouwer podemos encontrar-
la, sabiendo que el pensamiento causal y la accin que corresponde a
ese tipo de pensamiento no es bella y es difcil de justificar, y que a largo
plazo trae decepcin. Como corolario de esa actitud debemos aceptar el
mundo exterior tal como l es y nuestra posicin en l. Cualquier ac-
tividad que hagamos con la intencin de mudar la estructura de la
sociedad debe tener presente la mxima la providencia no te coloc
en este mundo para mejorar su obra20. Hay que abdicar de toda res-
ponsabilidad por la expansin hipertrofiada de las organizaciones
sociales, cuyo objetivo es el confort de las masas y su seguridad, y no
pretender tener en ellas una posicin destacada. Tampoco se debe
impedir la libertad de accin de las otras personas ni pretender domi-
nar a los semejantes. Como ejemplo de la actitud que debemos tener
para buscar la sabidura Brouwer cit en Conciencia, Filosofa y
Matemtica unos pasajes del Bhagavad-Gita (cancin de Dios), tex-
to snscrito, parte de pica Mahabharata21:
Un hombre no debe odiar ninguna criatura viviente. Dejad que l sea
amigable y compasivo con todas. Debe se liberar de la ilusin del Yo y de
lo mo. Aceptar placer y dolor con igual tranquilidad. Debe perdonar, es-
tar siempre contento, autocontrolado y constantemente ser una unidad.
Sus resoluciones deben ser inmutables. Nunca debe molestar a su prji-
mo, ni permitir que el mundo lo perturbe. No debe estar jams influen-
ciado por la alegra o por la envidia, por la ansiedad o por el temor.
l es puro e independiente del deseo del cuerpo. Es capaz de lidiar
con lo inesperado: preparado para toda las cosas, imperturbable. No est
ansioso en vano por el resultado de sus acciones.
No desea regocijarse en lo que es agradable. No es temeroso de lo
que es desagradable, ni se entristece por eso. Permanece inmutable ya
sea en la buena o en la mala suerte.
Su actitud es la misma en relacin al amigo y al enemigo. Es indi-
ferente a la alabanza y al insulto, al calor y al fro, al placer y al dolor.
Est libre de lazos. Valoriza la alabanza y el escarnio de igual manera.
Est contento con todo lo que sucede. Su casa est en todas y en ninguna
parte.
20
Brouwer, Collected Works, p. 486.
21
Ibidem, pp. 486-487.

938
 A partir del rechazo de la hiptesis de la pluralidad de mentes
afirmaba Brouwer se sigue que la verdad est slo en las experien-
cias presentes y pasadas de la conciencia individual. No est ni en el
lenguaje ni en una realidad objetiva fuera de nuestra conciencia.
Verdades son trasmitidas por las palabras o por complejos de pala-
bras, generalmente tomadas en prstamo del lenguaje cooperativo
social, de forma tal que, para el sujeto una palabra o complejo de pa-
labras, evoca una verdad. Adems hay un sistema de reglas llamadas
reglas lgicas que permiten al sujeto deducir de un sistema de pala-
bras que trasmiten verdades, otro sistema de palabras que tambin
trasmiten verdades. Esto no significa segn Brouwer que esos sis-
temas de palabras trasmitan verdades antes de que esas verdades
hayan sido experimentadas, ni tampoco que esas supuestas verdades
puedan ser siempre experimentadas. En otras palabras concluy
Brouwer la lgica no es instrumento confiable para descubrir verda-
des ni tampoco puede deducir verdades que no puedan ser accesibles
de otra forma. Encontramos aqu un eco de lo que Descartes sostena
en la Regla X de las Reglas para la direccin del espritu: ...omita-
mos todos los preceptos por los cuales los dialcticos creen deducir la
verdad humana, prescribiendo ciertas formas de razonamiento tan
necesariamente concluyentes, que aunque a la razn que confa en
ellas no le importe considerar atenta y evidentemente la inferencia
misma, pueda, sin embargo, a veces, slo por la fuerza de la forma es-
tablecer conclusiones ciertas. En efecto, notamos que la verdad escapa
con frecuencia de estos lazos.22. Es probable que este rechazo car-
tesiano a la lgica le haya sido trasmitido a Brouwer a travs de los
intuicionistas franceses.
El punto de vista de que la lgica no es instrumento confiable
para el descubrimiento de verdades ha encontrado una aceptacin
tarda en la matemtica, pensaba Brouwer. La matemtica rigurosa-
mente tratada consiste en construcciones dadas a travs de la intros-
peccin. Esa matemtica rigurosa se llama matemtica intuicionista
y se distingue de la matemtica clsica por cuatro razones: primero,
la matemtica clsica usa la lgica para generar teoremas; segundo,
cree en la existencia de verdades desconocidas; tercero usa el princi-
pio del tercero excluido, expresando que toda aseveracin matemtica
(esto es toda asignacin de una propiedad matemtica a una entidad)
debe ser o verdadera o falsa; cuarto, considera solamente secuencias

22
R. Descartes, Obras escogidas, Traduccin de Ezequiel de Olaso y Toms
Zwanck, Buenos Aires, Sudamericana, 1967.

939
infinitas predeterminadas, en el sentido de que para todo nmero n
est determinado el n-simo trmino de la secuencia. Como conse-
cuencia de eso, para definir el continuo, la matemtica clsica tiene
a su disposicin, para generar los nmeros reales, solamente secuen-
cias predeterminadas convergentes de nmeros racionales. Eso obli-
ga a que la matemtica clsica para generar el continuo real necesite
algn proceso lgico comenzando por uno o ms axiomas. El anlisis
clsico, consideraba Brouwer, aunque apropiado para la tcnica y la
ciencia tiene menos verdad que el anlisis intuicionista.
El lenguaje de ambas escuelas diverge. Pero si quisiramos si-
tuarnos dentro de un lenguaje neutral y dentro de l hablar de la di-
vergencia entre ambas podramos decir: hay modos de razonamientos
en la matemtica clsica que el intuicionista rechaza, hay teoremas
que el intuicionista acepta, como por ejemplo aquel que afirma que
toda funcin definida sobre el intervalo unitario es uniformemente
continua y que el matemtico clsico rechaza. Esta circunstancia se
originaba, para Brouwer, porque para entidades matemticas perte-
necientes a una especie determinada, la posesin de una propiedad
determinada imprime un carcter especial sobre su desarrollo a partir
de la intuicin bsica23. Lo que quera decir Brouwer aqu es que
entidades matemticas abiertas, no completadas, susceptibles de ser
completadas libremente a partir de nuestras elecciones, quedan de-
terminadas a partir de un segmento finito de ellas.
La ltima parte de las dos conferencias est dedicada a la discu-
sin del principio del tercero excluido. Ya en su tesis de 1907, Brouwer
nos adverta que ese principio slo puede ser usado cuando razonamos
sobre sistemas finitos. Cuando razonamos sobre sistemas infinitos no
es ms confiable. Sin embargo una aplicacin particular de ese prin-
cipio no nos lleva a una contradiccin. Pues si fuera contradictoria una
aplicacin particular, afirmaramos al mismo tiempo que sera contra-
dictorio afirmar que una construccin fue realizada y que es contra-
dictorio que la construccin es contradictoria, violando as el principio
de no contradiccin.
Son innumerables los casos que dio Brouwer de inaplicabilidad
del principio del tercero excluido. No se puede afirmar que todo n-
mero es finito o infinito, que hay o no en el desarrollo decimal de un
dgito que ocurre ms veces que los dems, que hay o no en el desa-
rrollo decimal de infinitos pares de dgitos iguales consecutivos, que
vale o no el principio del tercero excluido sin excepcin

23
L. E. J. Brouwer, Collected Works, p. 489.

940
 Las conclusiones de las dos conferencias se parecen mucho a
aquellas que Brouwer coloc en la seccin III de su tesis doctoral ,ti-
tulada Lgica y Matemtica24: En la sabidura no hay lgica. En la
ciencia muchas veces la lgica lleva al resultado correcto pero no po-
demos confiar en ella, si es aplicada indefinidamente de una forma
repetida. En matemticas es incierto si toda la lgica es admisible y
es incierto si el problema de la admisibilidad irrestricta de la lgica
es soluble. Y adems: la ciencia nace del deseo de poder sobre la na-
turaleza.

Universidade de Santa Cruz do Sul (UNISC)

Universidade Estadual de Rio Grande do Sul (UERGS)
e-mail: molina@unisc.br

24
Ibidem, pp. 480-494.

941
 CLCULO Y LENGUAJE
EN EL INTUICIONISMO MATEMTICO*

JAVIER LEGRIS

La distincin entre clculo y lenguaje ha originado un extenso y

variado debate en la filosofa de la lgica y la filosofa del lenguaje. A
partir de las ideas bsicas de Jean van Heijenoort la distincin se ha
aplicado para comprender los orgenes de la lgica simblica y Jaakko
Hintikka ha visto en ella un supuesto bsico de la filosofa del siglo
XX. Este trabajo, presentado en ocasin del centenario de la tesis
doctoral de L. E. J. Brouwer, defendida en febrero de 1907, tiene por
objetivo explorar la aplicacin de la distincin a las ideas del intuicio-
nismo matemtico sobre el lenguaje y su funcin en la matemtica.

En un trabajo de 1967, Jean van Heijenoort introdujo la distin-

cin entre lgica como clculo y lgica como lenguaje con el objetivo
de delinear dos concepciones bsicas, coexistentes en los orgenes de
la lgica simblica durante la segunda mitad del siglo XIX (van
Heijenoort 1967). Los trabajos sobre el lgebra de la lgica, cuyo
abanderado era George Boole, representaban la primera concepcin,
mientras que Frege, con su escritura conceptual o Begriffsschrift,
resultaba ser el caso paradigmtico de la segunda concepcin. Con
esta distincin, van Heijenoort ofreca una clave para entender la
historia de la lgica simblica, de modo que aspiraba a hacer una con-
tribucin esencialmente historiogrfica. Adems, la distincin posee
riqueza conceptual y marcaba dos posiciones filosficas respecto del

* Este trabajo fue elaborado en el marco del proyecto Clculo formal y conoci-
miento simblico en la historia de la lgica moderna (PIP 5615), financiado por el
CONICET.

943
lenguaje formal. La distincin se difundi ampliamente en la comu-
nidad de lgicos matemticos y cobr gran celebridad, a punto tal que
ha sido considerada la concepcin heredada de la historia de la lgica.
Para su distincin, van Heijenoort se basaba en la oposicin ex-
presada por el mismo Frege, quien recurra a trminos de la tradicin
leibniziana para responder a algunas crticas hechas a la escritura
conceptual que l haba presentado en 1879. As, Frege afirmaba:
De hecho, yo trataba de crear una lingua characterica en el sentido
leibniziano y no un mero calculus ratiocinator (Frege 1883, p. 89).
Dicho de una manera extremadamente simplificada, con la ex-
presin lingua characterica, Frege se refera a un lenguaje con una
interpretacin fija y universal, que serva para expresar un contenido.
Por el contrario, un calculus ratiocionator era un sistema simblico
sin una interpretacin predeterminada, construido con la finalidad de
resolver problemas lgicos.
Obviamente, pese a estas diferencias tan fundamentales, la distin-
cin presupona un terreno de discusin comn, que era la presentacin
simblica o lingstica de la lgica (e incluso de los diferentes sistemas
matemticos). En ambas concepciones, los sistemas simblicos eran
esenciales para entender la naturaleza de la lgica, aunque la idea que
se tuviera de los sistemas simblicos fuera diferente. Los sistemas res-
pectivos permitan identificar claramente los conceptos lgicos y sus
propiedades, obtenindose as una precisa caracterizacin de la deduc-
cin, libre de ambigedades y vaguedades. La idea no era enteramen-
te nueva, pero tanto en los algebristas de la lgica como en Frege,
estaba formulada de una manera explcita. Ms an, una filosofa del
simbolismo estaba en la base de la idea misma de lgica. Por lo tanto,
toda idea de la lgica que no asignara un lugar central al simbolismo,
o incluso al lenguaje en general, quedaba directamente fuera de esta
distincin y, de hecho, quedaba fuera de la lgica simblica.
Es tema de discusin la adecuacin histrica de la distincin he-
cha por van Heijenoort y no ha sido difcil advertir, tal como le han
hecho historiadores posteriores de la lgica, casos que no se encua-
dran en la distincin y casos en los que aparecen ambos aspectos de
la distincin. De todos modos, el mismo van Heijenoort consideraba
que la distincin comenz a desdibujarse a partir de comienzos del
siglo XX y hacia 1920 tuvo lugar un dpassement (o sea, una supera-
cin) de ambas concepciones (vease van Heijenoort 1967).
Ms tarde, Jaakko Hintikka retom esa distincin y la aplic no
slo al desarrollo posterior de la lgica simblica sino tambin a la fi-

944
losofa. En realidad, es ms adecuado hablar de una reformulacin de
la distincin de van Heijenoort, pues de hecho l va a hablar no slo
de la lgica, sino del lenguaje como clculo y como medio univer-
sal. Hintikka lleg a considerar dicha distincin como la presuposi-
cin ms fundamental de la filosofa del siglo XX (vase Hintikka
1997, p. IX). A continuacin, voy a esbozar brevemente las razones
que ofrece Hintikka para hacer tal afirmacin.
A diferencia de van Heijenoort, Hintikka aplica la distincin a la
lgica simblica posterior a 1920. En realidad, comienza aplicndola
a las ideas que Wittgenstein expres en el Tractatus y, en aos pos-
teriores, en sus conversaciones con miembros del Crculo de Viena,
luego a Tarski y los inicios de la teora de modelos, Carnap, Quine y
C. S. Peirce, a Carnap a veces en forma sucesiva o en forma simult-
nea (vase sobre todo Hintikka 1997). Hintikka plantea la distincin
para el lenguaje antes que para la lgica en sentido estricto. Obvia-
mente, la idea de lenguaje universal (lenguaje como medio universal,
como aparece en Hintikka 1988) es muy clara en Wittgenstein o en
Quine; Carnap resulta universalista en su primer perodo al menos,
Tarski debe adscribirse a la tradicin del calculus y Peirce es adscrip-
to a esta misma tradicin, pese a constituir un caso bastante proble-
mtico. En este mismo contexto Hintikka esboza el problema de la
inefabilidad de la semntica, en el sentido de que la semntica del
lenguaje no puede expresarse en el lenguaje, y tambin ofrece una
serie de notas propias de cada una de las tradiciones (vase Hintikka
1990).

II

Esta distincin entre clculo y lenguaje universal resulta ser un

marco general aplicable a muy variadas corrientes de pensamiento,
especialmente las que estn ligadas a la naturaleza de la lgica y la
matemtica. Un caso a considerar es el del intuicionismo matemti-
co, la escuela instaurada por L. E. J. Brouwer y luego continuada por
Arendt Heyting, entre otros. La cuestin de ubicar a esta escuela en
la distincin tiene sentido prima facie, si se piensa que el intuicionis-
mo tuvo un papel central en la discusin acerca de los fundamentos
de la matemtica en el siglo XX, defendiendo posiciones ontolgicas
y gnoseolgicas bien definidas acerca de la matemtica y criticando
sobre todo al programa de Hilbert. De estas posiciones surgi, como
es bien sabido, una lgica alternativa, crtica de principios lgicos

945
como el de tercero excluido o el de doble negacin, y notablemente
influyente en la filosofa de la lgica. Un aspecto a tomar en cuenta
es que la distincin entre clculo y lenguaje siempre se ha hecho en
relacin con la lgica clsica y nunca se ha aplicado a lgicas no cl-
sicas como la intuicionista. En realidad, el problema de la validez de
los principios lgicos clsicos no parece haber desempeado papel
alguno en la discusin de esta distincin.
Brouwer tena fuertes convicciones filosficas ya en la poca de
su tesis doctoral de 1907, y en definitiva estas convicciones fueron un
ingrediente esencial tanto en su trabajo en matemtica como en la
justificacin de su intuicionismo. Como es sabido, l conceba las en-
tidades matemticas como construcciones mentales en el tiempo:
El fenmeno primordial aqu no es ms que la intuicin del tiempo, en
la cual es posible la repeticin de cosa en el tiempo y de nuevo una cosa,
y sobre cuya base momentos de vida pueden descomponerse en secuen-
cias de cosas diferentes cualitativamente diferentes; stas se concentran
subsiguientemente en el intelecto como secuencias matemticas, no sen-
tidas (sensed), sino percibidas (Brouwer 1907, p. 81).
Estas convicciones filosficas incluan una concepcin del lengua-
je y de su funcin en la matemtica. Como expres ms tarde:
La matemtica intuicionista es una estructura mental esencialmente
no lingstica (Brouwer 1947, p. 339).
Esto quiere decir que el conocimiento matemtico es obtenido por
la mente individual, y este conocimiento y sus resultados son regis-
trados en un medio fsico constituido por un sistema de smbolos ni-
camente con el fin de ayudar a la memoria. As, la separacin entre
pensamiento y lenguaje se basa en la forma de solipsismo que soste-
na Brouwer, de modo que en la matemtica entendida como la acti-
vidad constructiva intuitiva que tiene lugar en el interior del sujeto
cognoscente, el lenguaje no ocupa un papel sustantivo. Esta es la
posicin que sostuvo en la influyente conferencia que ofreci en Viena
en marzo de 1928 (Brouwer 1929).
El lenguaje era para Brouwer una herramienta para la comuni-
cacin, que es esencialmente imperfecta y que nunca puede garanti-
zar la evocacin de las mismos estados subjetivos de conciencia (que
es lo que est en la base de la matemtica) en los diferentes indivi-
duos, aunque en ltima instancia poda dirigir las acciones matem-
ticas de los oyentes en la direccin que el hablante desea. Esto se
advierte ya claramente en algunas partes de la primera versin de su
tesis doctoral que fueron rechazadas por su director de tesis, el ma-

946
temtico Korteweg (quien las desestim por su carcter especulativo;
vase detalles al respecto van Dalen 1999, p. 92).
Brouwer adhiri a las ideas del movimiento Significs, que tuvo en
Holanda un desarrollo importante y cont entre sus miembros al
matemtico G. Mannoury (maestro de Brouwer), al periodista Henri
Borel y al escritor y psiquiatra Frederik van Eeden. El movimiento
haba sido iniciado en Inglaterra por Victoria Lady Welby a comien-
zos del siglo XX y tena puntos de contacto con la semitica de Char-
les S. Peirce. Se presentaba como un estudio del significado en general
y aspiraba a una reforma del lenguaje con el fin de mejorar la vida en
sociedad. Toda forma de expresin es tenida en cuenta, desde las fr-
mulas matemticas hasta la actuacin teatral, centrndose en aspec-
tos que podran llamarse pragmticos. Debido a sus aspiraciones
sociales, el movimiento vea en la educacin el campo ms promisorio
de aplicacin de sus ideas. Tambin debido a esta intencin de promo-
ver cambios sociales, el movimiento tenda a sostener una concepcin
imperativa del lenguaje humano: el fin del lenguaje es llegar a modi-
ficar la conducta del prjimo.
El principio bsico que animaba a este movimiento deca que el
lenguaje no es capaz de representar adecuadamente parte alguna de
la realidad, sino que el significado de las palabras depende del efec-
to pretendido por el hablante o que el auditorio percibe (vase Vuysje
1951). Siguiendo estas ideas, Brouwer sostena, por ejemplo, que el
lenguaje era esencialmente un instrumento para la transmisin de
voluntad (Brouwer 1933, p. 51).
El movimiento tuvo eco no slo en Brouwer, sino que influy en la
filosofa del lenguaje de algunos filsofos del lenguaje como Friedrich
Waismann e interactu con el Crculo de Viena. E. W. Beth aplic sus
principios para estudiar los aspectos pragmticos de los lenguajes for-
males. Segn Beth, y en sintona con Brouwer y Heyting, los lengua-
jes formales no son capaces de representar los actos de construccin
propios de la actividad mental matemtica (vase Beth 1936-7).

III

En el caso de Heyting, las observaciones sobre el lenguaje tam-

bin estn estrechamente vinculadas con las discusiones acerca de la
formalizacin de la lgica y matemtica intuicionistas. Heyting pre-
sent en 1929 el primer sistema axiomtico formal para la lgica in-
tuicionista, siguiendo al menos parcialmente los lineamientos del

947
programa de Hilbert, con lo cual abri el camino para el estudio de las
propiedades de la lgica intuicionista.
Sin embargo, Heyting comenzaba su presentacin con la siguien-
te observacin:
La matemtica intuicionista es una actividad del pensamiento [Denk-
ttigkeit], y todo lenguaje, incluso el formalista, es para esta slo un
medio auxiliar que sirve a los fines de la comunicacin. Es fundamen-
talmente imposible, determinar un sistema de frmulas que sea equi-
valente a la matemtica intuicionista, pues las posibilidades del
pensamiento no se pueden reducir a un nmero finito de reglas estable-
cidas de antemano. El intento de reproducir las partes ms importan-
tes de la matemtica en un lenguaje formal se justifica exclusivamente
por la concisin y precisin de este ltimo frente al lenguaje habitual.
Estas propiedades lo hacen apropiado para hacer ms fcil el estudio
de los conceptos intuicionistas y su uso en investigaciones (Heyting
1930, p. 42).
En este pasaje se encuentran las ideas bsicas que Heyting tena
acerca de la representacin lingstica de la matemtica intuicionis-
ta y de su formulacin mediante sistemas formales. Estas ideas pue-
den resumirse del siguiente modo:

(i) La representacin por medio de lenguajes formales es un impor-

tante auxilio para el estudio de propiedades de la matemtica
intuicionista, pero no puede expresarla en su totalidad.
(ii) El lenguaje ordinario tiene la funcin de comunicar las activida-
des mentales mediante las cuales se desarrolla la matemtica. Sin
embargo, la matemtica no es de naturaleza lingstica.

Un poco despus, en el simposio sobre fundamentos de la mate-

mtica que tuvo lugar en Knigsberg en 1930, luego publicado en
Erkenntnis, Heyting afirmaba de manera consistente con lo anterior:
[El matemtico intuicionista] emplea el lenguaje, tanto el natural como
el formalizado, nicamente para comunicar pensamientos, es decir, para
hacer que otros o l mismo sigan sus propias ideas matemticas. Este
acompaamiento lingstico no es una imagen [Bild] de la matemtica,
y mucho menos es la matemtica misma (Heyting 1931, p. 53).
Claramente, para Heyting el lenguaje no tiene una funcin
representacional, su estructura no representa estructuras de algn
tipo, en particular las estructuras que son las construcciones menta-
les (vase Heyting 1974, p. 89), sino que est ligada a la comunicacin

948
y a la motivacin de acciones en el oyente. La misma idea repetir
aos ms tarde
Empleamos el lenguaje para influir sobre los pensamientos y las accio-
nes de otras personas. Cuando un matemtico escribe un artculo o un
libro, tiene la intencin de sugerir construcciones matemticas a otras
personas; cuando escribe notas para auxiliar su memoria, su futuro yo
juega el papel de otra persona (Heyting 1974, p. 88).
Estas limitaciones del lenguaje para la representacin son subra-
yados por Heyting en su libro sobre el intuicionismo de 1956:
Si adoptamos este punto de vista [el formalista], chocamos con el obs-
tculo de la ambigedad fundamental del lenguaje. Dado que el signi-
ficado de una palabra nunca puede ser fijado con suficiente precisin
para evitar toda posibilidad de malentendidos, nunca podemos estar
matemticamente seguros de que el sistema formal expresa correcta-
mente nuestros pensamientos matemticos (Heyting 1956, p. 4).
Como consecuencia,
Se ve claramente que semejante examen de la matemtica intuicionis-
ta [la formalizacin] nunca producir una descripcin completa y defi-
nitiva de sta (Heyting 1956, p. 9).
Nunca se est seguro de que el sistema formal representa totalmente
cualquier dominio del pensamiento matemtico; en cualquier momen-
to el descubrimiento de nuevos mtodos puede forzarnos a extender el
sistema formal (Heyting 1956, p. 5).
Una de las razones de las limitaciones del formalismo para repre-
sentar la matemtica reside en su carcter incompleto, siempre abier-
to al futuro, a modificaciones en el tiempo. El sistema formal no puede
captar la matemtica en su totalidad, porque, de acuerdo con una
creencia bsica del intuicionismo, sta puede progresar, incorporar
nuevos conceptos y teoremas.

De todos modos, la formalizacin, cumple una funcin auxiliar

importante:
Las formalizaciones pueden llevarse a cabo dentro de la matemtica y
se convierten en una herramienta matemtica poderosa (Heyting 1956,
p. 5).
Por ejemplo, permite dar demostraciones de consistencia:
Desde el punto de vista que estoy esbozando, su importancia [la del m-
todo formalista] es principalmente prctica. Un sistema inconsistente,

949
 en el cual toda frmula sea derivable, no puede ser muy til (Heyting
1974, p. 89).
El estudio de la deduccin, tal como es llevado a cabo en la lgi-
ca simblica, es para Heyting matemtica aplicada, una aplicacin de
la matemtica (y no su fundamento), ya que para su formulacin se
requieren teoras matemticas como, por ejemplo, la teora de conjun-
tos. As,
Los teoremas lgicos son teoremas matemticos. La lgica no es el fun-
damento de la matemtica; por el contrario, conceptualmente es una
parte complicada y sofisticada de la matemtica (Heyting 1974, p. 87).
As, respecto al menos de los clculos lgicos, esta posicin tiene pun-
tos en comn con la tradicin algebraica de la lgica como clculo, pues
la lgica se construye mediante una teora matemtica, y para Heyting
(a diferencia de Brouwer) esto es de utilidad terica. Como suceda en
la tradicin algebraica, la matemtica es previa a la lgica.

IV

La posicin del intuicionismo matemtico respecto de la natura-

leza del lenguaje, tanto ordinario como formal, queda as esbozada, al
menos en su versin ms tradicional. Resta ubicarlo en la distincin
entre clculo y lenguaje universal.
De un lado, debe notarse que van Heijenoort haca referencia en
su artculo a una superacin de la distincin hacia 1920, y que la obra
de Heyting, posterior a esa fecha, puede encuadrarse dentro de esa
superacin. Heyting no descarta el inters que pueda tener la cons-
truccin de clculos formales, pero para l estos no cumplen un papel
esencial en la caracterizacin de la lgica o la matemtica intuicionis-
tas. Tampoco puede esperarse que el examen del lenguaje ordinario
proporcione alguna comprensin decisiva de stas. Por ejemplo, el len-
guaje no juega papel alguno en la determinacin de los principios l-
gicos, pues su validez se basa en la actividad mental del sujeto, en
construcciones subjetivas. Y esto es muy diferente de pensadores
como Frege o Wittgenstein para quienes el lenguaje s cumpla un
papel semejante.
De otro lado, los intuicionistas tenan una concepcin del len-
guaje, si bien no siempre explicitada. Hintikka adopt del filsofo de
la historia Robin George Collingwood la nocin de presuposicin
ms fundamental (ultimate presupposition, vase Hintikka 1997).

950
Collingwood la usaba para referirse a aquellos supuestos tcitos que
se dan en los diferentes perodos de la historia de la filosofa y la his-
toria intelectual y que son descubiertos nicamente gracias a una
reflexin posterior. En este caso la presuposicin ms fundamental es
la que surge al preguntar si el lenguaje, es decir nuestro lenguaje
ordinario, el lenguaje coloquial como deca Tarski, es universal. La
palabra universal debe tomarse en el sentido fuerte de que no es
posible salirse o evadirse de l. Este sentido abre una perspectiva
mucho ms amplia. De hecho, Hintikka encuentra el problema tam-
bin en filsofos como Husserl o Heidegger, o en la escuela hermenu-
tica, todos con un trasfondo filosfico claramente diferente al de los
iniciadores de la lgica simblica. El intuicionismo puede ser ubica-
do en esta visin ms amplia. La consideracin del lenguaje ordina-
rio exclusivamente como medio de comunicacin de los pensamientos
matemticos es afn a esta idea de universalidad. La afirmacin de las
limitaciones del lenguaje para capturar la matemtica refuerza este
hecho.
Finalmente, no debe pasarse por alto un importante punto de
coincidencia entre Brouwer y Frege. Para ambos la lgica y la mate-
mtica se ocupaban de objetos. Por supuesto, estos objetos eran de
naturaleza muy distinta en cada caso y tambin era muy distinto el
conocimiento de estos objetos y sus propiedades. Sin embargo, en
ambos casos todo discurso lgico y matemtico tena un contenido.
Para Brouwer ese discurso se daba de manera imperfecta en el len-
guaje ordinario (y no poda ser de otro modo por las limitaciones de
todo lenguaje), mientras que para Frege fue esencial la presentacin
en un simbolismo que, entre otras cosas, reflejaba la estructura de las
entidades matemticas. As, Brouwer y Frege compartan el rechazo
a las diferentes versiones de formalismo que sostenan algunos ma-
temticos de su tiempo y en este aspecto ambos se enrolaban en una
misma tradicin.

Referencias

Beth, Evert W. 1936-7. De significa van de pasigrafische systemen. Bijdrage

tot de psychologie van het wiskundig denkproces. Euclides 13, pp. 145-
158.
Brouwer, Luitzen Egbertus Jan. 1907. Over de grondslagen der wiskunde.
Tesis doctoral, Amsterdam. Reimpr. Amsterdam, Mathematisch
Centrum, 1981. Trad. inglesa en Collected Works Vol. I, comp. por
Arendt Heyting, Amsterdam, North-Holland.

951
Brouwer, Luitzen Egbertus Jan. 1929. Mathematik, Wissenschaft und
Sprache, Monatshefte fr Mathematik und Physik 36, 153-164.
Brouwer, Luitzen Egbertus Jan. 1933. Willen, weten, spreken, Euclides 9,
pp. 177-193.
Brouwer, Luitzen Egbertus Jan. 1947. Richtlinien der intuitionistische
wiskunde, Proc. Akad. Amsterdam 50, p. 339.
Frege, Gottlob. 1883. ber den Zweck der Begriffsschrift. En Angelelli, Ig-
nacio (comp.), Gottlob Frege. Begriffsschrift und andere Aufstze. Mit E.
Husserls und H. Scholz Anmerkungen, Darmstadt, Wissenschaftliche
Buchgesellschaft, 1964, pp. 97-106.
Heyting, Arendt. 1930. Die formalen Regeln der intuitionistischen Logik,
Sitzungsber. preuss. Ak. Wiss. Phys.- Math. Klasse II, pp. 42-56.
Heyting, Arendt. 1931. Die intuitionistische Grundlegung der Mathematik,
Erkenntnis 2, 106-115.
Heyting, Arendt. 1956. Intuitionism. An Introduction, Amsterdam - Londres,
North-Holland.
Heyting, Arendt. 1974. Intuitionistic Views on The Nature of Mathematics,
Synthese 27, pp. 79-91.
Hintikka, Jaakko. 1988. On The Development of The Model-Theoretical
Viewpoint in Logical Theory, Synthese 77 (1988), pp. 1-36.
Hintikka, Jaakko. 1990. Quine as a Member of The Tradition of The
Universality of Language. In Perspectives on Quine, ed. by R. Barrett
& R. Gibson, Oxford, Basil Blackwell, 1990, pp. 159-175
Hintikka, Jaakko. 1997. Lingua Universalis vs. Calculus Ratiocinator. An
Ultimate Presupposition of Twentieth-Century Philosophy, Dordrecht et
al., Kluwer.
van Dalen, Dirk. 1999. Mystic, Geometer and Intuitionist. The Life of L. E. J.
Brouwer. Vol. I, Oxford, Clarendon Press.
van Heijenoort. Jan. 1967. Logic As Calculus and Logic As Language. En
Boston Studies in The Philosophy of Science, Comp. por R. S. Cohen y M.
Wartofsky, Dordrecht, Reidel, pp. 440-446. Reimpr. en Selected Essays,
Npoles, Bibliopolis, 1985.
Vuysje, D. 1951. The Psycho-Linguistic Movement in Holland, Philosophy
of Science 18, 3, 262-268.

Universidad de Buenos Aires

y CEF/ANCBA - CONICET
jlegris@mail.retina.ar

952
 POR QU RECORDAMOS A BROUWER?

JORGE ALFREDO ROETTI

Por qu recordamos a Brouwer? Hay varias maneras de enten-

der la pregunta. Para nosotros ser la pregunta que se pueden hacer
quienes han cultivado la lgica por aos y se han ocupado alguna vez
con temas relativos a la disputa de fundamentos entre lgicos clsi-
cos e intuicionistas. La lgica actual, en sus numerosas ramas, si-
gue siendo mayoritariamente clsica. Sin embargo el intuicionismo
y su presunta superacin, el constructivismo, atraen cada vez ms
adeptos. Hoy podemos recordar a Brouwer como quien inici hace un
siglo, en 1907, la forma moderna del estilo de fundamentacin intui-
cionista. Tambin podemos preguntarnos si lo recordaremos como
matemtico, como lgico o como filsofo. La inspeccin de su obra fa-
cilita la respuesta: lo recordaremos simultneamente como matem-
tico, lgico y filsofo, porque su lgica pretendi fundarse en lo que
Brouwer consideraba el genuino modo de pensar matemtico y eso
supona una concepcin de ese pensar y del conocimiento en general
y de su relacin con el lenguaje. Esto lo llev a elaborar una teora
intuicionista del conocimiento y de la filosofa de la ciencia, especial-
mente de la matemtica. Adems, aunque no entremos en detalles, es
preciso recordar que los intereses filosficos de Brouwer fueron mu-
cho ms amplios que los que ataen a la fundamentacin de la lgi-
ca, la matemtica y la teora del conocimiento.
Luitzen Egbertus Jan Brouwer, matemtico holands, naci el 27
de febrero de 1881 en Overschie, localidad que desde la ocupacin ale-
mana de 1941 pas a ser parte de Amsterdam, y muri el 2 de diciem-
bre de 1966 en Blaricum, tambin Holanda, a los 85 de edad, luego de
que lo atropellara un automvil a la puerta de su casa. Sus numerosos
trabajos sobresalieron en varios campos de la matemtica, pero se ocu-
paron especialmente de topologa es decir, del estudio de las propie-
dades ms bsicas de las estructuras espaciales en sentido amplio, de
teora de la medida y de anlisis matemtico, especialmente anlisis

953
de variable compleja. Demostr el famoso teorema del punto fijo en
1908, estableci la importancia de los espacios cartesianos en topologa,
demostr el teorema de traslacin plana, que caracteriza las transfor-
maciones topolgicas del plano cartesiano sobre s mismo (1911), de-
mostr que el nmero de dimensiones de un espacio cartesiano es
topolgicamente invariante, generaliz el teorema de Jordan para n
dimensiones (1912), etc. A l se debe la primera definicin estricta de
la nocin de dimensin. Luego, entre 1928-1930, discutir con Karl
Menger sobre la prioridad en dicha definicin. Por la importancia y
cantidad de sus resultados muchos lo consideran el padre de la topolo-
ga moderna, lo que no es poco decir. Sus trabajos ms importantes en
esta disciplina los produjo en su juventud, entre los 28 y los 32 aos.
El intuicionismo fue en sus comienzos muy conocido en el centro
y este de Europa, pero recin cobr notoriedad en el resto del mundo
luego de la Segunda Guerra Mundial. Brouwer fue un hombre de ca-
rcter fuerte. Estuvo envuelto en varias peleas con David Hilbert, a
partir de 19201. Se doctor en la Universidad de Amsterdam en 1907
con la disertacin Over de Grondslagen der Wiskunde, en la que se es-
boza el programa intuicionista y comienza su reconstruccin crtica de
la matemtica y la lgica. El ttulo completo de su tesis ya muestra un
espritu combativo, pues traducido dice as: Sobre los principios de la
matemtica, dirigida entre otras cosas contra la axiomatizacin de la
matemtica, la teora de conjuntos de G. Cantor y E. Zermelo, como
tambin contra la lgica simblica de G. Peano y B. Russell. En efecto,
Brouwer fund al intuicionismo matemtico como antagnico al
logicismo y comenz a considerar a una cierta intuicin temporal
como el fundamento de la matemtica. Para l la matemtica era una
ciencia cuyos objetos son construcciones mentales que tornan eviden-
tes las expresiones matemticas que las describen. La lgica intuicio-
nista era para Brouwer un subproducto de la matemtica, lo que
contradeca la tesis del logicismo. Todo individuo nacera con una vi-
sin original de una infinitud de objetos, construida por la generacin
recursiva de colecciones crecientes no acotadas. De hecho, esto expli-
cara la comprensin que tienen los nios de la secuencia de los n-
meros naturales, porque tienen la habilidad de ir aadiendo en la
imaginacin un objeto por vez y as comprender que pueden proseguir
esa secuencia sin encontrar un ltimo elemento de ella, pues no hay
ninguna regla que obligue a acotar el proceso.

1
Recordemos el famoso Mathematische-Annalen-Streit con Hilbert. Ver van
Dalen 1990.

954
 Brouwer emprendi en 1918 la reconstruccin sistemtica de la
matemtica con su trabajo en alemn Begrndung der Mengenlehre
unabhngig vom logischen Satz vom ausgeschlossenen Dritten. Erster
Teil, Allgemeine Mengenlehre (Fundamentacin de la teora de conjun-
tos con independencia del principio de tercero excluido. Primera parte,
Teora general de conjuntos), que complet en 1920 con Intuitionistische
Mengenlehre (Teora intuicionista de conjuntos), el primer trabajo de
matemtica intuicionista que apareci en una revista cientfica inter-
nacional de primera lnea: el Jahresbericht des Deutschen Mathematiker-
Vereins (Informe anual de la Unin Matemtica Alemana).
A consecuencia del teorema de Zermelo, que demostraba la equi-
valencia deductiva entre el principio de eleccin y el de buena orde-
nabilidad de todo conjunto, Brouwer se propuso reconstruir la teora
de conjuntos y toda la matemtica prescindiendo del sospechoso axio-
ma de eleccin. As comenz la reconstruccin intuicionista de buena
parte de la matemtica. No obstante, sin el axioma de eleccin, una
parte considerable de la matemtica clsica desapareca, por lo que
la escuela intuicionista fue firmemente resistida, especialmente por
Hilbert y su escuela formalista y los antiguos logicistas.

Algunos aspectos del intuicionismo

Como ya sealramos, se deben a Brouwer muchos avances en

varios campos de la matemtica, pero nosotros enfatizaremos la re-
volucin que produjo en la lgica, provocada por sus ataques contra
el logicismo de Frege, Peano y sus seguidores, contra los infinitos
actuales de Cantor y sus adlteres, contra la admisin de tertium non
datur en dominios no finitos, contra la asercin no calificada de exis-
tencia, cuando no se puede dar una construccin del objeto del cual se
dice que existe matemticamente, y contra el reconocimiento del
conjunto del continuo de todos los nmeros reales. Como solucin
propuso concebir al continuo como un medio que deviene libremen-
te. En virtud de las dificultades de fundamentacin de la matem-
tica clsica y de las entonces recientes antinomias de la teora ingenua
de conjuntos de Cantor, Brouwer se propuso:
1. Utilizar slo entes matemticos construidos previamente a
partir de la secuencia de la intuicin originaria, o Ur-
Intuition en alemn.
2. Utilizar una lgica oriunda del pensamiento matemtico, que
ser la lgica intuicionista adecuada para colecciones infini-

955
 tas de objetos, y no una fundada en las reglas para el pensa-
miento finito, que ser la lgica clsica.
3. Admitir slo los infinitos reducibles al infinito potencial, que
es el nico construido en la secuencia de la intuicin origina-
ria, y de este modo rechazar gran parte del paraso de Can-
tor, que defendan logicistas y formalistas.
4. Reconstruir la matemtica clsica exclusivamente con mto-
dos constructivos de definicin y demostracin.
Para ello su programa exiga que las demostraciones matemti-
cas:
1. Tuvieran un nmero finito de pasos o utilizaran una forma de
induccin enumerable o reducible a ella, es decir reducible a
un proceso infinito potencial dado por un esquema metalin-
gstico finito.
2. Los entes que apareciesen en las demostraciones estuviesen
previamente definidos en forma constructiva, o se construyesen
a partir de los previamente definidos en un nmero finito de
pasos, o por definiciones esquemticas recursivas enumerables
o reducibles a stas.
3. No se admitiesen definiciones impredicativas.
4. No se admitiesen objetos infinitos actuales.
5. Las pruebas de existencia fuesen constructivas, las que po-
dran ser a su vez fuertes o dbiles.
6. No se utilizasen el axioma de eleccin, ni ninguno de sus equi-
valentes.
7. Slo se usase el tertium non datur en aquellos casos en que
uno de los extremos de la disyuncin estuviese demostrado o
existiese un mtodo efectivo para demostrarlo.
8. Las pruebas constructivas fuesen algortmicas.
La matemtica es segn Brouwer la parte exacta del pensa-
miento. Si nos atenemos estrictamente a ello, todo lo que estuviese
suficientemente fundado sera matemtica. Pero las demostraciones
matemticas en sentido estricto se obtienen originariamente por
construccin en la intuicin temporal, a partir de la sucesin funda-
mental de los nmeros 1, 2, Cuando Brouwer present su tesis ya
se saba muy bien que la caracterizacin kantiana del espacio era
ambigua y no permita determinar ninguna geometra mtrica de-
terminada. De all que la pluralidad de geometras relativamente
consistentes con mtricas diversas fueran todas compatibles con la
filosofa kantiana. En cambio la intuicin temporal se presentaba
y se presenta como nica y determinada. Las construcciones rea-

956
lizadas en ella seran por lo tanto necesarias y seran adems el fun-
damento intuitivo de la matemtica como saber absolutamente fun-
dado. La concepcin intuicionista de la verdad matemtica ser
entonces la de una verdad por correspondencia. Por lo tanto la ma-
temtica ser un saber no axiomtico ni analtico, sino sinttico
ampliativo, aunque a priori y montono, en lo que se advierte la
influencia de Kant.
No discutiremos si su temporalidad fue descriptiva o emprica. De
todos modos su concepcin sufri acusaciones de psicologismo. ste es
uno de los problemas que intentarn superar algunos constructivistas
posteriores. Especialmente el constructivismo de Paul Lorenzen
(1915-1995), fue una sntesis dialctica entre el intuicionismo de
Brouwer y el formalismo de Hilbert, pues del intuicionismo acept los
ataques de arriba, con lo que se diferenci de la matemtica clsica,
pero por otra parte rechaz los presuntos aspectos de psicologismo
emprico de las construcciones en el tiempo, que son difciles de con-
siderar pblicas y que por lo tanto podran ser intersubjetivamente
incontrolables. Por otra parte dicho constructivismo adopt parcial-
mente el formalismo de Hilbert, por ejemplo aspectos de su giro lin-
gstico y su concepcin de muchas teoras como sistemas de objetos
que se estudian desde una metamatemtica, pero entre sus objetos no
acept, como s lo haca Hilbert, todo el paraso de Cantor. Por ejem-
plo limit el universo de los transfinitos ordinales a los de la segun-
da clase numrica de los ordinales transfinitos enumerables. Los
procesos recursivos con orden transfinito era admisibles, pero bajo la
condicin de que se encontrara un proceso de reduccin a una
recursin finita. De los cardinales transfinitos slo conserv 0, pues
dio una prueba de que era posible construir funciones inyectivas de
n sobre 0. Esa demostracin permiti, por una parte, tornar super-
flua una parte importante del paraso cantoriano y, por otra, resolver
problemas como el primero de la lista de Hilbert, el de la hiptesis del
continuo. El continuo real R se mostr as como posiblemente enume-
rable2.
Para el filsofo es de inters saber que el lenguaje y el pensamiento
tenan orgenes diferentes para Brouwer. El lenguaje sera origina-
riamente expresin de la subjetividad y se comprenda especialmen-
te por su relacin con la voluntad. Su funcin originaria sera la de
influir mediante sonidos sobre la conducta de los oyentes, es decir pro-

2
Para una explicacin detallada del problema del continuo y su solucin o diso-
lucin constructiva, vase por ejemplo Roetti 2000: ver bibliografa.

957
mover con rdenes o emociones las conductas de los otros miembros
del grupo. Naturalmente el lenguaje primitivo se desarroll hasta
tornarse parcialmente descriptivo y sirvi de ese modo a los humanos
como importante ayudamemoria. No obstante el pensamiento no de-
penda esencialmente del lenguaje, sino de construcciones en la ima-
ginacin. Esto sera especialmente notorio en el pensamiento mate-
mtico, cuyos objetos se construiran sucesivamente a partir de la
secuencia dada por una intuicin originaria temporal o Ur-Intuition.
A partir de esas construcciones imaginativas alcanzaramos la exis-
tencia matemtica, ligada as ntimamente a la conciencia individual.
La intersubjetividad del pensamiento matemtico requerir por su
parte de medios simblicos compartidos de tipo adecuado, entre los
que naturalmente se cuenta un lenguaje ya altamente elaborado de
tipo descriptivo.
El intuicionismo de Brouwer reposaba sobre una filosofa de la
mente, que mucho deba a Kant y a Schopenhauer. La matemtica
era una actividad libre del pensamiento exacto que se fundaba en la
intuicin pura del tiempo interno de la conciencia. Los objetos exter-
nos y el lenguaje no jugaran un papel importante en ella. De este
modo intent evitar el platonismo con sus problemas epistemolgicos
y el formalismo con su pobreza de contenido. La verdad matemtica
resida en la actividad del pensamiento. Un enunciado sobre ciertos
objetos matemticos slo era verdadero cuando el sujeto haba experi-
mentado su verdad a partir de la construccin mental de esos objetos
y sus relaciones, y era falso slo cuando el sujeto haba experimenta-
do su falsedad o, lo que es lo mismo, haba realizado una construccin
mental que mostraba su imposibilidad. Por ello para Brouwer no exis-
tan verdades no experimentadas.
Su filosofa de la mente no fue un aspecto anecdtico de su pensa-
miento, sino un componente esencial que l desarrollara a lo largo de
toda su vida. Por ello no le interes si la matemtica reconstruida al
modo intuicionista era compatible o incompatible con la matemtica
clsica. Esto no result problemtico en el caso de la aritmtica ele-
mental, pues la aritmtica intuicionista result ser un subsistema de
la aritmtica clsica, y por lo tanto compatible con sta. En cambio en
anlisis matemtico, que es la extensin de la aritmtica a los domi-
nios continuos real y complejo con operaciones de diferenciacin, la
situacin se torn diferente, pues se dio la circunstancia de que ni todo
el anlisis clsico era intuicionistamente aceptable, ni todo el anli-
sis intuicionista era clsicamente aceptable.

958
Desarrollo del intuicionismo de Brouwer

Brouwer escribi en 1905 un pequeo libro titulado Vida, arte y

misticismo, donde todava no desarrollaba su concepcin de la mate-
mtica, pero donde dio la clave para la comprensin de los fundamen-
tos en la forma en que se utilizaron luego en su disertacin de 1907.
El librito reuni una variedad de temas, desde el de su concepcin de
la sociedad y de las mujeres, hasta sus ideas bsicas sobre la mente,
el lenguaje, la ontologa y la epistemologa. Los problemas fundamen-
tales de la filosofa y no las novedosas paradojas y antinomias de esos
das son los que incitaron el desarrollo intuicionista de Brouwer. No
obstante, una vez que se hubiese desarrollado suficientemente el in-
tuicionismo, surgieron de l soluciones adecuadas para esas parado-
jas y antinomias.
Brouwer sostuvo siempre que la matemtica era una actividad
independiente del lenguaje y que ste slo cumpla la funcin de des-
cribir la actividad matemtica. Esto lo llev a negar todo papel fun-
dacional en matemtica a los tratamientos axiomticos. Por su parte
la lgica se convirti en el estudio de las regularidades que se dan en
las traducciones lingsticas de la actividad matemtica y era por lo
tanto dependiente de la matemtica, en tanto expresin de esas regu-
laridades, y no a la inversa, como pretenda el logicismo. Eso lo mo-
vi a introducir la distincin entre matemtica y metamatemtica,
para la que us la expresin matemtica de segundo orden, como le
comenta a Hilbert en sus conversaciones de 1909. Hilbert adoptar
luego esa distincin, que se toma como de su invencin, introducien-
do el trmino metamatemtica. No recuerdo que Hilbert se haya
acordado de Brouwer al considerar la idea.
El recurso del intuicionismo al sujeto creador, luego de la intro-
duccin de las secuencias de eleccin y la demostracin del teorema
de barra, fue un nuevo paso en el uso de aspectos de la estructura
supuestamente necesaria del sujeto matemtico, lo que lo aproxim
nuevamente a la concepcin kantiana de la demostracin matemti-
ca. Como el desarrollo de la matemtica es un proceso infinito funda-
do en las construcciones que paulatinamente se van realizando en el
sujeto matemtico, podemos esperar siempre nuevos instrumentos
demostrativos ligados a la descripcin de la estructura de la subjeti-
vidad.
La nocin clsica de secuencia es diferente en la matemtica in-
tuicionista, especialmente por su principio de eleccin continua (en

959
ingls principle of continuous choice o CC). Los teoremas fundamen-
tales del anlisis intuicionista el teorema de barra, el teorema de
abanico y el teorema de continuidad se encuentran en ber
Definitionsbereiche von Funktionen (Sobre los dominios de la defini-
cin de funciones) de 1927. Los dos primeros son teoremas estructu-
rales sobre las extensiones o dispersiones; el tercero, que no se debe
confundir con el principio de continuidad para las secuencias de elec-
cin, dice que toda funcin total [0,1] R es continua e incluso uni-
formemente continua. El teorema de abanico es un corolario del
teorema de barra y cuando se lo combina con el principio de continui-
dad, que por otra parte no es clsicamente vlido, produce el teorema
de continuidad. Lo sorprendente es que en el anlisis clsico ambas
partes de ese teorema seran falsas. El teorema de barra y el teore-
ma de abanico, por su parte, son clsicamente vlidos, aunque las de-
mostraciones clsica e intuicionista para ellos no son intercambiables:
las demostraciones clsicas no son intuicionistamente aceptables por
depender del principio de tercero excluido y las demostraciones intui-
cionistas son clsicamente inaceptables por tener como aspectos ine-
vitables de su demostracin reflexiones sobre la estructura de las
demostraciones mentales. Una interesante demostracin del teorema
de barra dio Michael Dummett en su libro Intuitionism.

La cuestin de la existencia en matemtica

La cuestin de la cualidad de la existencia arriba indicada era

peculiarmente importante, pues obligaba a distinguir en matemti-
ca entre:

Existencia fuerte, que es la que se predica cuando se puede dar

una regla de construccin de un objeto tal que fa, lo que por la re-
gla de deduccin admitida fa Vx.fx nos permite deducir
Vx.fx, y

Existencia dbil, que predicamos cuando carecemos de la cons-

truccin de un objeto a tal que fa, pero podemos demostrar que de
la negacin de la existencia se deduce una expresin indemostrable
en la teora, es decir Vx.fx f, lo que equivale a Vx.fx.
Muchsimos teoremas de existencia son slo de existencia dbil.
El propio teorema brouweriano sobre el punto fijo es un teorema de
existencia dbil. Dicho teorema en una versin simple dice:

960
 Si g es una funcin continua suryectiva g(x) tal queg(x)e[a, b]
para todo xe[a, b], entonces g tiene un punto fijo g(x) = x en [a, b]. Se
suele proponer demostraciones clsicas como la siguiente:

Dem. Por definicin de la funcin g(a) a, g(b) b, por lo tanto

g(a) a 0, g(b) b 0

Puesto que g es continua el teorema del valor medio garantiza

que no es el caso que para todo ce[a, b] no se d g(c) c = 0. Es decir,
no es el caso que no exista al menos un ce[a, b] tal que g(c) = c. Esto
es lo que se afirma al decir que existe en sentido dbil al menos un
punto fijo en el intervalo cerrado [a, b].
Como se advierte, recordando el teorema del valor medio o el teo-
rema de Rolle, se deduce la existencia de al menos un punto fijo, pero
de ningn modo se puede determinar un punto tal para una funcin
continua y suryectiva cualquiera. Se trata pues de una demostracin
de existencia dbil.
Una versin ms general dira por ejemplo: Toda funcin conti-
nua suryectiva G:Bn Bn tiene un punto fijo, donde
Bn = {xeR: x = x 21 + ... + x 2n 1} es la esfera n-dimensional unitaria ce-
rrada de radio uno.

El tercero excluido

Brouwer rechaz la validez universal del principio de tercero

excluido o tertium non datur (tnd), aunque en los tiempos de su di-
sertacin todava pensaba que dicho principio era correcto aunque
intil, porque todava interpretaba pp como clsicamente equiva-
lente a p p. En su trabajo de 1908 De Onbetrouwbaarheid der
Logische Principes (La no fiabilidad de los principios lgicos) formu-
l una crtica al tdn, diciendo que, aunque en su forma simple pp
dicho principio nunca llevara a contradicin, hay instancias del mis-
mo en las que no es razonable considerarlo verdadero. A partir de all
uno de los puntos centrales de la matemtica intuicionista fue la ne-
gacin de la validez universal de dicho principio. En su lugar se ad-
miti un quintum non datur metamatemtico irrestricto para las
proposiciones matemticas que se expresa as:
AAA*A, donde *A es una fbf. matemtica indecidida o
indecidible.

961
 Un caso tradicional de fbf. matemtica an indecidida y tal vez
indecidible es la conjetura de Goldbach (1690-1764): Todo nmero
natural par diferente de 2 es suma de al menos un par de nmeros
primos. Los enunciados matemticos de este tipo son importantes,
pues muestran lo inadecuado de la limitacin de la lgica a enuncia-
dos definidos respecto de la verdad, es decir V o F, y justifican su
extensin modificada a enunciados indefinidos respecto de la verdad,
aunque definidos respecto de su procediminento de fundamentacin,
es decir respecto del procediminto de ataque y defensa. Tanto el in-
tuicionismo como el constructivismo no parten del prejuicio de biva-
lencia de las lgicas llamadas crisipianas de que todo enunciado sea
V o F, prejuicio cometido tambin por la concepcin llamada plat-
nica de la matemtica, sino que admiten enunciados indefinidos res-
pecto de verdad y falsedad. En la metamatemtica esta tesis se
expresa del modo siguiente:
1. A equivale a A est demostrada,
2. A f equivale a A o A est demostrada (donde f es una fbf.
necesariamente falsa en la teora),
3. (A f) f equivale a A o a A est demostrada,
4. *A equivale a ni est demostrada A, ni est demostrada A, ni
est demostrada A pero:
4.1. o bien existe al menos un algoritmo que podra decidir la cues-
tin, aunque an no hemos completado su utilizacin,
4.2. o no se conoce an ningn algoritmo que permita decidir la
cuestin, pero puede existir,
4.3. o no puede existir ningn algoritmo que permita decidir la
cuestin.
Estas variantes de 4 son las que permitiran hablar, por ejemplo,
incluso de un septimum non datur.
De lo anterior se sigue que para el intuicionismo vale que: A
implica la falsedad necesaria de la falsedad necesaria de A, pero la
falsedad necesaria de la falsedad necesaria de A no implica A, e. d.,
es teorema A A, pero no es demostrable A A, con lo que
se conserva la introduccin de la doble negacin, pero cae su elimina-
bilidad. Esta asimetra es incompatible con el principio del tercero
excluido, pues en matemtica puede demostrarse, respecto de esa fbf.,
o A, o A, o A, o nada de ello, es decir nuevamente quintum non
datur.
Brouwer se propuso reconstruir la teora de conjuntos de Cantor
con estos instrumentos deductivos ms dbiles. En sus primeros tra-
bajos de la poca de su disertacin haba fracasado en el intento de

962
otorgarle un sentido intuitivo o constructivo a la segunda clase num-
rica de Cantor, es decir la clase de todos los ordinales infinitos enu-
merables, y a las clases de ordinales an mayores. A partir de aqu
advirti que no se puede realizar tal sentido intuitivo para las clases
superiores de nmeros ordinales, por lo que conserva slo los ordina-
les finitos y una coleccin abierta indefinida de ordinales infinitos
enumerables. En consecuencia no admiti una parte importante de la
matemtica conjuntista generalmente aceptada en ese momento.
Para ello propuso ejemplos que, por no refutar estrictamente al tdn,
se conocen como los contraejemplos dbiles.

Contraejemplos dbiles

La innovacin que otorga al intuicionismo un alcance mucho

mayor que el de otras variedades de matemtica constructiva, inclui-
da la del propio Brouwer en su disertacin, es la de sus secuencias de
eleccin. Estas secuencias potencialmente infinitas de nmeros u
otros objetos matemticos, elegidos uno tras otros, hicieron su apari-
cin como objetos matemticos en una resea de libros de 1914. El
principio que las haca matemticamente admisibles fue el principio
de continuidad, que recin formul Brouwer en 1916 en unas notas a
unas conferencias. La utilidad principal de las secuencias de eleccin
era la de permitir una reconstruccin del anlisis clsico: los puntos
sobre el continuo (los nmeros reales) se identificaron con secuencias
de eleccin que satisfacen ciertas condiciones. La secuencias de elec-
cin se reunen en un artefacto denominado spread en ingls (es
decir distribucin o extensin), que cumple una funcin semejante
a la de los conjuntos de Cantor en el anlisis clsico. Brouwer utiliz
al principio incluso la palabra alemana Menge (conjunto) para los
spreads y desarroll una teora de esas extensiones, y una teora de
conjuntos de puntos basada en ella, en un artculo en alemn en dos
partes de 1918/1919 Begrndung der Mengenlehre unabhngig vom
Satz vom ausgeschlossenen Dritten (Fundamentacin de la teora de
conjuntos con independencia del principio de tercero excluido). En
1921 se formul en el ttulo de un trabajo la pregunta de si cada n-
mero real tiene un desarrollo decimal. La respuesta que encontr fue
negativa. Para ello le bast demostrar que se puede construir secuen-
cias de eleccin, es decir nmeros reales, que satisfacen la condicin
de convergencia de Cauchy pero que para su desarrollo dependen de
un problema an no resuelto. Por lo tanto no se podr construir el

963
desarrollo decimal de esas secuencias hasta que el problema no haya
sido resuelto. Desde el punto de vista estrictamente constructivista
eso significa que no existir ningn desarrollo decimal hasta que el
problema no haya sido resuelto. Por lo tanto se podr decir que hay
aunque slo en sentido dbil nmeros reales, es decir secuencias de
eleccin convergentes, que no tienen un desarrollo decimal. En su
trabajo de 1923 ber die Bedeutung des Satzes vom ausgeschlossenen
Dritten in der Mathematik (Sobre el significado del principio de ter-
cero excludo en la matemtica), usando nuevamente secuencias de
eleccin y problemas no resueltos, Brouwer present una tcnica ge-
neral para generar contraejemplos debiles a los principios clsicos.

Contraejemplos fuertes

En Intuitionistische Betrachtungen ber den Formalismus

(Reflecciones intuicionistas sobre el Formalismo) de 1928 discuti las
diferencias entre formalismo e intuicionismo relativas al tnd y a la
relacin entre matemtica y lenguaje, y enfatiz que el formalismo
presupone matemtica con contenido en el metanivel. En ese traba-
jo present tambin su primer contraejemplo fuerte al tnd, mostran-
do que es falso que todo nmero real sea racional o irracional. Uno de
esos contraejemplos dice:
xeR(QxQx),
donde R es el continuo intuicionista y Qx es el predicado x es racio-
nal y los nmeros reales en sentido intuicionista son secuencias de
eleccin convergentes. La verdad del contraejemplo parte de demos-
trar que el continuo no se puede dividir, es decir, no existen disper-
siones no vacas A y B tales que AB = R and AB = . Supongamos
por raa que existiesen esos A y B; entonces la funcin f: R R defi-
nida por f(x) = 0, si xeA, y f(x) = 1, si xeB, es total y por lo tanto, por
el teorema de continuidad de Brouwer (generalizado de [0,1] a R), es
continuo. Pero entonces f debe ser constante. Pero entonces o bien A
es igual a R, o bien B lo es, y la otra dispersin es vaca. Pero esto con-
tradice la hiptesis de que tanto A como B son no vacas. De que el
continuo no se pueda dividir se sigue que xR(Q(x)Q(x)) es falso.
Porque si fuese verdadero, podramos obtener una divisin del conti-
nuo asignando, por f, 0 a los nmeros reales racionales (A), y 1 a los
reales irracionales (B); pero esto es imposible, como hemos visto. Por
lo tanto xR(Q(x)Q(x)).

964
 En las conferencias de Viena de 1928 Mathematik, Wissenschaft
und Sprache (Matemtica, ciencia y lenguaje) y Die Struktur des
Kontinuums (La estructura del continuo), la primera ms filosfica
y la segunda ms matemtica, Brouwer propuso en forma explcita
sus primeros comentarios sobre la nocin del sujeto creador o ma-
temtico idealizado y en 1949 public nuevos contraejemplos fuertes
diferentes en los que la prueba depende esencialmente de la estruc-
tura temporal de la actividad matemtica del sujeto creador. Esos
contraejemplos fuertes, por ejemplo
xR(x < 0 x < 0) y
xR(x 0 x < 0x > 0) ,
se basan en el teorema de abanico y en la teora matemtica del su-
jeto creador. El primero demuestra que existe (en forma dbil) un
caso donde la eliminacin de la doble negacin conduce a contradiccin,
por lo que la eliminacin de la doble negacin no valdr universalmen-
te. En segundo que la ley de tricotoma no siempre es construible en
el dominio real. La publicacin en ingls de esta nueva clase de con-
traejemplos fuertes, y en general de los contraejemplos para el tnd,
ocurri recin en 1954 en el artculo traducido An Example of
Contradictority in Classical Theory of Functions. Alli se mostr cmo
al conservar la teora clsica pero substituyendo en su interpretacin
las nociones clsicas por sus correspondientes intuicionistas, se llega
a una contradiccin. Por lo tanto no se trata de contraejemplos en
sentido estricto, sino de resultados de no-traducibilidad de un siste-
ma a otro.

Conclusin

El intuicionismo signific un avance en la nocin de fundamen-

to en matemtica. La matemtica ya se haba tornado mucho ms
exigente luego de la reconstruccin formalista de Hilbert y ms an
luego de las crticas de Brouwer, de los intuicionistas y de sus epgo-
nos constructivistas. Muchas demostraciones clsicas fueron criticadas
por estas escuelas, con lo que una parte importante de las doctrinas
matemticas tradicionales pasaban a ser insuficientemente fundadas.
Por supuesto especialmente el formalismo de Hilbert particip de esa
discusin y de ella surgi una paulatina complementacin en muchas
cuestiones. Tambin hay que recordar que no slo hubo crticas intui-
cionistas a demostraciones clsicas, sino adems crticas formalistas

965
a demostraciones intuicionistas, precisamente a aquellas que depen-
dan de la aceptacin de la estructura del sujeto creador intuicionis-
ta. De modo que podemos decir que, si bien en el mbito de la lgica
podemos considerar en primera aproximacin a la lgica intuicionis-
ta como un fragmento de la lgica clsica aunque ste no es un tema
definitivo, en el dominio estrictamente matemtico, si bien es cier-
to que la matemtica intuicionista contiene slo partes de la matem-
tica clsica, tambin es cierto que la matemtica clsica no contiene
toda la matemtica intuicionista. Por ejemplo, el teorema de abanico es
un corolario del teorema de barra. Cuando se utiliza el principio de
continuidad, que no es clsicamente vlido, se obtiene el teorema de
continuidad. Pero en el anlisis clsico ambas partes de ese teorema
seran falsas. Por otra parte los teoremas de barra y de abanico son
clsicamente vlidos, pero no as las demostraciones de Brouwer. Las
demostraciones clsicas no son intuicionistamente aceptables por
depender del principio de tercero excluido y las demostraciones intui-
cionistas son clsicamente inaceptables por depender de pasos que
apelan a la estructura de las construcciones mentales. Brouwer acept
incluso que dichas demostraciones, que identifica con objetos menta-
les del sujeto, son frecuentemente infinitas.
Cul es el estado actual de la cuestin de fundamentos? Es f-
cil conjeturar que muchos problemas pendientes se resolvern algu-
na vez y que algunos problemas escaparn al alcance de los mtodos
disponibles. Sern verdaderamente irresolubles? No lo podemos sa-
ber de antemano. Pero la discusin entre las escuelas de fundamen-
to, entre las que Brouwer y su escuela intuicionista jugaron un papel
central a lo largo de casi todo el siglo XX, ha realizado una tarea gi-
gantesca, como ya lo haba hecho previamente la escuela formalista.
Por ello podemos tener la esperanza de que el espritu investigador no
desmaye.

Breve bibliografa

(La bibliografa disponible es vasta. Hay mucha informacin disponible en

Internet, por ejemplo en los artculos sobre Brouwer.)

van Atten, M.: On Brouwer, Belmont (CA): Wadsworth, 2004. (Introduccin

filosfica al intuicionismo de Brouwer con extensa discusin del teore-
ma de barra, el sujeto creador y la intersubjetividad.)
Brouwer, L. E. J.: Collected Works 1. Philosophy and Foundations of
Mathematics, A. Heyting (ed.), Amsterdam: North-Holland, 1975.

966
Brouwer, L. E. J.: Collected Works 2. Geometry, Analysis, Topology and
Mechanics, H. Freudenthal (ed.), Amsterdam: North-Holland, 1976. (En
estos Collected Works se tradujeron al ingls los originales en holands.)
Brouwer, L. E. J.: Intuitionismus, (ed. Dirk van Dalen), Mannheim: BI-
Wissenschaftsverlag, 1992.
Brouwer, L. E. J., , Life, Art and Mysticism, Notre Dame Journal of Formal
Logic, 37(3), 1996: 389-429. Traduccin de Walter van Stigt con una
introduccin en pp. 381-387.
Brouwer, L. E. J.: Brouwers Cambridge Lectures on Intuitionism, D. van
Dalen (ed.), Cambridge: Cambridge University Press, 1981.
van Dalen, Dirk: The War of the Frogs and the Mice, or the Crisis of the
Mathematische Annalen, Mathematical Intelligencer 12(4) 1990, 17-31.
van Dalen, Dirk: Mystic, Geometer, and Intuitionist, Oxford: Clarendon Press,
1999/2005, 2 vols.
Dummett, Michael E.: Elements of Intuitionism, Oxford: Oxford University
Press, 11977 (22000 edicin revisada).
Euwe, M.: Mengentheoretische Betrachtungen ber das Schachspiel, Ned.
Akad. Wetensch. Proc. 32 (1929), 633-644.
van Heijenoort, Jan (ed.): From Frege to Gdel. A Sourcebook in
Mathematical Logic, 1879-1931, Cambridge (MA): Harvard University
Press, 1967.
Hesseling, D. E.: Gnomes in the Fog. The Reception of Brouwers Intuitionism
in the 1920s, Basel: Birkhauser, 2003. (Historia de las reacciones al
intuicionismo maduro de Brouwer.)
Heyting, Arend: Intuitionism. An introduction, Amsterdam: North-Holland.
2
1966, 31971. (Presenta versiones intuicionistas de varias cuestiones, en
lo posible en matemtica elemental, y adems una versin de la lgica
intuicionista.)
Hilbert, David: Neubegrndung der Mathematik. Erste Mitteilung,
Hamburger Math. Seminarabhandlungen, 1 (1922), 157-177. (Hay tra-
duccin inglesa: The New Grounding of Mathematics: first report en
Mancosu 1998.)
Largeault, J. Intuition et Intuitionisme, Paris: Vrin, 1993. (Presenta una si-
nopsis del intuicionismo al estilo de Brouwer.)
Mancosu, Paolo (ed.): From Hilbert to Brouwer. The Debate on the
Foundations of Mathematics in the 1920s, Oxford: Oxford University
Press, 1998.
Mannoury, G.: Methodologisches und Philosophisches zur Elementar-
Mathematik, Haarlem: Visser, 1909.
Placek, T. Mathematical Intuitionism and Intersubjectivity, Dordrecht:
Kluwer, 1999. (Compara los argumentos en favor del intuicionismo pro-
puestos por Brouwer, Heyting y Dummett, especialmente en lo relati-
vo a la posible validez intersubjetiva de la matemtica intuicionista.)
Roetti, Jorge Alfredo: Hilbert, el primer problema: solucin o disolucin?,
Cuadernos del Sur - Filosofa 30 (2000), Baha Blanca: Eduns, 79-102.

967
 (Trata el primer problema de Hilbert y sus generalizaciones, la solucin
de Lorenzen sobre la enumerabilidad intuicionista y constructivista del
continuo y propone un caso de enumeracin compatible con los princi-
pios de Hankel.)
van Stigt, W.: Brouwers Intuitionism, Amsterdam: North-Holland, 1990.
(Contiene interesantes discusiones filosficas y propone traducciones
inglesas de materiales del Archivo Brouwer.)
Weyl, Hermann ber die neue Grundlagenkrise der Mathematik,
Mathematische Zeitschrift 10 (1921), 39-79. (Hay traduccin inglesa: On
the New Foundational Crisis of Mathematics en Mancosu 1998.)

UNS - CONICET
Argentina

968
 BROUWER E A NATUREZA DA LGICA1

LUIZ CARLOS PEREIRA

1. Introduo

Nas duas primeiras pginas do terceiro captulo da dissertao de

1907, Brouwer apresenta duas teses de carter muito radical sobre a
natureza da matemtica e da lgica, e sobre as relaes de dependn-
cia que valem para essas disciplinas.

Tese 1: A matemtica independente da lgica.

We want to show that mathematics is independent of the so-called
logical laws (laws of reasoning or of human thought) ([1], p.72)

Tese 2: A lgica depende da matemtica.

While thus mathematics is independent of logic, logic does depend
upon mathematics. ([1] p. 73)

Brouwer reconhece certo ar de paradoxo na primeira tese, isto ,

na proposta da independncia da matemtica com respeito lgica,
pois, afinal de contas, usually mathematics is expressed, oral or in
writing, in the form of argumentation, deduction of properties, by
means of a chain of syllogisms ([1], p. 72). No entanto, segundo
Brouwer, tal aparncia paradoxical rapidamente se desfaz quando
compreendemos adequadamente o real significado das palavras uti-
lizadas na explicao citada acima:
But the conceptions which are evoked by the words used in such an
explanation, consist in the following: Where mathematical objects are
given by their relations to the basic or complex parts of a mathematical
1
Gostaria de agradecer as valiosas observaes e sugestes dos professores
Javier Legris, Jorge Molina e Jorge Roetti, participantes do encontro 100 aos de
intuicionismo matemtico. El centenrio de la tesis doctoral de L.E.J. Brouwer. Este
trabalho foi escrito com o apoio do CNPq.

969
 structure, we transform these given relations by a sequence of
tautologies and thus gradually proceed to the relations of the object to
other components of the structure. ([1], p.72)
O que ocorre em uma demonstrao matemtica so construes
atuais (objetos dados em suas relaes com partes, simples ou comple-
xas, de estruturas matemticas) e transformaes sobre construes
atuais por meio de tautologias. Parafraseando Heyting, diramos
que no encontramos na inferncia lgica o ncleo da demonstrao
matemtica, mas na prpria construo do sistema matemtico ([7],
p. 13). Mesmo nos casos de juzos hipotticos e da reduo ao absur-
do o apelo a figuras da lgica apenas aparente.
A lgica sim depende da matemtica. A lgica posterior ma-
temtica, pois o que faz descrever certas regularidades e padres
nas construes mentais realizadas pelos matemticos.
Gostaria de explorar nesta breve nota trs vias que poderamos
trilhar para inverter as relaes entre a lgica e a matemtica espo-
sadas por Brouwer, e mostrar que, de fato e de direito, a matemti-
ca depende da lgica e a lgica no depende da matemtica.

2. A lgica e os intuicionismos

O centenrio da tese de Brouwer praticamente coincide com o

centenrio do intuicionismo na matemtica e na lgica. De certa for-
ma, hoje soa estranho falar de intuicionismo no singular, pois nos en-
contramos em uma posio histrica privilegiada que nos permite
fazer certas distines e reconhecer ao menos dois intuicionismos: o
intuicionismo original brouweriano e o intuicionismo ps 1973, ano de
publicao do artigo seminal de Michael Dummett, The Philosophical
Basis of Intuitionism [2]. Como j se tornou habitual, utilizarei as
expresses intuicionismo holands, para me referir ao intuicionismo
original de Brouwer e Heyting, e intuicionismo semntico, para me
referir ao outro intuicionismo, o intuicionismo de Michael Dummett,
Dag Prawitz, Per Martin-Lf e outros. bvio que o intuicionismo
holands e o intuicionismo semntico no diferem no que diz respei-
to matemtica e lgica; a principal diferena encontra-se na ati-
tude filosfica dessas posies com respeito linguagem e lgica:
enquanto para Brouwer o que realmente importa no est na lingua-
gem, para Dummett e Prawitz o verdadeiro cenrio, a verdadeira
arena da disputa entre, de um lado, a matemtica e a lgica clssica
e, de outro lado, a matemtica e a lgica intuicionista, a arena das

970
teorias do significado. nesse cenrio semntico que nossas opes
lgico-semnticas sero feitas e a inspirao para o projeto semnti-
co construtivista pode ser encontrada em uma famosa passagem em
que Gentzen associa, com todo cuidado e cautela, as regras de intro-
duo de seu sistema de deduo natural determinao do signifi-
cado (das definies) dos operadores lgicos.
The introduction rules represent, as it were, the definitions of the
symbols concerned, and the eliminations rules are no more, in the final
analysis, than the consequences of these definitions. This fact may be
expressed as follows: in eliminating a symbol, we may use the formula
with those terminal symbols we are dealing only in the sense afforded
it by the introduction of that symbol. ([4], p. 80)

O projeto semntico anti-realista dos anos setenta e oitenta era

bastante ambicioso: a semntica anti-realista no deveria ficar restri-
ta aos domnios da lgica e da matemtica, mas poderia e deveria ser
estendida linguagem como um todo. Como sabemos hoje, esse pro-
jeto semntico mais ambicioso enfrenta vrios impasses no triviais.
De qualquer forma, independentemente dos problemas que a funda-
mentao semntica do intuicionismo enfrenta, no resta dvida al-
guma sobre o papel fundamental que a lgica (regras de inferncia,
derivaes, provas, subjuntivos, operadores) desempenha na prpria
compreenso e constituio da posio intuicionista. O sentido de um
enunciado matemtico depende de sua forma lgica e do que conta-
ria como uma prova (cannica) de enunciados com essa forma.
Para o intuicionismo holands, no h o problema de um revisi-
onismo lgico independente: dado que para essa posio a lgica
pensada como dependente da matemtica, uma mudana na lgica
uma conseqncia de uma mudana na matemtica. Obviamente o
mesmo no ocorre com o intuicionismo semntico, para o qual o con-
flito pode ocorrer em um nvel puramente lgico.
O matemtico/lgico clssico pode at considerar a posio intui-
cionista bastante interessante, dado que provas intuicionistas, mes-
mo sendo comumente mais longas, so, em geral, mais informativas
que seus parentes clssicos. As provas intuicionistas satisfazem algu-
mas propriedades que as provas clssicas no satisfazem, como, por
exemplo, a propriedade da disjuno e a propriedade do quantificador
existencial. Tal forma de ecletismo lgico-matemtico no uma ati-
tude filosfica disponvel para o intuicionista praticante (crente): ao
matemtico/lgico intuicionista no resta alternativa que a de propor
um revisionismo na lgica e na matemtica revogando a validade

971
universal de certos modos clssicos de raciocnio. Creio que podemos
formular esse ponto da seguinte maneira: para o matemtico clssi-
co, a proposta intuicionista, se levada a srio, significa uma mutilao
no corpus matemtico; j para o intuicionista, trata-se simplesmen-
te da nica forma correta de fazer matemtica no se pode perder
o que no se tem! Uma forma padro de se desqualificar o conflito
entre o clssico e o intuicionista baseia-se na idia, at certo ponto
razovel, de que os litigantes esto falando sobre coisas distintas (ou
falando coisas distintas), e que, se esto falando sobre coisas distin-
tas, no h uma mesma coisa, regras ou princpios, sobre a qual diver-
gem e disputam. Segundo essa estratgia de desqualificao do
problema, como se os participantes do (pseudo-)conflito falassem
duas lnguas e no se dessem conta disso. No por outra razo que
alguns construtivistas buscaram e buscam um solo comum, uma ln-
gua mnima comum, onde a discusso e o conflito possam ocorrer.
Essa idia de uma lngua comum nos levar, como veremos mais
detalhadamente na prxima seo, primeira metade do sculo pas-
sado, quando vrias tradues e interpretaes de sistemas e teorias
clssicos foram propostas.

3. A aritmtica clssica intuicionista

Comecei este texto reproduzindo uma das teses centrais da dis-

sertao de Brouwer, a tese de que a matemtica no depende da l-
gica. Gostaria de explorar nesta seo uma outra via para a negao
da tese brouweriana, a saber, uma via para a tese de que a matem-
tica depende da lgica. Para esse fim, voltaremos ao final dos anos 20
e incio dos anos 30, quando vrios resultados, sob a forma de inter-
pretaes, tradues e imerses, estabeleceram conexes interessan-
tes entre sistemas formais clssicos e intuicionistas, tais como os
resultados de Glivenko [5], Kolmogorov [8], Gdel [6] e Gentzen [3].
Glivenko, por exemplo, mostra que a negao de qualquer teo-
rema proposicional clssico pode ser refutada construtivamente e
que no podemos distinguir a lgica proposicional clssica da lgi-
ca proposicional intuicionista com respeito aos teoremas da forma
A:
Glivenko 1: Se A um teorema proposicional clssico, ento A
um teorema proposicional intuicionista.
Glivenko 2: Se A um teorema proposicional clssico, ento A
um teorema proposicional intuicionista.

972
 Outras conexes foram estabelecidas, como dissemos acima, sob
a forma de tradues (ou interpretaes) de sistemas clssicos para
(em) sistemas intuicionistas, tais como as interpretaes propostas
por Gdel [6] e Gentzen [3] da aritmtica de Peano na aritmtica de
Heyting, at hoje marcos importantes dessa famlia de resultados.
Segundo Gentzen, a aritmtica intuicionista difere da aritmti-
ca de um modo puramente externo, aceitando apenas parte da lgi-
ca dos predicados clssica como vlida.
By classical mathematics we mean the theory of the natural numbers
as it is built up from the axioms of Peano, together with classical
predicate logic (called restricted predicate calculus in Hilbert-
Ackermann), and the introduction of recursive definitions.
Intuitionist arithmetic differs from classical arithmetic, purely
externally, by accepting only part of classical predicate logic as
admissible. Intuitionist predicate logic may be extended to classical
predicate logic by including, for example, the law of the excluded middle
(A is true or A is false) or, alternatively, the law of double negation (if
A is not false, then, then A is true).
In the following we intend to show that the applications of the law of
double negation in proofs of classical arithmetic can in many instances
be eliminated. ([3], p. 53)

O que significa externamente? Acredito que externamente

significa apenas do ponto de vista lgico, e no do ponto de vista
matemtico! Temos aqui uma posio completamente diferente da de
Brouwer: a aritmtica no impe a lgica, mas, muito pelo contrrio,
a aritmtica intuicionista obtida por uma restrio da lgica mu-
damos a matemtica mudando a lgica!
Os resultados de Gdel e de Gentzen podem ser formulados da se-
guinte maneira:
Todo teorema da aritmtica de Peano formulada na linguagem
{, , , , }, no caso de Gentzen, ou na linguagem {, , , }, no
caso de Gdel, um teorema intuicionista.
Como do ponto de vista clssico no perdemos nada ao trabalhar-
mos com essas linguagens restritas, podemos agora fazer uma leitura
bastante interessante dos resultados de Gentzen e de Gdel: somos ca-
pazes de fazer aritmtica clssica sem lgica clssica. De fato, podemos
obter uma formulao ainda mais geral desse tipo de resultado:
Seja TC uma teoria clssica formulada em {, , , , }. Se TC
atomicamente estvel (AA, para A atmica) e os axiomas no
lgicos e regras de TC no embutem princpios clssicos, ento, se
A um teorema de TC, A possui uma prova intuicionista.

973
 Esse o real sentido das tradues de Gentzen e Gdel.
Um outro tema interessante, mas que no ser aqui desenvolvi-
do, o das aritmticas intermedirias. Sabemos que a aritmtica que
obtemos com a lgica intermediria de domnios constantes (a lgica
intuicionista acrescida do axioma (x(A(x)B) (xA(x)B)) [x no
ocorre livre em B]) a prpria aritmtica de Peano. Logo, podemos
usar uma lgica onde no vale o princpio do terceiro excludo e ain-
da assim obter a aritmtica de Peano. Sabemos tambm que h arit-
mticas intermedirias, isto , aritmticas entre a aritmtica de
Heyting e a aritmtica de Peano. Seria obviamente interessante bus-
car estabelecer algum tipo de medida nas lgicas intermedirias tal
que, a partir de um ponto determinado, todas as aritmticas colapsa-
riam na aritmtica de Peano
Para finalizar esta seo, gostaria de explorar um pouco mais a
funo de interpretao definida por Gdel. A funo de interpreta-
o da aritmtica de Peano na aritmtica de Heyting definida por
Gdel, alm de interpretar (eliminar) a disjuno e o quantificador
existencial, como faz a funo de interpretao definida por Gentzen,
tambm elimina a implicao, interpretando, como usual, expres-
ses da forma (A B) como (AB). Essa diferena entre as inter-
pretaes de Gdel e de Gentzen tem uma conseqncia bastante
interessante: Gdel demonstra como resultado preparatrio para a
definio de sua funo de interpretao que o fragmento {, } in-
capaz de distinguir teoremas clssicos de teoremas intuicionistas.
If to the primitive notions of Heytings propositional calculus we let
correspond those notions of the classical propositional calculus that are
denoted by the same sign and if to absurdity () we let correspond
negation (~), then the intuitionistic propositional calculus H turns out
to be a proper subsystem of the ordinary propositional calculus A. With
another correlation (translation) of the notions, however, the classical
propositional calculus is, conversely, a subsystem of the intuitionistic one.
For we have: Every formula built up solely by means of conjunctions ()
and negations () that holds in A is provable in H as well. ([6], p.287)
O argumento de Gdel bastante engenhoso: como todo teorema
clssico A no fragmento {, } possui uma forma cannica B1 . . .
Bn (para B1, . . . , Bn em {, }), ento, pelos resultados de Glivenko,
se A um teorema clssico, ento A um teorema intuicionista.
A moral mais do que curiosa embutida nesse resultado de Gdel
que, do ponto de vista de seus teoremas, realmente podemos fazer
lgica proposicional clssica sem usar lgica clssica! Nossos manu-
ais de lgica econmicos, que reduzem os operadores ao fragmento

974
{, }, poderiam, com respeito aos teoremas, utilizar apenas procedi-
mentos intuicionistas de raciocnio.
Podemos obter muitos outros resultados construtivos para dife-
rentes fragmentos da lgica clssica. Para mencionar apenas alguns:

Teorema 1 (involuo da negao): Seja A {, , , }. Se I A,

ento I A.
Teorema 2 (externalizao): Seja A {, , , }. Se I xA, ento
I xA.
Teorema 3: Seja A uma frmula em {, }. Logo, se C xA, ento
I xA.
Teorema 4 (Glivenko): Seja A uma sentena no fragmento {, , , , }.
Se C A, ento I A.
Teorema 5: Seja xA uma sentena em {, , , } tal que A seja livre
de quantificadores. Se C xA, ento I xA.
Teorema 6: Seja A uma sentena no fragmento {, , , } tal que
nenhum quantificador em A ocorre no escopo de outro quantifi-
cador. Nesse caso, se C A, ento I A. Uma leitura interessante
desse resultado que para obtermos a lgica clssica de primei-
ra ordem, necessitamos da iterao de quantificadores!

4. Brouwer e os juzos hipotticos

Na primeira pgina do terceiro captulo da dissertao de 1907,

buscando mostrar que a matemtica independente a lgica,
Brouwer considera um possvel contra-exemplo para sua tese:
In one particular case the chain of syllogisms is of a somewhat different
kind, which seems to come nearer to the usual logical figures and which
actually seems to presuppose the hypothetical judgment from logic. This
occurs when a structure is defined by some relation in another
structure, while it is not immediately clear how to effect its construction.
Here it seems that the construction is supposed to be effected, and that
starting from this hypothesis a chain of hypothetical judgments is
deduced. But this is no more than apparent; what actually happens is
the following: one starts by setting up a structure which fulfills part of
the required relations, thereupon one tries to deduce from these
relations, by means of tautologies, other relations, in such a way that
these new relations, combined with those that have not yet been used,
yield a system of conditions, suitable as a starting-point for the
constructions of the required structure. Only by this construction will it
be proved that the original conditions can be fulfilled. ([1], p. 72)

975
 Podemos fazer as seguintes observaes, ligeiras e impressionis-
tas, verdade, sobre essa interessante passagem:
1. Brouwer reconhece que h um caso especial (um tipo diferen-
te) de cadeia de silogismos.
2. Esse tipo especial de cadeia de silogismos parece aproximar-
se das figuras lgicas usuais.
3. Neste caso especial, a ordem das disciplinas parece se inverter:
a matemtica parece pressupor o juzo hipottico da lgica.
4. Nessa cadeia especial de raciocnios parece ocorrer uma cons-
truo hipottica, isto , uma construo no atual, not
effected.
5. Brouwer no aceita construes not effected.
6. A dependncia, por parte da matemtica, da lgica e de cons-
trues no atuais meramente aparente.
Um excelente comentrio sobre a posio de Brouwer com respei-
to aos juzos hipotticos pode ser encontrado no texto The
hypothetical judgment in the history of intuitionistic logic, de Mark
van Atten [16]. Para van Atten, a noo fundamental da qual neces-
sitamos para uma compreenso adequada da posio de Brouwer com
respeito aos juzos hipotticos a noo de sistema de condies2. A
sada para a armadilha das construes no construdas, mas supostas,
trabalhar com condies e transformaes atuais. Em um raciocnio
hipottico partimos das condies especificadas pelo antecedente do
juzo hipottico correspondente e, atravs de transformaes constru-
tivamente legtimas (tautologias intuicionistas), transformamos essas
primeiras condies em condies para a construo do conseqente.
Segundo van Atten, necessary conditions on constructions described
by the antecedent are transformed into sufficient conditions on
constructions descrbed by the consequent ([16], p.8). Essa leitura de
Brouwer no contm nada com natureza hipottica: temos condies
(atuais) e transformaes (atuais) sobre condies.
Tomemos como exemplo um juzo hipottico da forma ((A B)
(A B)).
a. Reconhecemos como imediatamente evidente que as condies
especificadas por (A B) incluem as condies especificadas
por A (no sentido de que qualquer construo que satisfaa a
condio (A B) tambm satisfaz a condio A).
2
Diferentemente do que se poderia inferir de nossas consideraes na seo 2,
van Atten observa que as funes tcnicas de traduo de sistemas clssicos em sis-
temas intuicionistas so de pouca ajuda para a discusso sobre a natureza dos juzos
hipotticos.

976
 b. Reconhecemos como imediatamente evidente que a condio
especificada por A inclui a condio especificada por (A B)
(no sentido de que qualquer construo que satisfaa a condi-
o A tambm satisfaz a condio (A B)).
c. Essa cadeia de transformaes legtimas do ponto de vista in-
tuicionista (tautologias) nos leva das condies especificadas
pelo antecedente s condies especificadas pelo conseqente.
Mesmo considerando, como disse acima, bastante interessante a
interpretao proposta por van Atten para a compreenso brouweri-
ana dos juzos hipotticos, gostaria de fazer algumas observaes que
poderiam sugerir, uma vez mais, um redirecionamento na ordem de
prioridades.
i. A idia de que uma condio inclui ou est includa em outra
condio parece contrabandear para o interior da anlise
novos juzos hipotticos.
ii. Quando dizemos de uma construo arbitrria que se ela sa-
tisfaz a condio A, ento ela tambm satisfaz a condio B,
estamos fazendo um juzo hipottico sobre construes.
iii. Quando falamos de necessary conditions on constructions e
sufficient conditions on constructions estamos falando de
conseqentes e antecedentes de novos juzos hipotticos.
Sem dvida alguma a idia de van Atten pode nos ajudar a com-
preender o funcionamento de hipteses em nossos raciocnios constru-
tivos hipotticos. Tomemos novamente o exemplo da expresso
(proposicional) ((A B) (A B)). Ao partirmos de (A B), no par-
timos de uma construo atual, mas das condies que qualquer cons-
truo deveria satisfazer para ser uma construo de (A B). Uma
dessas condies necessrias que toda construo (cannica) de
(A B) pode ser transformada em uma construo de A (as condies
para A formam parte das condies para (A B)). Por outro lado, toda
construo que satisfaz as condies especificadas por A tambm sa-
tisfazem as condies especificadas por (A B) (as condies para A
incluem as condies para B). difcil no reconhecer aqui as regras
de introduo e eliminao de nossos sistemas de deduo natural, e
no reconhecer no processo descrito neste pargrafo a derivao

(A B)
_________
A
__________
(A B)

977
 a prpria forma lgica dos juzos que nos autoriza a fazer as
transformaes. Como sugeri acima, essa explicao no elimina a
aparncia de uma dependncia com respeito a noes lgicas, mas,
muito pelo contrrio, a assume explicitamente.
bem conhecida a distncia que separa os juzos hipotticos da
lgica de outras formas judicativas (conjunes e disjunes, por
exemplo). Correndo o risco de parecer um pouco exagerado, acredito
que podemos dizer que sem juzos hipotticos no h lgica. Mesmo
do ponto de vista clssico, no h tautologias sem juzos hipotticos
(com as restries usuais envolvendo a negao e o verum T).

5. Concluso

H certamente vrios pontos que poderiam ser contestados nas

consideraes tecidas acima.
(a) A atitude do intuicionismo semntico poderia ser criticada por
trabalhar com um conceito equivocado de construo.
(b) Toda a discusso sobre logic-dependent arithmetics estaria ba-
seada na idia de que temos arithmetic-independent logics, e,
com isso, argumentaria o intuicionismo holands, estaramos
colocando a carroa na frente dos bois.
(c) A semntica dos juzos categricos proposta pelo intuicionis-
mo semntico parece pressupor os juzos problemticos. As
condies de assertabilidade lanam mo, explicita ou impli-
citamente, de subjuntivos, contrafactuais e noes modais.
Ora, se o que est em questo nossa compreenso dos con-
dicionais e de nossas demonstraes a partir de hipteses,
parece que estamos explicando algo obscuro por meio de algo
misterioso.
claro o descompasso entre a pretenso do ttulo e os resultados
alcanados. Certamente teramos o direito de esperar muito mais de
um texto que assume como tema a natureza da lgica, muito mais
do que as simples sugestes que aqui foram apresentadas. No entanto,
espero ter ao menos indicado nesta breve nota que a adoo do pon-
to de vista intuicionista na lgica e na matemtica de forma alguma
nos compromete com as teses de Brouwer de que a matemtica
independe da lgica e de que a lgica depende da matemtica. De fato,
creio que temos boas razes para adotar as inversas dessas teses: a
matemtica depende da lgica e a lgica no depende da matem-
tica.

978
 No fundo, creio que no podemos nos esquecer da mxima
tautolgica que diz: pensar pensar, calcular calcular.

6. Referncias bibliogrficas

[1] Brouwer, L. E. J. Collected Works I, editados por A. Heyting North-

Holland, Amsterdam, 1975, pp. 417-428.
[2] Dummett, M. The Philosophical Basis of Intuitionistic Logic, in H. E.
Rose e J. C. Sheperdson (eds.), Logic Colloquium 73, North-Holland,
Amsterdam, pp. 5 - 40.
[3] Gentzen, Gerhard. On the relation between intuitionist and classical
arithmetic, in The collected works of Gerhard Gentzen, ed. M Szabo,
North-Holland, 1969, pp. 53 - 67 (1933).
[4] Investigations into logical deduction, in The collected works of
Gerhard Gentzen, ed. M. Szabo, North-Holland, 1969, pp. 68 - 131
(1933).
[5] Glivenko, M.V. Sur quelques points de la logique de M. Brouwer, in
Acadmie Royale de Belgique, Bulletins de la classe de Sciencces, series
15, v.15, 1929, pp. 183 - 188.
[6] Gdel, Kurt. On intuitionistic arithmetic and number theory, in Kurt
Gdel Collected works, volume 1, publications 1929-1936, OUP, 1986,
pp. 287 - 295 (original 1933).
[7] Heyting, A. Mathematische Grundlagenforschung Intuitionismus
Beweistheorie, Springer-Verlag, Berlin, 1974, 73 pp.
[8] Kolmogorov, A. N. O princip tertium non datur (sur le principe de
tertium non datur), in Mat. Sb. (Recueil mathmatique de la Socit de
Mathmatiquede Moscou), vol. 32, pp. 646 - 667, 1925. Traduo ingle-
sa: On the principle of the excluded middle, in From Grege to Gdel: a
source book in mathematical logic 187 - 1931, ed. By J. van Heijnoort,
Haward University Press, pp. 414 - 437, 1977.
[9] Medeiros, Maria da Paz N. Tradues via teoria da prova: aplicaes
lgica linear, EDUFRN, 2002.
[10] Medeiros, Maria da Paz N., Sanz, W., Pereira, L.C. A trivial extension
of Glivenkos theorem to first order logic (manuscrito).
[11] Medeiros, Maria da Paz, Pereira, L. C., Hauesler, E. H. Alguns resul-
tados sobre fragmentos da lgica clssica com negao. A ser publicado
em 2008 em O que nos faz pensar.
[12] Prawitz, Dag. Natural Deduction, Almqvist & Wiksel, Stockholm, 1965.
[13] Seldin, Jonathan. On the proof theory of the intermediate logic MH, in
The Journal of Symbolic Logic, vol. 51, pp. 626 - 647, 1986.
[14] Normalization and excluded middle, in Studia Logica, vol. 48, pp. 193
- 217, 1989.
[15] van Atten, Mark. The hypothetical judgment in the history of
intuitionistic logic. (manuscript)

979
[16] van Dalen, D. Mystic, Geometer, and Intuitionist: The Life of L.E.J.
Brouwer. Volume 1: the dawning revolution. Clarendon Press, Oxford,
1999, xv + 420 pp.
[17] van Stigt, W. P. Brouwers Intuitionism. North-Holland (Studies in the
History and Philosophy of Mathematics), Amsterdam, 1990, xxvi + 530.

PUC-Rio/UERJ
luiz@inf.puc-rio.br

980