LA NOCIN DEL CONTINUO MATEMTICO DE HERMANN WEYL

CONCILIANDO FORMALISMO E INTUICIONISMO

Estela Cherubini
estelacherubini@hotmail.com
Licenciatura en Filosofa
Directora de TFL: Mgter. Sandra Visokolskis
Co-directora: Dra. Patricia Brunsteins

Resumen nuevas formas, cambia en el tiempo y esto

El tema de investigacin en este trabajo gira en
torno a la conciliacin del formalismo con el
intuicionismo que Hermann Weyl promueve, en su
nocin del continuo matemtico.
El propsito es mostrar, cmo desde la figura de
Weyl se puede observar un cambio en la
concepcin de la matemtica desde una visin
constituida por objetos independientes hasta otra
donde los objetos formales se relacionan con el
sujeto intuitivo
Palabras clave: continuo matemtico - Hermann
Weyl formalismo - intuicionismo
INTRODUCCION
Un cientfico que escriba sobre filosofa
encara conflictos de conciencia de los cuales
pocas veces lograr liberarse sano y salvo; el
horizonte y profundidad abierto de los
pensamientos filosficos no se reconcilian
fcilmente con la claridad y determinacin
objetiva para las que ha sido entrenado en
la escuela de la ciencia
Hermann Weyl (1885-1955)
hace que tenga una historia. Una forma de
encarar la historia de la matemtica es
escribiendo una filosofa de la historia de los
problemas que plantea y sus intentos de
soluciones. La imagen de la matemtica
europea continental que hoy quiero resaltar
sufre una serie de cambios que surgen
principalmente a comienzos del siglo XX.
El tema que investigo en este trabajo gira en
torno a la conciliacin del formalismo con el
intuicionismo que Hermann Weyl promueve,
en su nocin del continuo matemtico.
Mi propsito es mostrar, cmo desde la
figura de Weyl se puede observar un cambio
en la concepcin de la matemtica desde una
visin constituida por objetos independientes
hasta otra donde los objetos formales se
relacionan con el sujeto intuitivo. De este
modo, formalismo e intuicin, no son
concebidos como dos mundos separados sino
interactuando a travs de la construccin
simblica.

Hago una reconstruccin histrica que no es

1 Filosofa

La matemtica, en tanto disciplina cientfica, si

exhaustiva, porque cada uno de los elementos
bien parece tener determinacin objetiva, no
requerira un anlisis ms especfico, pero la
deja de producir nuevos pensamientos y
intencin no es esa, sino dar una visin
integral de todos estos elementos en cuestin Suizo de Tecnologa) en Zurich. Los aos en
concebidos desde una historia de la ciencia. Zurich para Weyl resultan extraordinariamente
Hay muchos temas involucrados en el trabajo productivos y surgen algunos de sus mejores
matemtico de Hermann Weyl, que trabajos, especialmente en los fundamentos
enriquecen al anlisis, al lgebra, a la teora de de la matemtica y de la fsica. Cuando llega a
nmeros, a la topologa, a la geometra Zurich a finales de 1913, Albert Einstein (1879-
diferencial, a la teora del espacio-tiempo, a la 1955) y Marcel Grossmann (1878-1936) se
mecnica cuntica, que ameritan ms estudio; encuentran luchando para superar una
pero en este trabajo el recorte que he elegido dificultad en sus esfuerzos para proporcionar
se centra slo en el estudio que hace Weyl una formulacin matemtica coherente a la
sobre los fundamentos de la matemtica, y en teora general de la relatividad. Weyl aprecia
especial en la nocin del continuo la importancia de una relacin cercana entre
matemtico, y su impronta en la conciliacin matemtica y fsica, y es por esta razn que
del formalismo y el intuicionismo. En este Weyl llega a interesarse en la teora de
recorte, ocupan un lugar de importancia los Einstein y en los posibles retos matemticos
debates sobre los fundamentos de la que esto ofrece.
matemtica acaecidos en los albores del siglo
Tras el estallido de la Primera Guerra Mundial
XX, y el desarrollo de la nocin del continuo,
(1914), Weyl es llamado al servicio militar, en
en el trabajo conjunto de matemticos y
mayo de 1915, pero su carrera acadmica es
filsofos, a travs de los siglos; ambos
interrumpida por poco tiempo, ya que en
aspectos logran configurar la postulacin de
1916 es eximido de las obligaciones militares
la nocin del continuo matemtico de Weyl,
por razones de salud. Mientras tanto, Einstein
como propuesta conciliadora entre el
acepta una oferta de Berln y deja Zurich en
formalismo y el intuicionismo.
1914. La partida de Einstein debilita el
Hermann Weyl (1885-1955) en 1904 ingresa a programa de fsica terica en ETH y la
la Universidad de Gotinga, como estudiante administracin espera que la presencia de
de matemtica; en esta institucin es discpulo Weyl alivie la situacin.
de los profesores David Hilbert (1862-1943),
En 1920 Weyl diagnostica una nueva crisis en
Felix Klein (1849-1925) y Hermann Minkowski
los fundamentos de la matemtica,
(1864-1909). Queda particularmente
desencadenada por la publicacin de L.E.J.
impresionado con las conferencias de Hilbert
Brouwer (1881-1966) Foundation of Set
sobre la teora de nmeros, y decide estudiar
Theory Independent of the Principle of
sus escritos. Despus de su habilitacin
Excluded Middle (Fundamentos de la teora
(cualificacin para ser maestro en una
de conjuntos independiente del principio del
universidad alemana) en 1910, llega a ser
tercero excluido). En una serie de lecturas en
Privatdozent y es autorizado a dar
el coloquio matemtico de Zurich, aclama la
2 Filosofa

conferencias en la Universidad de Gotinga. En

teora de Brouwer y su interpretacin del
1913, acepta una ctedra en el Eidgenssische
continuo como la revolucin, considerando a
Technische Hochschule: ETH (Instituto Federal
Brouwer como un matemtico que
finalmente resuelve el problema del continuo,
que tanto haba desafiado a las ms grandes
mentes. De esta manera, Weyl abraza el
intuicionismo matemtico de Brouwer, y en la
dcada de 1920 publica una serie de artculos
sobre la elaboracin y defensa de un punto
de vista intuicionista en los fundamentos de la
matemtica. Esta visin sostiene que la
matemtica es una libre creacin mental,
desarrollada a partir de la intuicin primordial
del tiempo, e independiente de la experiencia.
Otros matemticos de la misma poca,
adhieren a la concepcin de David Hilbert
(1862-1943), quien explica
metamatemtica a partir de sistemas formales
justificados en trminos de manipulacin de
smbolos a travs de leyes de la lgica.
Weyl, aunque aparentemente impresionado
por la construccin del continuo
Brouwer, termina colocndose
posicin intermedia entre la axiomtica
hilbertiana y el intuicionismo brouweriano.
La intencin de este trabajo es presentar las
ideas subyacentes a la crisis
fundamentos de la matemtica que propone
Hermann Weyl, focalizando las reflexiones en
torno a la nocin del continuo, desde un
punto de vista histrico hasta la perspectiva
de Weyl, y mostrar que este
contribuye a la investigacin de las relaciones
entre lo formal y lo que es inmediatamente
dado, lo intuitivo. Es la brecha
formal y lo intuitivo, la que Hermann Weyl
intenta cubrir al sostener que hay una
constante interconexin tanto
conceptos matemticos y sus construcciones,
como entre la intuicin de las ideas del sujeto
y la realidad.
Para Weyl la matemtica pura y la realidad
forman un todo terico inseparable, esto es,
no hay dos reinos, uno respaldado por los
datos y otro por la razn, sino que tanto uno
como el otro estn indirectamente
respaldados por los datos observacionales,
pero todos contienen elementos racionales de
apoyo.
La hiptesis que propongo defender es que
para Weyl, la llave que permite hacer la
interconexin entre lo formal matemtico y la
intuicin del sujeto de la realidad, es la nocin
su de construccin simblica. A travs de sta, el
filsofo-matemtico logra vincular al sujeto
con la matemtica, estableciendo una
conexin ms cercana con la experiencia
subjetiva, a travs del uso de smbolos como
signos intencionados que conducen sentidos
de
provenientes del entorno. Esto es, los
en una
smbolos mismos son signos de la intencin
de transmitir el sentido, y no tienen existencia
independiente ms all de la que surge de la
captabilidad de una conciencia. De esta
de los manera, Weyl logra una conciliacin entre el
formalismo y el intuicionismo.
Weyl se opone a la idea de una explicacin
del concepto del continuo slo en trminos
formales, sino que considera tambin el
examen
aporte de la intuicin. Esta es la idea clave de
la propuesta de Weyl, al colocar a la
construccin simblica como puente entre lo
entre lo
formal y la intuicin.
El objetivo general de esta tesis es elucidar y
entre los caracterizar el modo que Hermann Weyl llega
a postular una idea conciliadora entre el
3 Filosofa
formalismo y el intuicionismo, instanciada en
la nocin del continuo, a travs de la
contextualizacin de los debates sobre los
fundamentos de la matemtica de su poca y
la presentacin del trabajo conjunto de
matemticos y filsofos en el curso de la
historia, de dicha nocin, que contribuyen a la
perspectiva de considerar a la construccin
simblica como medio para allanar la relacin
de lo formal de la matemtica con la intuicin
de la realidad.
Y como objetivos especficos, propongo, en
primer lugar, la presentacin de la crisis de los
fundamentos de la matemtica; en segundo
lugar, un rastreo histrico, no exhaustivo, del
trabajo conjunto de matemticos y filsofos,
de la nocin del continuo; y en tercer lugar,
la descripcin de la propuesta integradora de
Weyl, instanciada en la nocin del continuo.
El aporte que vislumbro en torno a la figura
de Hermann Weyl consiste en la impronta que
ste deja en las discusiones de su poca,
tanto en lo referente a las especulaciones
sobre matemtica y su conexin con la
experiencia, como en su esfuerzo
recuperar al sujeto como elemento activo en
los procesos de construccin simblica y de
cognicin matemtica. Es esta propuesta
inclusiva de Weyl, de dos vertientes
aparentemente desconexas en otros autores
de su poca, lo que hace valioso el aporte de
su perspectiva integradora.
1. LA CRISIS DE LOS FUNDAMENTOS
DE LA MATEMTICA
A partir de 1874, Georg Cantor (1845-1918)
inicia la formulacin de la teora de conjuntos.
Su punto de partida son las colecciones de
objetos; y rpidamente, aunque no sin
resistencias, dicha teora se convierte en el
candidato ideal para ser usado como
fundamento de la matemtica. (Cfr. Sabat, F.
2007). Con el decidido apoyo de Richard
Dedekind (1831-1916) y Karl Weierstrass
(1815-1897) y el firme rechazo por parte de
Leopold Kronecker (1823-1891), Cantor sigue
con la publicacin de sus artculos en el
Journal de Crelle y en Mathematische Annalen,
hasta que, finalmente, entre 1895 y 1897,
publica su tratado en dos volmenes de teora
de conjuntos, en el que sistematiza estas
ideas. Cantor sostiene que la matemtica es
muy libre y que las nicas condiciones para un
nuevo concepto matemtico son la no
contradiccin y su definicin en funcin de los
conceptos previamente aceptados.
No tardan en surgir las paradojas sobre la
teora de conjuntos, y resulta indispensable
establecer una teora libre de contradicciones.
Todo acaba en una terrible decepcin y los
matemticos terminan dudando del
por
fundamento ltimo en el que se apoyan.
Durante los primeros aos del siglo XX,
coexisten diferentes visiones de la matemtica
que implican distintos mtodos lgicos. Se
trata de fundamentar a la matemtica como
unidad. La fundamentacin como una visin
totalizante que intenta racionalizar y justificar
una praxis de hacer global.
La bsqueda de la consistencia se convierte
en el objetivo para todos, ya que no se puede
construir un sistema de conceptos
fundamentales que terminen en
contradicciones. Por un lado, la teora de
4 Filosofa
conjuntos, establece los fundamentos, esto es,
los conceptos primitivos sobre los que se
debe desarrollar la totalidad de la matemtica;
por otro lado, la lgica matemtica, garantiza
la validez del mtodo deductivo. Desde aqu,
aparecen diferentes posiciones, que pueden
agruparse, en al menos, tres tendencias:
logicismo, formalismo, e intuicionismo.
1.1. El logicismo
lgica, lo sigue Bertrand Russell, quien,
conjuntamente con Alfred North Whitehead
(1861-1947), publican Principia Mathematica
en tres volmenes en 1910, 1912, 1913. Los
objetos matemticos son objetos puramente
lgicos y los principios matemticos son leyes
lgicas o derivados de leyes lgicas.

El logicismo se debe casi totalmente a Gottlob

1.2. El formalismo
Frege (1848-1925) y a Bertrand Russell (1872-
1970). En relacin al primero, su publicacin El formalismo se desarrolla bajo la direccin
en 1879 titulada Begriffsschrift de David Hilbert (1862-1943) desde su
(Conceptografa) da un avance importante a la intervencin en el Congreso Internacional de
lgica. Frege en esta obra desarrolla un Pars de 1900, cuando plantea los 23
lenguaje universal, esto es, la lgica simblica, problemas no resueltos que, segn su pensar,
con la idea de eliminar toda posibilidad de constituiran el gran desafo para los
malentendido del lenguaje natural. Su matemticos del siglo XX. En esta serie
intencin consiste en basar toda la aparece en primer lugar planteado el
matemtica en la pura lgica. El programa de problema cul es el cardinal del continuo?.
Frege usa la teora de conjuntos como uno de
David Hilbert (1862-1943) es uno de los ms
sus principales recursos para reducir la
importantes matemticos de su generacin.
matemtica a la lgica. En 1893 publica el
En los inicios del siglo XX, Hilbert empieza a
primer volumen de Die Grundgesetze de
preocuparse por el problema de la
Arithmetik (Las leyes bsicas de la aritmtica)
consistencia de los axiomas y de sus
con la intencin de continuar con otros dos
demostraciones. Entre las convicciones de
volmenes, pero se interrumpe en 1902,
Hilbert puedo citar la que se refiere a que
cuando ya impreso el segundo volumen,
todo problema matemtico, una vez definido
recibe una carta de Russell en la que expone
ha de tener su solucin basada en la pura
que sus axiomas eran inconsistentes, dando
razn, como lo expresa: En la matemtica no
lugar a la desde entonces llamada paradoja
existe el ignorabimus (Cfr. Giaquinto, M.
de Russell. Frege incluye en un apndice la
1983: 125). Ya en su publicacin Grundlagen
modificacin de sus axiomas, lo que lo lleva a
der Geometrie, establece los axiomas desde
invalidar muchas de las demostraciones del
los cuales puede desarrollarse toda la
primer volumen y reconocer que no hay nada
geometra, tanto eucldea como la no
ms indeseable para un cientfico que ver
eucldea, mediante pura deduccin. La
rechazados sus principios cuando tiene su
combinacin del ideal axiomtico con la
5 Filosofa

obra finalizada.
conviccin de que todo problema debe tener
El programa logicista, llamado as por querer solucin, conduce en los aos siguientes a la
considerar a toda la matemtica reducible a la idea de completitud del sistema axiomtico.
Un paso en la direccin sugerida por Hilbert, desarrolla el programa acerca de los
lo hace Ernst Zermelo (1871-1953) en 1908, fundamentos de la matemtica. Hilbert y
quien publica la primera axiomatizacin de la Bernays rechazan el revisionismo de la
teora de conjuntos, pero no consigue matemtica defendido por Brouwer y Weyl y
demostrar su consistencia. apuntan hacia fundamentos que garantizan la
formalidad de la matemtica sin sacar
Tradicionalmente haba dos centros para
ninguna parte de la matemtica clsica.
matemticos en Alemania: Berln y Gotinga. En
el siglo XIX Berln es la ms prestigiosa, pero Las objeciones de Hilbert hacia Brouwer y
cuando Felix Klein (1849-1925) se traslada a Weyl reflejan bastante claro el desarrollo
Gotinga y pone las bases para la matemtica histrico de los fundamentos de la
pura y aplicada, es aqu donde se asienta el matemtica en los aos alrededor de 1920. En
tono para la nueva matemtica. En esta el artculo de 1922, que aparece un ao
Universidad, Hermann Mincowski (1864-1909) despus de la conversin al intuicionismo de
y David Hilbert (1862-1943) se posicionan en Weyl, es cuando Hilbert ataca a Weyl y a
la meca de la matemtica europea. (Cfr. Van Brouwer juntos. No distingue las posiciones
Dalen, D. 2005: 441). de ambos, sin embargo, Weyl pronto toma
distancia del intuicionismo, y entonces sobre
Hilbert trata los fundamentos de la
Brouwer cae el principal objetivo de ataque
matemtica en una serie de artculos en los
de Hilbert.
aos: 1899, 1904, 1917,1922, 1925,1927, 1928,
1930, 1931. Para Hilbert la teora es un Hilbert reconoce la necesidad de una
esquema de conceptos que puede ser llenado fundamentacin segura de la matemtica,
de material por parte de la interpretacin del pero desacuerda con Brouwer y Weyl cuando
sujeto. A pesar de la fascinacin inicial de ellos demandan que la intuicin es la nica
Hilbert por los Principia Mathematica, se garanta en matemtica. El plan de Hilbert es
posiciona posteriormente en la idea del mostrar la admisibilidad de toda la
desarrollo simultneo de la lgica y de la matemtica con el establecimiento de
matemtica. sistemas axiomticos para las distintas ramas.

Se debe reservar algn lugar a la idea que las
proposiciones establecidas estn justificadas,
al menos en parte, por referencia a algo que
est ms all de las proposiciones mismas,
por referencia, de hecho, a la experiencia.
El compromiso ms importante de Hilbert en
los fundamentos de la matemtica tiene lugar
en 1920. A travs de la ayuda de su asistente
Para Hilbert, el nuevo significado de la
matemtica, a la cual designa como
matemtica apropiada, es una teora general
de formalismos o teora general de formas.
Hilbert habla de matemtica apropiada como
un repertorio de frmulas probables. Esta
matemtica apropiada se mueve en un nivel
metamatemtico y en un particular punto de
6 Filosofa

vista finitista. Este punto de vista finitista es la

Paul Bernays (1888-1977), quien se une a
condicin restrictiva, en el sentido tal que la
Hilbert en 1917 y trabaja con l toda la
matemtica es rigurosa, si solamente un
dcada de 1920 a 1930, es cuando Hilbert
nmero finito de inferencias es admisible en
una prueba.
Hilbert sostiene que el infinito para la
matemtica no ha sido an clarificado.
Reconoce que el infinito en el sentido de
totalidad infinita es alguna cosa meramente
aparente. El infinito potencial puede darse, en
principio, por adicin y por divisin. As, el
infinito potencial se encuentra, por ejemplo,
en magnitudes continuas que, como la lnea,
pueden fragmentarse tanto como se quiera
sin que se llegue jams a partes simples. Estas
partes no existen, pues si existieran
constituiran un infinito actual.
Pero, antes que el programa de Hilbert
pusiera en marcha, Kurt Gdel (1906-1978) se
las arregla para poner un obstculo insalvable
y el programa se viene abajo. (Cfr. Stewart, I.
2004:258). En 1931 Gdel publica un trabajo
que plantea un escollo insalvable al programa
de Hilbert para demostrar la coherencia de la
aritmtica. Esta publicacin echa por la borda
asimismo otra de las creencias favoritas de
Hilbert, que en principio, todo problema
puede ser resuelto. Debemos
llegaremos a saber, proclamaba Hilbert. Pero
Gdel demuestra que existen otros aspectos
ms all de lo que pudiera soar Hilbert en su
filosofa.
1.3. El intuicionismo
El matemtico Leopold Kronecker (1823-
1891) expresa: Dios cre los naturales, todo
lo dems es construccin humana (Cfr.
Sabat, F. 2007). Para Kronecker, los nmeros
enteros positivos son entidades que existen,
pero los racionales, los irracionales, los
imaginarios, los trascendentes, etc.,
smbolos. Pocos matemticos de su tiempo
siguen las ideas de Kronecker; sin embargo,
su perspectiva pasa a una nueva escuela
matemtica: el intuicionismo, que afirma que
no existen objetos matemticos si no existen
procedimientos para su construccin.
La aparicin de esta nueva escuela
matemtica tiene sus races en algunas
controversias que se suscitaron a comienzos
del siglo XX, tales como la aceptacin que la
matemtica sea una extensin de la lgica, y
que la consistencia sea un requisito suficiente
de la existencia de objetos matemticos. Estas
ideas son revisadas y debatidas por Henri
Poincar (1854-1912) quien se opone a la
se
visin russelliana de la matemtica como
extensin de la lgica. Segn Poincar, en la
aplicacin del principio de induccin
completa, la intuicin de la sucesin completa
de los nmeros naturales, es la que permite
pasar de una proposicin particular a una
general. Segn Poincar, esta aplicacin est
vedada para la lgica. Esta intuicin es una
pura comprensin mental de algn principio o
relacin fundamental, y sin ella, la matemtica
saber,
es imposible. Otro aspecto importante que
defiende Poincar, es la negacin de la
existencia del infinito actual.
En general hasta Kant se considera al sujeto
como pasivo en el acto del conocimiento y
ste se tiene que plegar al objeto para
conocerlo; ahora el sujeto es activo, son las
cosas las que se deben someter al sujeto de
cara al conocimiento. El sujeto no deja intacta
la realidad conocida, sino que la constituye en
el propio acto del conocimiento. Bajo esta
7 Filosofa
perspectiva aparecen las nuevas ideas de
Luitzen Brouwer.
son

1.4. El intuicionismo de L.E.J. Brouwer
El matemtico holands Luitzen Egbertus Jan
Brouwer (1881-1966) es una figura central en
la historia de la matemtica contempornea y
la filosofa. En su tesis doctoral Sobre los
fundamentos de la matemtica en 1907,
defendida en la Universidad de Amsterdam,
sin usar todava la palabra intuicionismo
sostiene: No puede existir matemtica, si no
ha sido construida intuitivamente. (Cfr.
Sabat, F. 2007). Brouwer defiende que la
matemtica es una libre creacin mental,
desarrollada a partir de una intuicin
primordial (la del tiempo) e independiente de
la experiencia. Los objetos matemticos no
pueden existir si no pueden ser construidos,
un cierto idealismo respecto a las entidades
matemticas.
Brouwer reconoce una facultad definida en la
mente individual y un acto directo de
aprehensin: la intuicin, como la necesaria
fundamentacin de todo conocimiento.
(Cfr.Van Sitgt, W., en Mancosu, P.1998:4).
Segn Grattan-Guinness, los orgenes de la
filosofa de Brouwer parten de un
entendimiento pobre de ciertos textos
msticos, y particularmente sobre una lectura
ingenua de la perspectiva de Kant sobre el
lugar de la intuicin.
En la concepcin de la matemtica de
Brouwer, como actividad mental, los nmeros
pasan a ser objetos matemticos producidos
por la mente humana. Es ms, un objeto
matemtico, para los intuicionistas, existe si se
lo puede construir. Este punto de vista
psicolgico les conduce a la conclusin de
que algunas partes de la matemtica clsica
sobre todo las que hablan de totalidades
completas e infinitas, son inaceptables y de
esta restriccin de la matemtica se sigue una
restriccin de la lgica. Las entidades
matemticas no existen en s mismas, sino
que son construcciones del pensamiento,
producidas por un acto de creacin libre de
la mente humana y el mtodo axiomtico no
juega ningn rol en estas construcciones. Por
el contrario, si no es posible mostrar que una
entidad se ha construido o es construible
mediante procesos intuitivos ya conocidos,
entonces tal entidad no debe ser admitida por
la matemtica.
Para los intuicionistas la matemtica es
totalmente independiente de la lgica; la
lgica es la que depende del pensamiento
matemtico intuitivo, y, por lo tanto, el
principal objetivo de la lgica terica es
formalizar los procedimientos del
pensamiento matemtico.En general, para un
intuicionista, probar un enunciado
matemtico es lo mismo que exhibir un
mtodo de construccin de la entidad de la
cual habla el enunciado. El acto de abstraccin
que dara un nmero real como un punto sin
duracin no es algo que se pueda construir.
No hay cortes entre los nmeros reales, sino
que siempre hay conexiones entre ellos, es
una superposicin de fases.
Para un intuicionista no es posible demostrar
la existencia de una entidad por el absurdo,
por cuanto ste presupone partir de la no
existencia y tratar de llegar a una
contradiccin, para luego derivar por el
absurdo la existencia. En realidad, si se piensa
en trminos de construcciones mentales, es
8 Filosofa
plausible afirmar que para probar la existencia
de una entidad, no es condicin suficiente
suponer que su no existencia lleva a una
contradiccin. Por ende, la existencia de una
entidad slo puede probarse en forma directa,
mediante su exhibicin o forma
construccin. Por el contrario,
intuicionista, s es aceptable que por el
absurdo se llegue a una prueba de no
existencia, ya que resulta totalmente plausible
que, si al tratar de construir mentalmente una
entidad se llega a un absurdo, entonces su
construccin no es posible y la entidad en
cuestin no existe.
1.5. Hacia una integracin complementaria
entre el formalismo y el intuicionismo:
Hermann Weyl.
La aproximacin entre la tendencia formalista
proclamada por David Hilbert
intuicionismo liderado por Luitzen Brouwer, es
esbozada por Hermann Klaus Hugo Weyl
(1885-1955) en un artculo filosfico alrededor
de 1920, en el cual Weyl apunta proveer con
un sentido a todo el sistema matemtico, esto
es, la matemtica como totalidad, incluyendo
a la matemtica transfinita, la cual es
imposible entender intuitivamente
llamada por Weyl: matemtica terica. Segn
Weyl esta parte trascendente
matemtica puede solamente
representada por medio de smbolos.
Weyl sostiene que Hilbert y Brouwer, estn
cercanos, en la idea de construccin, ya que
para Hilbert la construccin es axiomtica,
esto es, a travs de manipulacin simblica
con base intersubjetiva dada por la intuicin,
mientras que para Brouwer se trata de una
construccin simblica fundada en la intuicin
primordial del tiempo.
El entusiasmo inicial de Weyl por el
intuicionismo parece ms tarde disminuir;
de
esto puede ser debido a una creencia cada
para un
vez ms de su parte que los sacrificios
exigidos por matemticos a la adhesin a la
doctrina intuicionista llegan a ser intolerables
para la prctica de los matemticos. El
siguiente pasaje de Philosophy of
Mathematics, and Natural Science, Weyl
afirma:
La matemtica alcanza con Brouwer su
mayor claridad intuitiva. Logra
desarrollar los comienzos del anlisis
en forma natural conservando siempre
ntimo contacto con la intuicin en
forma mucho mejor de la conseguida
hasta entonces. Sin embargo, no
puede negarse que al llegar a teoras
y el ms avanzadas y generales la
inaplicabilidad de las simples leyes de
la lgica resulta una torpeza casi
insoportable. Y el matemtico observa
con dolor que el edificio que crea
construido de bloque de concreto se
esfuma ante sus ojos. (Weyl, H. [1949]
1965: 60. Traduccin maz, C.).
No obstante, es probable que Weyl siga
y es
convencido hasta el fin de sus das que el
intuicionismo, se acerca ms que otros
de la
mtodos matemticos para capturar la
ser
esencia de la continuidad.
Weyl sostiene que la intuicin, en lugar de la
prueba, proporciona el fundamento ltimo del
conocimiento matemtico; no obstante, l
reconoce que no sera razonable exigir a
todos los conocimientos matemticos, que
posean la inmediatez intuitiva.
9 Filosofa
Weyl advierte desde el comienzo que si bien,
lo intuitivo y lo formal matemtico no
coinciden, que un profundo abismo est fijo
entre ellos; sin embargo, hay motivos matemtico propuesta por Weyl como
racionales que impelen a cruzar de uno al otro ejemplo de instancia mediadora entre lo
en el esfuerzo para comprender el mundo. No formal y la intuicin.
rechaza la idea de Brouwer que la matemtica
gana claridad intuitiva pero l ve que algo
ms se necesita decir sobre las partes de la 2.1. Antecedentes cientfico-filosficos de
matemtica que no se fundan en lo intuitivo. la nocin del continuo
Las partes de la matemtica que no se fundan Desde todos los tiempos, la nocin del
en la intuicin seran trascendentes. (Cfr. continuo, estuvo y est ligada a lo infinito. En
Tieszen, R. 2005:271). el curso de la historia, las cantidades
Weyl apuntar a un intento de combinar la infinitamente grandes y las cantidades
axiomatizacin hilbertiana con el infinitamente pequeas juegan un papel
intuicionismo brouweriano. Es por esto, que importante en la comprensin aplicada del
considero a Weyl un intermediario entre el clculo matemtico.
formalismo y el intuicionismo. Weyl abre la A continuacin hago un sucinto trayecto
posibilidad de la construccin simblica como histrico del desarrollo de los infinitesimales y
sntesis entre lo dado en la intuicin y lo su impronta en la consideracin de las
formal matemtico para la postulacin de un distintas visiones del continuo matemtico.
mundo externo, indicando la inevitable Cabe aclarar que esta construccin no es
inseparabilidad de realidad y matemtica. exhaustiva, porque cada instancia requerira
Segn Weyl, el fundamento y el sentido un estudio ms especfico, pero mi intencin
ltimo de la matemtica sigue siendo un es dar una visin integral de todos estos
problema abierto, que no se sabe en qu elementos, destacando los aspectos de los
direccin se encuentra la solucin, ni siquiera infinitesimales que conciernen a la nocin del
si una respuesta final objetiva se puede continuo.
esperar.

2.2. El continuo y el infinito

2. DESARROLLO HISTRICO DE LA
En matemtica y en fsica, lo continuo suele
NOCIN DEL CONTINUO:
ANTECEDENTES CIENTFICOS Y estar asociado a lo infinito cuando se hace
FILOSFICOS referencia a la divisibilidad y a la aditividad. En
el caso de la divisibilidad, el continuo est
vinculado a la misma cuando se consideran
En el recorte que he elegido, adems del procesos de descomposicin en partes cada
problema de los fundamentos, ocupan un vez ms pequeas; y en el de la aditividad,
lugar de importancia las distintas
10 Filosofa

cuando se consideran procesos de

concepciones matemticas y filosficas del agregacin de partes, y se hace cada vez ms
continuo, desarrolladas a travs de los siglos, grande. Y as se obtienen las nociones de lo
que configuran la nocin del continuo
infinitamente pequeo y lo infinitamente
grande, respectivamente.
En el caso del continuo, el proceso de dividir
en pequeas partes, o de agregar partes,
nunca termina. El continuo, de este modo, es
divisible sin lmite (infinitamente),
infinitamente grande.
Lo opuesto a continuo es lo discreto, que por
lo general est asociado con lo finito, pero
tambin con lo infinito numerable. La tensin
entre lo finito y lo infinito
conocimiento de la realidad est presente en
la historia de la humanidad. Esta tensin ya
es motivo de conocimiento entre los antiguos
griegos. Anaximandro (610-546 a.C.) postula
la existencia de una materia prima, una
materia que da origen a todo lo existente, que
denomina peiron (sin lmite), una forma
primordial de materia, infinita e infinitamente
divisible que es el origen de todas las cosas
finitas. Un principio originario, indestructible,
in-engendrado e imperecedero.
Anaximandro lo que es principio
determinacin de toda realidad ha de ser
indeterminado.
Anaxgoras (500-428 a.C) es el primero en dar
una versin del concepto de
Anaxgoras reclama que el continuo no
puede ser compuesto de elementos discretos
separados uno del otro como si se cortaran
con un hacha. El espacio no slo es infinito
en el sentido que no alcanza y termina en
cualquier lado, sino que en cada lugar, es
interiormente infinito. A travs de un proceso
de divisin ad infinitum es as como un punto
puede ser determinado, paso a paso, ms y
ms precisamente; es la perspectiva de una
existencia de espacio como dado por la
intuicin. Esto es en contraste a lo finito. El
significado matemtico de Anaxgoras del
principio infinitesimal llega a ser evidente en
su solucin de la cuadratura del crculo, es
decir, en su prueba que el rea de un crculo
es proporcional al cuadrado del radio. (Cf:
o es
Mancosu, P. 1998:124).
Sublevndose contra Anaxgoras est la
teora estricta atomista de Demcrito (460-
370 a.C). Las discusiones acerca del proceso
de divisiones infinitas, en el sentido si se llega
para el
o no a puntos extensionales o a nada en
absoluto, generan la idea que la materia no es
infinitamente divisible, sino que se llega a una
partcula discreta incapaz de ser dividida en
infinitas partes.
La doctrina del atomismo, la cual parece
haber surgido como un intento de escapar del
dilema de los eleticos, es ante todo, una
teora fsica. Fundada por Leucipo (460-370
a.C.) y Demcrito (460-370 a.C.), sostiene que
Para la materia no es divisible sin lmites, sino
de compuesta de indivisibles, slidos
homogneos, corpsculos extendidos
espacialmente, todo por debajo del nivel de
visibilidad.
infinito. Con Anaxgoras y Demcrito presento las dos
tendencias originales de considerar el
continuo como divisibilidad infinita. En el
primer caso, la divisibilidad nunca termina; en
el segundo caso, la divisibilidad termina en un
ltimo elemento indivisible. Ms tarde, los
pensadores que siguen la lnea de los
primeros se llaman infinitistas y los
seguidores del segundo enfoque se conocen
11 Filosofa
como finitistas.

2.3. Los infinitesimales como indivisibles
William de Ockham (1280-1349) seala que la
principal dificultad presentada por el continuo
es la infinita divisibilidad del espacio. En su
libro Quodlibet de 1322-27, enuncia
tratamiento de la continuidad sobre la idea
que entre dos puntos cualesquiera sobre una
recta hay un tercero, quizs la primera
formulacin explcita de la propiedad de
densidad, que lleva a la idea de infinito
actual. Declara que ninguna parte de una
lnea es indivisible. Tiene la intuicin,
sorprendente en su pre-ciencia, que una lnea
punteada se convierte en posibilidad de ser
continua, cuando es concebida como un
conjunto denso de puntos, en lugar de un
conjunto de puntos en sucesin contigua.
La visin del continuo de Nicols de Cusa
(1401-1464), un campen del infinito actual,
es de considerable inters. En su De Mente
Idiotae de 1450, sostiene que cualquier
continuo, sea ste de percepcin geomtrica,
o fsica, es divisible en dos sentidos, uno ideal
y el otro real. La divisin ideal progresa
hasta el infinito, mientras que la real termina
en tomos despus de muchos finitos pasos.
La concepcin realista de Nicols de Cusa del
infinito real se refleja en su cuadratura del
crculo. Define al crculo como un polgono de
infinitos lados que poseen un largo
infinitesimal, y deduce el rea del crculo: se
descompone el crculo en infinitos tringulos
de base infinitesimal y altura igual al radio; ya
que el rea de cada tringulo es base por
altura dividido 2, el rea del crculo es
entonces la circunferencia (o sea la suma de
las bases de los tringulos) por el radio
dividido 2. La idea de considerar una curva
como un polgono infinilateral se emplea por
un nmero de pensadores ms tarde, tal el
caso de Kepler, Galileo y Leibniz.
Los infinitesimales son descriptos como
cantidades pequesimas del proceso de
el
sucesivas divisiones, que por un lado, en la
lnea de Anaxgoras, nunca termina; el
proceso de divisin es sin lmites y pueden
ser despreciados en los clculos prcticos; y,
por otro lado, en la lnea de Demcrito, el
proceso de divisin termina en partes ltimas,
los tomos, que ms tarde en la edad media
toman la forma de indivisibles.
Para la corriente que considera, al continuo
como divisible infinitamente, es imposible
reconocer una unidad ms all de la
posibilidad de una pluralidad potencialmente
infinita. Para la corriente que sostiene al
continuo como no infinitamente divisible, se
llega a una partcula discreta incapaz de ser
dividida en infinitas partes, el tomo o unidad.
En la lucha contra la divisibilidad infinita, los
atomistas van montando una afirmacin del
continuo, como reducible al final a lo discreto.
Ren Descartes (1596-1650) emplea tcnicas
infinitesimales, incluyendo el mtodo de los
indivisibles de Cavalieri en su trabajo
matemtico. Sin embargo, Descartes evita el
uso de los infinitesimales en la determinacin
de tangentes a las curvas; en su lugar
desarrolla mtodos puramente algebraicos.
El concepto de infinitesimal surge de
problemas de carcter geomtrico, pero
desde el lgebra y la geometra de los siglos
12 Filosofa
XVI y XVII se transforma en el nmero
infinitesimal. La idea aparece en el trabajo de
Pierre de Fermat (1601-1665) en la
determinacin de valores mximos y mnimos,
publicado en 1638. Este tratamiento contiene incremento momentneo, destinado a
el germen de la tcnica frtil de variacin representar un momento o un instante de
infinitesimal, es decir, la investigacin del tiempo. Este momento tiene las caractersticas
comportamiento de una funcin cuando sus de las cantidades infinitesimales introducidas
variables tienen cambios pequeos. Fermat por Fermat y por Barrow.
aplica este mtodo para determinar tangentes
Newton propone fundamentar su clculo
a curvas y centros de gravedad.
sobre bases geomtricas slidas, por lo que
La geometra analtica de Fermat y de hace hincapi en la concepcin cinemtica de
Descartes, cambia el curso del anlisis las curvas. Describe las nuevas
infinitesimal, y comienza el proceso de consideraciones cinemticas con referencia a
aritmetizacin. fluxiones, abandonando as las cantidades
infinitamente pequeas en beneficio de una
Tradicionalmente, la geometra fue
ampliacin del concepto de fluxin que
considerada en la Grecia antigua como la
requiere la comparacin de velocidades
rama de la matemtica relacionada con el
instantneas en la razn ltima de los
continuo, y la aritmtica con lo discreto. El
pequeos crecimientos.
clculo infinitesimal que toma forma en los
siglos XVI y XVII, tiene como principal tema la Newton define la fluxin como la razn ltima
variacin continua, como una especie de de incrementos evanescentes, a lo cual
sntesis de continuo y discreto. Berkeley responde: Y qu son esos
incrementos evanescentes? Ni son cantidades
finitas, ni cantidades infinitamente pequeas,
2.4. Clculo infinitesimal ni siquiera nada. No la podramos llamar
Isaac Barrow (1630-1677) es uno de los fantasmas de cantidades difuntas? (Cfr.
primeros matemticos en comprender la Stewart, I. 2004: 84).
relacin recproca entre el problema de la El filsofo y matemtico G.W.F. Leibniz (1646-
cuadratura y el encuentro de tangentes a 1716) tambin se preocupa por el problema
curvas (en lenguaje moderno, entre de la composicin del continuo, que llama el
integracin y diferenciacin). Barrow presenta laberinto del continuo en su sistema
una serie de argumentos en contra del filosfico: monadismo. Su razonamiento
atomismo en matemtica, y concibe a las considera que si una lnea se extiende, y la
magnitudes continuas como generadas por extensin es una forma de repeticin, luego,
movimientos, y as necesariamente una lnea, siendo divisible en partes, no puede
dependientes del tiempo, una visin que ser una (verdadera) unidad. Es entonces una
parece influir sobre el pensamiento de su multiplicidad, y en consecuencia una
alumno Isaac Newton (1642-1727). agregacin de unidades. Pero qu clase de
13 Filosofa

Durante los aos de plaga (1665-1666) unidades?, aparentemente, los candidatos

Newton considera el clculo de fluxiones, para unidades geomtricas son los puntos,
donde introduce la notacin para el pero los puntos no son ms que las
extremidades de lo extendido; en esto Leibniz
se apoya en los argumentos que se remontan
a Aristteles, en los cuales ningn continuo
puede estar constituido por puntos. Se
deduce que un continuo no es ni una unidad
ni una agregacin de unidades. Leibniz
concluye que el continuo no es una entidad
real, sino que tiene un carcter puramente
ideal. De esta manera libera al continuo del
requisito de ser simple o compuesto de
simples. Leibniz sostiene que espacio y
tiempo, como continuos, son ideales, pero
busca refugio en lo infinitesimal cuando
expresa:
Hay que especificar que dx y dy se
toman de tal modo que sean
infinitamente pequeas. Es til tomar
cantidades infinitamente pequeas
tales que, cuando se busca su cociente,
no puedan ser consideradas como
cero, pero que se puedan desechar
siempre que se encuentren con otras
cantidades incomparablemente
mayores. (Cfr. Stewart, I. 2004: 85).
Leibniz rechaza el atomismo material, y no da
crdito a los infinitesimales, que los denomina
cantidades inasignables, ni a la matemtica
infinita con extensin objetiva; puesto que
considera al continuo como una entidad
puramente ideal; entonces las cantidades
infinitesimales son ideales, tiles ficciones
introducidas para acortar argumentos.
Los infinitesimales, los diferenciales,
cantidades evanescentes, las cantidades
inasignables, como herramientas, corren por
las venas del clculo durante el siglo XVIII, y
hacen posible la derivacin de la gran riqueza
de resultados. La clave del nuevo anlisis
descubierto por Newton y Leibniz yace en la
gran utilidad de las expansiones de series
infinitas, aunque las sucesiones infinitas son
manipuladas sin considerar su convergencia.
2.5. Etapa de rigorizacin matemtica
El rpido desarrollo del anlisis matemtico
del siglo XVIII no oculta el hecho de que sus
conceptos subyacentes no slo carecen de
definiciones rigurosas sino que poseen
carcter lgico dudoso. A comienzos del siglo
XIX estos supuestos comienzan a ser
cuestionados. Entre los primeros que abrieron
el camino para la reformulacin de la idea del
paso al lmite fueron Bernard Bolzano (1781-
1848), Niels Henrik Abel (1802-1829),
Augustin Louis Cauchy (1789-1857), Karl
Weierstrass (1815-1897), Richard Dedekind
(1831-1916), Georg Cantor (1845-1918). Sus
trabajos establecen las pautas, caractersticas
y sentidos del anlisis matemtico y su
enseanza hasta la actualidad.
El trabajo del filsofo y matemtico Bernard
Bolzano (1781-1848) se considera pionero en
el tema de clarificar el concepto de funcin
continua. Bolzano es un gran investigador en
matemtica, lgica y filosofa pero tiene poca
influencia en su crculo inmediato durante su
vida. Despus de capacitarse en filosofa, fsica
y matemtica en la Universidad de Praga, se
une a la Facultad de Teologa pero persigue a
la matemtica como su principal inters de
investigacin. Publica dos libros y tres folletos
las
entre 1804 y 1817, de los cuales, el ms
importante es el de 1817, Rein Analytischer
Beweis que contiene una nueva prueba
14 Filosofa
rigurosa del teorema del valor intermedio
escrito con formulaciones de la nocin de
lmite, continuidad de funciones y
convergencia de series infinitas,
sorprendentemente similares a los
encuentros, poco despus en Cours de
Cauchy (1821), siendo as con l un co-
pionero del anlisis matemtico. (Cfr. Grattan-
Guinness, I .2000: 72-73).
La piedra angular para el desarrollo riguroso
del clculo es suministrada por las ideas del
gran matemtico francs Augustin Louis
Cauchy (1789-1857). Tanto en los trabajos de
Cauchy como en los de Bolzano, juega un rol
central la aritmtica del concepto de lmite
liberado de toda geometra y de toda
intuicin temporal.
Cauchy elige caracterizar la continuidad de
funciones en trminos de una nocin rigurosa
de infinitesimal, la cual define en el Cours
danalyse como una cantidad variable (cuyo
valor) decrece indefinidamente en forma de
converger al lmite 0. (Cf. Bell, J. 2005). Esta es
la definicin de continuidad de Cauchy. Sus
trabajos representan una etapa crucial en la
renuncia por parte de los matemticos, a los
infinitesimales y a las ideas intuitivas de
continuidad y de movimiento.
Por su parte, el matemtico alemn Karl
Weierstrass (1815-1897) completa el
destierro de la intuicin espacio temporal y el
infinitesimal, desde los fundamentos del
anlisis, para instalar el rigor lgico completo.
Weierstrass propone establecer el anlisis
matemtico sobre las bases de nmeros
solamente, para aritmetizar. La aritmetizacin
puede ser vista como una forma de atomismo
matemtico.
Karl Weierstrass pone orden a la expresin:
tan cerca como se quiera que designa a
nmeros pero que dejan de serlo al hacerse
cada vez ms pequeos. Considera la variable,
no como una cantidad que cambia de forma
activa, sino simplemente como un smbolo
esttico para cualquier miembro de un
conjunto de valores posibles.
La definicin de lmite dada por Weierstrass,
libera al clculo de consideraciones
metafricas y nace el anlisis moderno. La
preocupacin de Weierstrass es purgar los
fundamentos del anlisis de todas las huellas
de la intuicin de movimiento continuo (esto
es, reemplazar lo variable por lo esttico). La
aritmetizacin del anlisis constituye un
proceso en el que el rigor en la praxis
matemtica se hace absoluto, y se insiste en
que se ha dado un fundamento a la misma.
Siguiendo los esfuerzos de Weierstrass, otro
ataque sobre el problema de formulaciones
de definiciones rigurosas de continuidad y de
nmero real es encarado por Richard
Dedekind (1831-1916) quien reconoce que la
propiedad de densidad del conjunto
ordenado de los nmeros racionales, es
insuficiente para garantizar la continuidad. En
Continuity and Irrational Numbers de 1872,
considera que cuando los nmeros racionales
se asocian a los puntos de una recta, existen
infinitos puntos (sobre la recta) a los que no
corresponden ningn nmero racional; de
esta forma los nmeros racionales manifiestan
huecos, incompletitud, y discontinuidad. (Cfr.
Bell, J.2009). El relleno de huecos en los
nmeros racionales a travs de la creacin de
nuevos puntos individuales es la idea clave
subyaciendo a la construccin de Dedekind
del dominio de nmeros reales.
15 Filosofa
Dedekind propone en 1858, la definicin de
nmero real mediante cortaduras, por estar
insatisfecho con la teora de lmites que se describir el conjunto infinito de los nmeros
apoya en evidencias geomtricas. naturales indicando las propiedades
caractersticas de los elementos del conjunto;
Transforma el anlisis en teora de conjuntos.
por eso, Weyl, reniega de la teora de
Los conceptos son aplicados a elementos de
conjuntos y su definicin de conjunto por
conjuntos infinitos. Un conjunto infinito no
comprensin. Segn Weyl, la inexhaustibilidad
puede ser dado ms que dando una
es esencial para el infinito.
propiedad caracterstica para sus elementos.
Tanto Weyl como Brouwer creen que las
Hilbert apoya las ideas de Dedekind y escribe
bases intuitivas del concepto del nmero real
que el enfoque de Dedekind, con su idea de
se encuentran en las sucesiones de eleccin.
fundar lo finito en lo infinito, resulta
Entender a una sucesin de eleccin como
deslumbrante y cautivadora. El ms
representante de un elemento del continuo,
visionario aritmetizador es Georg Cantor
es considerar a la sucesin en progreso, sea
(1845-1918).
sta con ley o sin ley. La condicin que el
Cantor avanza ms all de sus predecesores punto real nunca es sino que siempre
en sus formulaciones, de lo que es una deviene preserva el continuo. En esta
definicin topolgica de continuidad. A lo perspectiva, los puntos reales son siempre
largo de su carrera muestra una oposicin alguna cosa en devenir, indeterminados,
dogmtica a los infinitesimales. contrario a la concepcin clsica, donde un
A pesar de los grandes logros de Weierstrass, punto es considerado determinado y
Dedekind y Cantor en la construccin del terminado.
continuo desde materiales aritmticos, Weyl da la bienvenida a la construccin de
muchos otros pensadores de final del siglo Brouwer del continuo por medio de
XIX y principios del siglo XX, siguen sucesiones generadas por actos libres de
oponindose, en distintos grados, a la idea de eleccin, y esto lo lleva a identificar al
una explicacin del concepto del continuo continuo con un medio de libre ser, que no se
slo en trminos discretos. Entre ellos, puedo disuelve en un conjunto de nmeros reales
nombrar a Brouwer y Weyl. como entidades terminadas. Weyl siente que
Brouwer, a travs de su doctrina del
intuicionismo llega ms cerca que cualquier
otro para tender un puente del infranqueable
3. LA PROPUESTA: UNA VISIN abismo, entre lo formal matemtico y lo
INTEGRADORA A PARTIR DE H.
intuitivo en la concepcin del continuo. En
WEYL
particular, l encuentra convincente el hecho
que el continuo de Brouwer no es la unin de
16 Filosofa

Para Weyl, el infinito real, no se puede dar partes no vacas disjuntas, sino que es
plenamente en la intuicin ni siquiera en indescomponible. Un continuo genuino no se
principio, entonces no hay conocimiento puede dividir en fragmentos separados.
matemtico del infinito real. Nadie puede
El continuo no es extrado de la experiencia CONSIDERACIONES FINALES
fsica, sino que se explica reinventando por
Este trabajo sugiere cmo se puede abordar
sus propios instrumentos operatorios, el
el desarrollo histrico de un concepto
modelo de las sucesiones libres de eleccin.
matemtico, desde el abordaje que toma una
Weyl explica, el hueco entre lo formal y lo personalidad cientfica no tan conocida en la
intuitivo del continuo describiendo esas historia de la ciencia como Hermann Weyl, y
partes de la matemtica que no se basan en la mostrar que sus aportes contribuyen a las
intuicin como puramente simblicas. No perspectivas de la ciencia moderna.
rechaza la idea de Brouwer que la matemtica
La reconstruccin de varios aspectos de la
gana claridad intuitiva pero l ve que algo
historia de la matemtica proporciona una
ms se necesita decir sobre estas partes que
elucidacin ms transparente de la relacin
no se fundan en lo intuitivo. (Cfr.Tieszen, R.
que Weyl seala entre lo formal de la
2005:271). Segn Weyl, la moderna
matemtica y la intuicin del sujeto, y muestra
investigacin matemtica es la hbil
la dificultad de esta tarea integradora, relacin
amalgama de procedimientos constructivos o
que Weyl establece a travs de la
intuicionistas y procedimientos axiomticos.
construccin simblica.
Weyl intenta combinar la axiomatizacin
hilbertiana con el intuicionismo brouweriano. La construccin simblica como idea
Es por esto, que considero a Weyl un conciliadora que establece el nexo entre el
intermediario entre el formalismo y el formalismo y el intuicionismo, es presentada
intuicionismo. Weyl intenta hacer en este trabajo, a travs de la exposicin del
corresponder a las proposiciones ideales de perodo de crisis de los fundamentos de la
Hilbert, lo que no puede acceder por la matemtica en la contextualizacin de los
intuicin. (Cfr. Bell-Kort: 2009). debates acaecidos durante los primeros aos
del siglo XX. Luego, por el racconto histrico
La construccin como lo intuitivo en la
del concepto del continuo asociado a lo
experiencia subjetiva, y lo simblico como lo
infinitesimal, hasta la presentacin de la
formal instanciado por el uso de smbolos,
propuesta integradora en la nocin del
considerados como signos intencionados que
continuo de Hermann Weyl.
conducen el sentido que proviene del
entorno. Los smbolos mismos son signos de En la historia de la matemtica, que aqu
la intencin de transmitir el sentido, y no simplificadamente se presenta, el rol de las
tienen existencia independiente ms all de la discusiones, acerca de lo infinitamente
que surge de la captabilidad de una pequeo y lo infinitamente grande, que si
conciencia. As, Weyl intenta una conciliacin bien queda abierto, e inconcluso, sin
entre el formalismo y el intuicionismo. definiciones exactas, deja abierta la
17 Filosofa

navegacin de ocanos que todava hoy slo

algunos matemticos estn preparados para
surcar.
BIBLIOGRAFA De Lorenzo, Javier (1998). La matemtica: de
sus fundamentos y crisis, Tecnos, Madrid.
Bell, John L.(2000). Hermann Weyl on
intuition and the continuum. Paper McGill Detlefsen, M.(1993). Hilberts Formalism, en
Hilbert, Revue Internationale de
University.
Philosophie , 47.
.(2009).Continuity and Infinitesimals. En
Stanford Encyclopedia of Philosophy. Eves, Howard (1983). An Introduction to the
History of Mathematics. The Saunders
Bell, John-Kort, Herbert (2011). Hermann
Weyl. En Stanford Encyclopedia of Series, USA.[1953]

Philosophy. Forman, Paul (1984). Cultura en Weimar,

causalidad y teora cuntica, 1918-1927.
Bjar, Manuel (2010). La apuesta cuntica de
Schrdinger y Weyl (I). Intuiciones sobre Adaptacin de los fsicos y
matemticos alemanes a un ambiente
una bioneurologa cuntica de la
intelectual
conciencia. Universidad Pontifica ICAI-ICADE.
Hostil, Alianza Universidad, Madrid.
Madrid.
http://www.tendencias21.net/La-apuesta- Giaquinto, Marcus (1983). "Hilbert's
cuantica-de-Schrodinger-y- Weyl- Philosophy of Mathematics". The British
I_a4181.html Journal for

Boyer, Carl B.(1993). The History of the the Philosophy of Science, vol. 34, 2,
Calculus En National Council of Teachers or 119-132.

Mathematics. Historical Topics for the Grattan -Guinness,I.(2000). The Search for
Mathematics Classroom, Panel. USA. Mathematical Roots. 1870-1940. Logics, Set

Carson, Emily- Huber, Renate (2006). Intuition Theories and the Foundations of
and the Axiomatic Method, Springer, Mathematics, from Cantor though Russell to

Netherlands. Gdel, Princeton, University Press,

Dalen,D.-Atten,M.-Tieszen,R (2001). Brouwer
and Weyl: The fenomenology and
mathematics of the intuitive continuum
,Department of Philosophy, Utrecht
University.
Dancy, Jonathan (1993). Introduccin a la
Princeton and Oxford.
Hallett, Michael (2008). Reflections on the
Purity of Method in HilbertsGrundlagen der
Geometrie. En Mancosu, Paolo, The
Philosophy of Mathematical Practice,
Oxford University Press.
18 Filosofa

epistemologa contempornea, Tecnos, Heyting, Arend (1976). Introduccin al

Madrid. intuicionismo, Tecnos, Madrid.
Hilbert, David (1967). Sobre los fundamentos
de lgica y aritmtica. [1904]. En
Heijenoort, Jean van. From Frege to
Gdel. A source Book en Mathematical
Logic, 1879-1931,Harvard University
Press Cambridge, Massachusetts.
.Sobre el Infinito. (1967). En Heijenoort,
Jean van.From Frege to Gdel. A
source Book en Mathematical Logic,
1879-1931. [1925],Harvard University Press
Cambridge, Massachusetts.
.Los fundamentos de la matemtica
(1967). En Heijenoort, Jean van. From
Frege to Gdel. A source Book en
Mathematical Logic, 1879-1931,
[1927],Harvard
University Press Cambridge,
Massachusetts.
Kragh, Helge (1989). Introduccin a la Historia
de la Ciencia, Grijalbo, Barcelona.
Legris, Javier (2005). Sobre la justificacin
epistemolgica de la metamatemtica de
Hilbert, Universidad de Buenos Aires,
Conicet, Argentina.
Longo, Guiseppe (2001). The Mathematical
Continuum. From Intuition to Logic, CNRS
and Ecole Normale Sup , Paris, Francia.
Lpez, Chantal & Cortez, Omar (2007).
Introduccin a la teora de la ciencia, Biblioteca
Virtual Antorcha.
Mancosu, Paolo (1998). From Brouwer to
Hilbert. The Debate on the Foundations of
Mathematics en the 1920s., Oxford
University Press.
Mondolfo, Rodolfo (1971). El infinito en el
pensamiento de la antigedad clsica, Eudeba,
Argentina.
Newman, James R.(1983) SIGMA. El mundo de
las matemticas, Tomo I, Grijalbo
Barcelona.
Ortega, Mariano (2004). K.Gdel: en
bsqueda de fundamento. En Revista de
Didctica
de las Matemticas. Filosofa y
matemticas. Uno, 37, X, Gra,Barcelona.
Palau, Gladys (1995). Los obstculos
epistemolgicos en la historia de la
matemtica.Trabajo ledo en la XLV
Reunin Anual de Comunicaciones
Cientficas de la Unin Matemtica
Argentina, Ro Cuarto.
Piergiorgio, Odifreddi (2006). La matemtica
del siglo XX: de los conjuntos a la
Complejidad, Katz , Buenos Aires.
Pyenson, Lewis (1990). El joven Einstein El
advenimiento de la relatividad, Alianza,
Madrid.
Sabat, Ferrn Mir (2007). La polmica
intuicionismo formalismo en los aos 20.
Principio de Tercio Excluso, Cuaderno
19 Filosofa
de Materiales, Madrid.
Snchez Ron, Jos Manuel (2001). Historia de
la fsica cuntica I. El perodo fundacional
 (1860-1926), Crtica, Barcelona.
.(2005) Einstein, Felix Klein, David Hilbert
y Hermann Weyl, Conferencia
Universidad Politcnica de Catalunia,
Facultad de Matemtica y Estadstica.
Espaa.
Sklar, Lawrence (1992). Filosofa de la fsica,
Alianza, Madrid.
Spengler, Oswald (1958). La decadencia de
Occidente. Bosquejo de una morfologa de la
historia universal, Traducido por
Manuel G. Morente, Espasa-Calpe, S.A.,
Madrid.
Stewart, Ian (2004). De aqu al infinito. Las
matemticas de hoy, Crtica, Barcelona.
Tieszen, Richard (2005). Phenomenology,
Logic, and the Philosophy of Mathematics.
San Jos State University, Cambridge
University Press.
Visokolskis, Sandra (2011). Apuntes de
Clases Seminario Historia de la Matemtica,
Universidad Nacional de Crdoba,
Argentina.
Weyl, Herman (1987) The Continuum. A critical
Examination of the Foundation of
Analysis. [1918]. Translated By Stephen
Pollard&Thomas Bole. Dover Publications.
INV. New York.
(1967). Comentarios sobre la segunda
lectura de Hilbert sobre los fundamentos de la
Matemtica .[1927]. En Heijenoort,
Jean Van. From Frege to Gdel. A
source Book en Mathematical Logic.
1879- 1931.Harvard University Press
Cambridge, Massachusetts.
(1989). The Open World: theree lectures
on the metaphysical implications of
science [1932], JSTOR Ox Bow Press.

Van Dalen, Dirk (2005). Mystic, Geometer and (2009) Mind and Nature ,[1934], Selected
Intuitionist. The life of L.E.J.Brouwer Writings on Philosophy, Mathematics, and

1891-1966, vol. 2: Hope and Disillusion, Physics. Edited and with an

Clarendon Press- Oxford. Introduction by Peter Pesic, Princeton
University
( 2011).The Selected Correspondence of
L.E.J. Brouwer, Springer, Verlag, London Press, Princeton and Oxford, United
States of America.
Limited.
(1965) Filosofa de las matemticas y de la
Van Heijenoort, Jean (1967)."From Frege to
ciencia natural, [1949].,Centro de
Gdel. A Source book in Mathematical
Estudios Filosficos, Universidad
Logic, 1879-1931", Harvard University
Nacional Autnoma de Mxico.
Press, Cambridge.
20 Filosofa

(1974) El modo matemtico de pensar.

Van Hiele, Pierre M.(1986). Structure and
En La forma del pensamiento matemtico.
Insight. A Theory of Mathematics Education,

Academic Press, INC. Orlando Florida.

 Analoga y notas de James R.
Newman, Traduccin De Manuel Sacristn,

Grijalbo, Barcelona.

Wilder, R.L.(1969). Development of Modern

Mathematics, University of Michigan. En
Historical Topics for the Mathematics
Classroom, National Council of

Teachers of Mathematics, United States

of America.

21 Filosofa