La introduccin de la teora
de conjuntos y la matemtica moderna
en Colombia.
Primera parte: El aporte de los extranjeros
Vctor Samuel Albis
Clara Helena Snchez
Resumen
Abstract
Introduccin
En la dcada de 1940 encontramos los primeros intentos por dar a conocer la teora de conjuntos y la lgica matemtica en Colombia, las
cuales son fundamentales, sobre todo la primera, para estudiar lo que
hoy se conoce como matemtica moderna. Estos intentos se encuentran
en el libro de Francisco Vera titulado Introduccin a la teora de conjuntos, recopilacin de las notas de un curso dictado en Bogot entre
Ambos autores son miembros del personal acadmico del Departamento de Matemticas (Grupo Proclo) de la Universidad Nacional de Colombia. Este ensayo corresponde
a una versin corregida, revisada y aumentada de una ponencia presentada en el XXIII
International Congress of History of Science. Special Session: Introduction of Modern
Mathematics in Iberoamerica. Budapest, Hungra. Sbado 1 agosto 2009.
266
267
se requiere una institucin que ofrezca un plan de estudios, una asociacin que congregue a los interesados en el rea y una revista especializada que sirva de medio de difusin y de comunicacin con la comunidad nacional e internacional interesada en el rea. Todo esto, como
veremos, se dio en los aos cincuentas en Colombia.
Sin embargo, cabe anotar que a finales del siglo XIX libros como el
de Camille Jordan [1909], Cours dAnalyse de lcole Polytechnique,
que ya usaba el lenguaje de la teora de conjuntos, fue conocido, por el
ingeniero y profesor de los cursos ms avanzados de matemticas, Julio
Garavito, como consta en el anlisis de sus cuadernos de notas
[Snchez 2007]. En sus Apuntes de Anlisis Matemtico (Cuaderno 23,
1897), encontramos algunas pginas, traducidas del libro de Jordan, que
tratan sobre una teora de grupos al traducir del francs ensemble
como grupo. En particular, all aparecen las nociones de conjunto
derivado y conjunto perfecto, desarrolladas por Cantor. En el Cuaderno 26, Garavito realiza un resumen, basado en el mismo libro, de las
cortaduras de Dedekind para definir los nmeros reales, marginalmente,
anota conjuntos. Aparentemente, Garavito no encontr pertinente, por
posiblemente considerarlos demasiado abstractos, usar los conceptos de
la teora de conjuntos contenidos en el libro de Jordan en sus cursos de
anlisis de la Facultad de Matemticas e Ingeniera de la Universidad
Nacional. Prefiri, pues, mantenerse en la tradicin cauchysiana de
los cursos que hasta entonces se haban enseado en el Colegio Militar
y la Universidad Nacional de Colombia [Villegas 1992]. Si lo hubiese
considerado pertinente, la introduccin de la teora de conjuntos en
Colombia podra haberse adelantado medio siglo.
Slo a partir de 1960 los matemticos recin graduados comenzarn a ensear en sus cursos las nociones de la teora de conjuntos y
comienzan a aparecer artculos y folletos escritos por algunos de ellos
sobre las nociones bsicas de la teora de conjuntos. Por otro lado, Federici en varias instituciones del pas como las Universidades Pedaggicas de Tunja o de Bogot, adems de la Universidad Nacional, har
cursos sobre Lgica y Metodologa y con grupos tanto de la Nacional
como de la Pedaggica en Bogot impulsar textos para la enseanza
de la matemtica moderna en los niveles bsico y medio. Federici fue
director en el ministerio de Educacin Nacional de los programas de
actualizacin de la enseanza de la matemtica y de la fsica y del programa de televisin Matemtica Elemental entre 1958 y 1964. Fue,
adems, representante por Colombia ante la Commission Internationale
pour LEtude et lAmlioration de lEnseignement des Mathmatiques
III 42 (2009)
268
Mathesis
269
III 42 (2009)
270
271
III 42 (2009)
272
nal tena carcter ms concreto que abstracto, ya que no exista en Colombia la Facultad de Ciencias creada recientemente.
El libro de Vera es uno pequeo publicado por la Editora y Distribuidora del Plata, Buenos Aires, en 1948.1 En los seis captulos que constituyen el libro de Vera hace una presentacin histrico-filosfica de la
teora de conjuntos, detenindose en los puntos tcnicos ms relevantes.
No se detiene en la parte operativa de la teora y no tiene ejercicios.
Presenta los resultados ms impactantes de la teora como son la existencia de diferentes tipos de infinito, primero mostrando que los racionales y los naturales tienen la misma cardinalidad, para luego mostrar
como los reales tienen una cardinalidad diferente de la de los naturales.
Muestra, en el captulo Continuo de varias dimensiones, como el continuo, independiente de su dimensin, tiene la misma potencia a travs de
curvas como las de Peano, la de Koch, o la de Gonseth que prueban que
un rea plana puede ser reemplazada por una curva. Con la demostracin de Cantor de que el cuadrado y su lado son equipotentes, prueba
que la recta y el plano tienen la misma cardinalidad. Luego muestra
algunas implicaciones de la teora de conjuntos en el anlisis al mostrar
cmo se hizo necesario definir el concepto de medida de un conjunto
de puntos de manera tal que pudiera desempear un papel anlogo al
que representaban los conceptos de longitud, rea y volumen en la
geometra clsica.
Luego de haber probado que 0 < F < , (0 la potencia de los
naturales, F la potencia del continuo y la potencia del conjunto de
todas las funciones de una variable real) hace la pregunta Existe un
conjunto cuya potencia est comprendida entre stas y, en particular
entre la del numerable y la del continuo?2 Con lo cual presenta la hiptesis del continuo, como un problema que no ha sido resuelto todava
[vase: Vera 1948, 94].
El captulo IV est dedicado a los conjuntos ordenados y conjuntos
bien ordenados. La nocin de orden le permitir referirse a las cortaduras de Dedekind y al teorema de Bolzano-Weierstrass. Por su lado, la
nocin de conjunto bien ordenado lo llevar a compararlos (conjuntos
semejantes) para terminar el captulo con la seccin titulada Nmeros
transfinitos extractada directamente de los trabajos originales de Cantor. El captulo V est dedicado a la aritmtica de los nmeros transfini1. Tamao 17 x 14 cm., 190 pginas.
2. Este problema, como sabemos, fue resuelto negativamente apenas en 1962 con los
trabajos de Cohen, que complementan los de Gdel de 1940, que prueban que tanto la
hiptesis del continuo como el axioma de eleccin son independientes de los dems
axiomas de la teora de conjuntos de Zermelo-Fraenkel.
Mathesis
273
III 42 (2009)
274
275
III 42 (2009)
276
277
III 42 (2009)
278
Mathesis
279
III 42 (2009)
280
Mathesis
281
teora de conjuntos y las soluciones propuestas por las escuelas filosficas de la matemtica a comienzos del siglo XX: el logicismo, el intuicionismo y el formalismo. El segundo es de Federici [1949] y se titula
Sobre una ley de dualidad en lgica, publicado en la Revista de la
Universidad Nacional en 1949, en el cual hace una analoga entre ciertas propiedades de la geometra proyectiva y propiedades de los conectivos lgicos, particularmente la disyuncin y la conjuncin. Un tercer
artculo es de Rodrigo Noguera Barreneche quien, tomando como punto
de partida la traduccin francesa del libro de W. Sierpinski, Leons sur
les Nombres Transfinis1 y sus lecturas de los libros de lgica matemtica escritos por J. Barkley Rosser[1953] y Bertrand Russell [1918],
discute la ley de tricotoma y su (aparente, para l) dependencia del
axioma de eleccin y sus equivalencias y cree haber encontrado una
demostracin de esta ley con independencia de este axioma [Noguera
195x].
Federici haba llegado al pas el 8 de abril de 1948 con la intencin
de dedicarse al estudio y difusin de la lgica matemtica. En sus primeros cursos trat de los postulados de Peano y del clculo proposicional como ya anotamos. Sin embargo, sus tareas para formar los primeros matemticos colombianos le hicieron diversificarse y ensear, entre
otros, cursos de anlisis, lgebra, geometra elemental o geometra
proyectiva. De los cursos de Federici sobre lgica y metodologa en las
universidades, Nacional, Pedaggica, o Javeriana de Bogot han quedado algunas publicaciones.2 En estos cursos, adems de temas bsicos
de lgica matemtica (clculo proposicional y algunas nociones sobre
cuantificadores), Federici quera mostrar la diferencia entre la matemtica clsica y la moderna y las aplicaciones de esta en otras ramas del
conocimiento, particularmente en la fsica. Es de anotar que, entre 1958
y 1960, trabaj en la Facultad de Medicina de la Universidad Nacional
en un proyecto de neurologa con el doctor Fernando Rosas. Entre los
estudiantes que se beneficiaron de este trabajo estaba Rodolfo Llins,
1. W. Sierpinski. 1928. Leons sur les Nombres Transfinis. Gauthier-Villars: Paris.
Traduccin de Emile Borel. 1. edicin. 4. edicin: 1950. Este libro fue el No. 1 de la
famosa coleccin de monografas dirigida por Borel. En su comentario, Whyburn
[1930] dice que al no usar Sierpinski un sistema complicado y extensivo de smbolos
hace que su libro sea muy legible.
2.. Curso de metodologa y lgica matemtica, Bogot [s.n.] 1967; Fundamentos de
lgica de fsica y de matemtica elementales. Bogot Universidad Pedaggica Nacional, 1964; Elementos de lgica y de metodologa. Bogota, Universidad Nacional de
Colombia. Facultad de Ciencias Humanas. Fondo Especial de Publicaciones, 1960.
Lgica matemtica. Bogota Universidad Pontificia Javeriana. Publicaciones, 1960.
Elementos de lgica y de metodologa. Universidad Nacional de Colombia (Medelln).
Facultad de Minas, 1968.
III 42 (2009)
282
estudiante de la Universidad Javeriana, quien actualmente es un reconocido investigador del Departamento de Fisiologa y Neurociencias de
la Universidad de Nueva York y reconoce en Federici influencia sobre
su formacin.1 Sobre lgica propiamente dicha, Federici se limit a la
enseanza del clculo proposicional con un mtodo inventado por l y
que llamaban el mtodo de los palitos. Con l Federici quera manipular las frmulas del clculo proposicional de tal manera que se pudiera
demostrar que una frmula era equivalente a otra de manera casi mecnica. Ese mtodo ya lo encontramos en su artculo de 1949, pero se public formalmente apenas en [Federici] 1998 como un homenaje de sus
alumnos, de las ms diversas reas del conocimiento, por sus cincuenta
aos de labor en Colombia. Entre las fuentes de Federici encontramos el
clebre libro de Peano, Formulario Mathematico [1895-1908], en el cual
adems de un primer captulo sobre lgica, Peano presenta su axiomatizacin de los nmeros naturales y utiliza su nuevo lenguaje en otras reas de
la matemtica como el anlisis o la geometra.
Solo en 1975, por sugerencia del profesor Hernando Prez, se instituy un seminario de lgica matemtica en la Universidad Nacional
para estudiar el libro de Enderton [1972]. Todos aquellos profesores del
Departamento de Matemticas que habamos sido tocados por la lgica de Federici, y algunos otros, asistimos al seminario y la lgica se
instituy como curso obligatorio de la carrera a partir de 1980.2 Es de
anotar que antes de esto las nociones de lgica y teora de conjuntos
eran suplidas a nivel elemental con el libro de Allendoerfer y Oakley,
Fundamentals of Freshman Mathematics [1959].
Mencin especial debemos hacer de los artculos de Ewald Burger
[1963 y 1965] Problemas algortmicos de las matemticas y La
axiomatizacin y los nmeros naturales. En el primero trata, en dos
entregas, de las mquinas de Turing, tema completamente novedoso
para nuestro pas, y en el segundo la construccin axiomtica de los
nmeros naturales en la teora de Cantor-Zermelo. Este es un artculo
de carcter divulgativo de gran inters y novedad para la naciente comunidad matemtica colombiana. Una Introduccin a la teora de
1. En comunicacin personal dada en 1994, Llins afirmaba: Mi tesis se relacionaba con
el sistema visual, y en particular con la manera como los circuitos de la retina, el tlamo y el rea 17 del crtex podan simularse a travs de circuitos lgicos en los que se
involucraban diagramas de Venn basados en una notacin de la lgica que Federici
haba desarrollado para el tratamiento de las funciones lgicas.
2. Entre los que asistieron al seminario se encontraba Xavier Caicedo, uno de los primeros matemticos de la Universidad de los Andes, quien se especializ en el rea en Estados Unidos y Canad. Caicedo ha formado un buen nmero de estudiantes de las
universidades Nacional y de los Andes.
Mathesis
283
284
El primero de los autores de este trabajo, ingres, en 1958, al Departamento de Matemticas de la Universidad Nacional, recibiendo de entrada un curso de lgebra dictado, afortunadamente para l, por Luis I. Soriano Lleras, que empez as: Vamos a
ver cosas que no conocieron en el bachillerato [por alguna razn, pens que iba hablar
de clculo combinatorio]. Un conjunto es [...]. Luego de esto introdujo, usando los
conjuntos, al clculo combinatorio y las cortaduras de Dedekind para definir los nmeros reales y sus propiedades, pasando luego a estudiar la teora de las ecuaciones algebraicas usando el primer tomo de las Lecciones de anlisis de Francesco Severi (que
en ese momento se intentaba imponer como el libro de texto para los estudiantes de
Ingeniera; naturalmente, estos hicieron sentir su protesta, pues ello representaba una
ruptura con la tradicin cauchysiana de la enseanza del clculo en la Facultad de
Ingeniera). Leer este libro fue una delicia. Con toda seguridad Soriano asisti a las
conferencias de Vera y ley sus artculos y los de Bellon. Personalmente, afin mis
conocimientos de teora de conjuntos, no en el Fascicule de Bourbaki, sino en otros
libros franceses (influenciados por la corriente bourbakista y las recomendaciones de
Royaumont) como los de Claude Berge (topologa), Pisot y Zamansky (matemticas
generales), los esposos Dubreil (lgebra) y en el mbito norteamericano el hermoso
libro de C. Hoffman sobre variable real, donde afin sus conceptos sobre la integral de
Lebesgue.
Mathesis
285
286
Mathesis
287
III 42 (2009)
288
impulsadas por convenios entre las Universidades de los Andes y Nacional con diversos gobiernos y fundaciones internacionales.
Yu Takeuchi y la enseanza del anlisis
Entre los extranjeros que influyeron en la formacin de los primeros
matemticos colombianos y la introduccin de la matemtica moderna
en el pas debemos mencionar a Yu Takeuchi, fsico japons, que lleg
el 15 de diciembre de 1959 gracias a una convocatoria que haba realizado Mario Laserna como rector de la Universidad Nacional (19581960). Adems de l, otros tres japonenses haban sido seleccionados
por el Consejo Directivo de la Universidad, de un grupo de treinta escogidos por el gobierno japons, para apoyar las labores de la enseanza de las matemticas y la fsica en la Universidad Nacional de Colombia: Y. Eda, S. Hosoi, y Y. Yoshida. Su primer curso en la Universidad
fue un curso avanzado de anlisis vectorial para los estudiantes de matemticas y fsica. Poco a poco dej la fsica y se dedic por completo
al estudio y enseanza del anlisis matemtico. A l se debe la publicacin de textos de clculo, de anlisis, ecuaciones diferenciales y variable compleja, entre otros, de muy bajo costo para uso en las universidades colombianas. Varios de estos textos los hizo con la colaboracin de
colegas colombianos de la Universidad. Ha viajado por todas las regiones colombianas capacitando profesores para la enseanza de las matemticas a nivel universitario. Ha publicado ms de veinte libros, y
ms de doscientos artculos tanto especializados como de divulgacin.
Dirigi igualmente numerosos trabajos de grado y tesis de maestra. Su
trayectoria en el pas y su contribucin al desarrollo de las matemticas
en Colombia han sido reconocidos ampliamente por la comunidad matemtica y el gobierno colombianos [Castro 2005].
Conclusiones
En su estudio de 1990, Alonso Takahashi [1990, 79] considera cuatro
etapas en el desarrollo e insercin de la matemtica en Colombia: la
matemtica en Colombia antes de 1960; los aos sesenta como la dcada de los pregrados; los aos setenta como la dcada de los posgrados y
los aos ochenta como la dcada de la dispersin. En su anlisis de la
primera etapa, califica los aos cincuenta como la dcada heroica
porque es la poca de la ruptura del desarrollo de la matemtica en
Colombia dado que en aquel tiempo se dieron las condiciones para la
existencia de la matemtica como disciplina independiente de la ingeniera en nuestro pas. Gracias a un puado de ingenieros colombianos,
profesores de matemticas en la Universidad Nacional, a Mario LaserMathesis
289
na, fundador de la Universidad de los Andes, y al selecto grupo de matemticos extranjeros que nos visitaron desde la dcada de los cuarenta,
se dio un salto heroico a los estudios de la matemtica moderna en
Colombia, tal como hemos querido dejar testimonio en este trabajo. En
una segunda parte por venir, destacaremos el trabajo de los primeros
matemticos colombianos para promover el estudio de la carrera de
matemticas en Colombia, y de los Licenciados en Educacin que introdujeron la matemtica moderna en los niveles bsicos y medio de la
educacin en el pas: es la dcada de los sesenta.
Agradecimientos
Debemos agradecer de manera especial a nuestras asistentes de investigacin Deisy Camargo y Luz Amparo Carranza, por su apoyo en la
localizacin de buena parte del material usado en esta investigacin.
Igualmente debemos agradecer a Jos I. Nieto, Jaime Lesmes y Jess H.
Prez por numerosas indicaciones valiosas. A la seora Margot Fuchs,
directora del archivo de la Universidad Tcnica de Munich por su oportuna colaboracin. Finalmente a la Universidad Nacional de Colombia
y a la Direccin de Investigacin de Bogot por el tiempo y el soporte
dado a la realizacin de esta investigacin.
Bibliografa
ALBIS, Vctor. 1988. Vicisitudes del postulado eucldeo en Colombia. Rev. Acad. Colomb. Cienc. 21: 73-79.
ALLENDOERFER, Carl Barnett y Oakley, Cletus O. 1959. Fundamentals of Freshman Mathematics. New York: McGraw-Hill.
LVAREZ, Jairo. 2000. Entrevista con el profesor J. Horvth. Matemtica. Enseanza Universitaria 8: 189-204.
LVAREZ, Jairo. 2002. Entrevista al doctor Mario Laserna. Matemtica. Enseanza Universitaria 10: 107-121.
ARIAS, Jorge y Snchez, C. H. 2006. Antecedentes de la Facultad de
Ciencias, contenido en Germn Cubillos (editor). Facultad de
Ciencias: Fundacin y consolidacin de comunidades cientficas.
Universidad Nacional de Colombia. Pgs. 15-58.
BARKLEY Rosser, J. 1953. Logic for Mathematicians. New York:
McGraw-Hill.
BELLON, Waldemar. 1945. Cantor, el conquistador del infinito.
Universidad Nacional de Colombia. Revista Trimestral de Cultura
Moderna 3: 353-373.
III 42 (2009)
290
291
292
293
III 42 (2009)
294
Mathesis