284

Corrientes de Pensamiento
Matemtico del siglo XX
Primera parteFundamentacin
Mary Falk de Losada

Resea escrita por Lorena Ruiz Serna *

* Directora Fondo Editorial UAN.

Bogot: Universidad Antonio Nario, Fondo Editorial,

2012, 282 p.; 20 x 24 cm. Incluye bibliografa. Idioma:
espaol. ISBN obra completa: 978-958-8687-17-9. ISBN
volumen: 978-958-8687-18-6.

Contenido. Los programas logicista, intuicionista y

formalista / Antecedentes / El pensamiento de Gottlob
Frege / La escuela logicista de la filosofa de la matemtica
/ Fallas en el programa logicista de Russell / La filosofa
intuicionista de la matemtica / La escuela formalista
de la filosofa de la matemtica / De Poincar a Gdel y
Turing.

Resumen. Este libro pretende comunicar el espritu de la matemtica contempornea a estudiantes

y otras personas interesadas que no se han especializado en esta ciencia. Dentro del libro se abarca
el desarrollo de la matemtica y la lgica, desde los pitagricos hasta la escuela estructuralista, con
especial inters en aquellos temas que tienen particular inherencia en la epistemologa. Es claro que
los temas aqu tratados sobrepasan lo que se puede ensear en un semestre universitario. Para ello,
se ha dividido la obra en tres tomos de tal modo que uno cualquiera de ellos podra servir de texto,
permitiendo que se traten los respectivos temas con algn detenimiento. Para el lector casual, se
ha hecho una divisin de inspiracin cronolgica que refleja tres momentos de la epistemologa del
siglo XX, a saber, el lanzamiento y eventual fracaso de proyectos de fundamentacin, la reelaboracin
de la matemtica, ciencias naturales y humanas, y las artes desde una perspectiva estructuralista, y
finalmente la inherencia del computador en un cambio de la cara de las matemticas y el lgido tema
de la inteligencia artificial, nuevos retos para la epistemologa de fines del siglo XX y comienzos del
XXI.

Materia geogrfica. Lgica simblica y matemtica; Filosofa de las matemticas; Siglo XX;
Matemticas Fundamentos Siglo XX; Matemticas Historia Siglo XX; Matemticos de la portada
Gottfried Leibniz David Hilbert Bertrand Russell Henri Poincar Kurt Gdel George Boole
Luitzen Egbertus Jan Brouwer Gottlob Frege Arend Heyting Julius Wilhelm Richard Dedekind
Leopold Kroenecker Alan Mathison Turing; Tt.

Presentacin del libro. El presente escrito se inspira en una serie de cursos diseados para discutir
problemas epistemolgicos de inters para estudiantes de la carrera de filosofa, desde la perspectiva

Bogot (Colombia) Volumen 11, Nmero 11, Ao 2013

REVISTA CIENTFICA
GENERAL JOS MARA CRDOVA
Revista Colombiana sobre investigacin en el campo militar
285

de la lgica y la matemtica. Aunque se hace aqu una presentacin ms general, estoy segura que se
notar ineludiblemente estos orgenes acadmicos.

En estas pginas procuraremos retomar el hilo histrico de la maduracin de la lgica matemtica

y estudiar los efectos de dicho proceso sobre el concepto que el matemtico ha desarrollado de su
ciencia en el siglo XX.

Los principales temas de la filosofa de la matemtica del siglo XX tienen sus races en el siglo
XIX; de hecho, estn tan fuertemente arraigados en el siglo anterior que no es posible comprender
las controversias y desacuerdos, ni las respuestas o reconciliaciones parciales sin recordar, aunque
someramente, los acontecimientos epistemolgicos de mayor importancia del siglo precedente.

No cabe duda que la matemtica empez el siglo XIX unificada internamente y portando
una relacin especial con las ciencias naturales que la mantuvo tambin unificada con ellas. Los
exponentes de la escuela neopitagrica haban logrado reafirmar y dar nuevo testimonio y evidencia
de la matemtica como lenguaje y fundamento del universo, escenario en el cual las relaciones entre
los entes fsicos obedecen leyes matemticas, el comportamiento de los elementos del mundo fsico
sigue lineamientos matemticos, las leyes de la naturaleza son leyes matemticas. Las ecuaciones
diferenciales son ecuaciones del movimiento de los cuerpos en el espacio, la geometra euclidiana
una descripcin matemtica del espacio y sus propiedades; la matemtica expresa las verdades del
mundo fsico. La simbiosis percibida era total.

Dada esta situacin, quizs el aspecto ms sorprendente del siglo XX es que abri sus puertas
con tres grandes escuelas de filosofa de la matemtica en abierta, si bien cordial, pugna, cada una
avanzando sus ideas y refutando calurosamente las ideas y esquemas de las dems. En estas pginas
intentaremos rendir cuentas de la disolucin de la unidad fundamental, de las caractersticas de las
escuelas de filosofa de la matemtica que intentan consolidarse a principios del siglo XX, de sus
fallas, evolucin y fracaso, y de las consecuencias de ste ltimo en trminos de nuevos enfoques de
la matemtica que aparentemente se despojan de cualquier lazo residual con la metafsica.

Recordemos que la creacin de las geometras no euclidianas en la primera mitad del siglo XIX
provoc un profundo cuestionamiento en la filosofa de la matemtica y, en realidad, en toda la
teora del conocimiento humano. La existencia de varios sistemas geomtricos, aparentemente bien
fundamentados desde el punto de vista de su lgica interna, hizo cuestionar lo que se entenda por
verdad dentro del conocimiento. Si ninguno de los sistemas revela imperfecciones lgicas, cul
de ellos es verdad? Es decir, cul de ellos corresponde a la realidad? Paulatinamente se llega a la
conclusin de que, desde el punto de vista de sus virtudes matemticas, estas geometras no pueden
diferenciarse. La implicacin ineludible es que la cuestin de verdad no compete a la matemtica y el
conocimiento matemtico no es verdadero.

Pero las cosas no paran all; los sistemas creados eran espacios mutuamente excluyentes y con
ellos se derrumb toda la teora de conocimiento tan cuidadosamente construida por Kant, la cual
en realidad representaba una sntesis del pensamiento de su poca junto con todas las pocas
anteriores. La intuicin, que a la vez capta y garantiza la verdad absoluta y apriorstica de la geometra
euclidiana, nos haba engaado. Por otra parte, se cuestion a fondo la filosofa pitagrica-platnica
de la matemtica que descansa sobre la correspondencia entre la matemtica y sus leyes y las leyes
del universo.

RESEAS
 286

El impacto de las geometras no euclidianas, en resumen, no se sinti solamente en la filosofa de

la matemtica, sino tambin en toda la teora del conocimiento. Surge inmediatamente la pregunta: si
hay conocimiento creado por el hombre independiente de la experiencia y no ligado con, ni gobernado
por, un universo exterior, cmo se puede controlar o delimitar dicho conocimiento y cmo podemos
diferenciar entre conocimiento e imaginacin?

Esta no es una cuestin trivial, claro est, y sera demasiado optimista creer que se ha resuelto
en su totalidad. Intentaremos analizar las distintas formas en las que se ha tratado de reorganizar la
teora del conocimiento, especialmente dentro de la matemtica, o mejor la filosofa de la matemtica,
sin pretender dar una solucin definitiva. Estaremos explorando terreno que incluye las fronteras
actuales del conocimiento humano, lo cual implica tratar preguntas abiertas y responderlas a medias.
Nuestra preocupacin principal ser la de comprender cmo la filosofa de la matemtica ha
intentado hacer frente a la crisis suscitada por la prdida de la verdad. Es claro que la metamorfosis
de la correspondencia entre las leyes matemticas y las del mundo externo tuvo que presionar sobre
la creacin de mecanismos internos de control. Naturalmente, esto implica un fuerte desarrollo de la
lgica como instrumento principal de fiscalizacin interna de la ciencia.

Durante la segunda mitad del siglo XIX se experiment un desarrollo extraordinario de la lgica
simblica, de la lgica de proposiciones y de la lgica de relaciones. Simultneamente, en un esfuerzo
por limitar y controlar el campo de accin de la intuicin, se fortaleci el concepto aristotlico de
ciencia demostrativa y en consecuencia directa, se desarroll el movimiento axiomtico. Por otra
parte, la rebaja de categora de la geometra euclidiana de verdad absoluta (y bien fundamentada
deductivamente) a simple sistema alterno provoc un replanteamiento del criterio de existencia
de los entes matemticos, el cual haba sido, hasta entonces, el poder darles una interpretacin
geomtrica. Esto conjuntamente con la necesidad de erradicar paradojas presentes en el clculo y
atribuibles al uso intuitivo y vago de nociones geomtricas, llevara a una nueva fundamentacin de
la matemtica con base en la aritmtica.

Hacia finales del siglo surgieron algunos matemticos quienes pretendieron no slo fortalecer la
lgica sino replantear radicalmente la cuestin ontolgica y examinar el significado de existencia en
matemticas, en breve, rendir cuentas sobre el estatus de los entes matemticos. Algunos intentaron
derivar toda la matemtica de la lgica pura, donde por derivar queremos decir construir a partir de
nociones definidas en trminos de la lgica pura con la ayuda de las leyes de inferencia que forman
la base de esa misma lgica. Ese grupo, cuyos mximos exponentes fueron el alemn Gottlob Frege y
el ingls Bertrand Russell, recibi el nombre de escuela logicista. Se caracteriza por su conviccin de
que la lgica es la base, la fuente, la niez de la matemtica, desacreditando a la geometra o al espacio
como modelo fundamental o fuente generadora de los entes matemticos, y por su convencimiento
de que las leyes de la lgica encierran o constituyen verdades absolutas.

Frente al ataque de los logicistas y motivado por los abusos por ellos cometidos y ciertas
inconsistencias en su programa, se form un grupo de matemticos que defendi el papel de la
intuicin en la creacin de la matemtica y neg que la matemtica puede reducirse a una simple
combinatoria de los principios de la lgica. Esta escuela, denominada intuicionista, se ubica en la
lnea de pensamiento de Kant. Sostiene que la matemtica es una creacin de la mente humana y que
la intuicin matemtica tiene plena certeza sobre la solidez del sistema de los nmeros naturales.
Para los intuicionistas existir quiere decir haber sido construido o calculado por la inteligencia
humana partiendo de la base de los nmeros naturales.

Bogot (Colombia) Volumen 11, Nmero 11, Ao 2013

REVISTA CIENTFICA
GENERAL JOS MARA CRDOVA
Revista Colombiana sobre investigacin en el campo militar
287

Por ltimo, la matemtica entra al siglo XX con una escuela que hereda las principales caractersticas
del movimiento axiomtico, particularmente el afn por restringir o reubicar el papel de la intuicin en
el quehacer matemtico; se trata de la escuela formalista encabezada por el gran matemtico alemn
David Hilbert. Este grupo de matemticos buscaba una demostracin de la consistencia absoluta de la
matemtica, partiendo de la base de que la matemtica se desarrolla simultnea o paralelamente con
la lgica y que la actividad matemtica se restringe a la manipulacin de smbolos carentes de todo
significado intuitivo por medio de reglas de transformacin explcita y formal. Para los formalistas
algo existe en un sistema matemtico si su introduccin en la teora no implica contradiccin. Segn
el enfoque de los formalistas, tan pronto se dote a un conjunto de smbolos con algn significado
proveniente de las ciencias fsicas o la intuicin, ya no se est haciendo matemticas sino que se
est desarrollando la ciencia a la que pertenecen los significados. Por medio de esta metodologa
se quiso sortear las dificultades introducidas por las antinomias generadas originalmente en la
teora de conjuntos y que tuvieron sus races en la aceptacin del infinito actual, reservando para la
intuicin un campo propio de accin denominado teora de la demostracin y por otra parte aislar
la naturaleza misma de la matemtica, su esqueleto, del gran cuerpo de conocimiento dependiente de
ella, o sea, de sus aplicaciones a las dems ciencias.

Tendremos oportunidad de mirar las caractersticas de estas tres filosofas de la matemtica

con ms detenimiento en las pginas que siguen. Por el momento nos basta observar la divergencia
entre las distintas soluciones dadas a la crisis iniciada por las geometras no euclidianas, la falta de
consenso en la comunidad matemtica.

Al trazar la evolucin de la matemtica y la filosofa de la matemtica en el siglo XX, encontraremos

unos retos fundamentales para la teora del conocimiento. En primer lugar, veremos el eventual fracaso
de los programas formalista y logicista ante los teoremas de Gdel, publicados en 1931, en los cuales
se demuestra que todo sistema formal contiene proposiciones no susceptibles ni de demostracin
ni de refutacin dentro del mismo sistema, proposiciones denominadas formalmente indecidibles.
El impacto de los teoremas de Gdel va mucho ms all de la destruccin de las metas de estas
dos escuelas, porque pone en claro que las tradicionales clasificaciones de verdadero y falso son
insuficientes para los sistemas formales. De all slo hay un paso a las lgicas no tradicionales, o lgicas
no aristotlicas. La lgica se encuentra, en las primeras dcadas del siglo XX, en el mismo lugar que
ocup la geometra cien aos atrs, sujeta a una axiomatizacin algo arbitraria. En particular, surge
la lgica polivalente y se sugieren lgicas que se basaran en la probabilidad de que una proposicin
sea verdadera. La lgica simblica clsica es a las nuevas lgicas lo que la geometra euclidiana es a la
topologa, la geometra proyectiva, etc.

Ms de setenta aos han pasado desde el sacudn causado por los teoremas de Gdel. Es de
esperar que la comunidad cientfica haya podido reflexionar sobre las ms profundas implicaciones
de estos resultados en la filosofa de la ciencia. En particular, hacia finales de la dcada de los treinta ya
surga una nueva escuela, activa principalmente en Francia, conocida como la escuela estructuralista.
Se aprecia en ella la herencia de las escuelas logicista - en su generalidad implacable y nfasis en
transformaciones - y formalista - en su insistencia en prescindir de atribuir significado a los smbolos
que se manipulan.

En particular, en la segunda parte de esta triloga miraremos el estructuralismo en la matemtica,

la fsica y otras ciencias naturales (ciencias en el sentido clsico de la palabra). De all mencionaremos
el estructuralismo en ciencias menos tradicionales, como la lingstica, la antropologa y la psicologa.
Estas deben gran parte de su estatus como ciencias a la generalidad absoluta que Bertrand Russell
atribuy a las nociones lgicas. En particular, estudiaremos la epistemologa gentica de Jean

RESEAS
 288

Piaget, exponente primario de la escuela estructuralista. Tambin se explorar el estructuralismo en

las artes, muy particularmente en la msica, y su relacin ntima con la esttica.

Casi simultneamente con la publicacin de los teoremas de Gdel se logran concretar unas
teoras adecuadas concernientes a la fsica de la actividad subatmica, que se han agrupado bajo el
nombre de mecnica cuntica para contrastarla con la mecnica newtoniana. Esto, combinado con
la teora general de la relatividad de Einstein enunciada con una dcada de anterioridad, impone
restricciones, o mejor limitaciones tericas insuperables, al conocimiento del mundo fsico de igual
manera como Gdel impuso limitaciones insuperables sobre el conocimiento formal. Cualquier
intento serio por desarrollar una epistemologa contempornea tendr que mantener muy en cuenta
estos nuevos rumbos de la ciencia fsica y de la ciencia formal. Especficamente, estudiaremos en
este contexto la formalizacin de la probabilidad, su utilizacin en la teora cuntica, el principio de
incertidumbre de Heisenberg y su relacin con la relatividad general. En este proceso las categoras
tradicionales de descripcin de eventos en el espacio y el tiempo sufren un destino similar a las
categoras de verdadero y falso dentro de la lgica.

Siempre en proyectos como ste, que buscan abarcar mucho, hay dos peligros. El celebrado
peligro de apretar poco y el inevitable de dejar muchas cosas muy interesantes por fuera. Se ha
proyectado un tercer tomo que se ocupar de la inteligencia artificial, que representa un innegable
reto a una teora epistemolgica comprehensiva. Este no es simplemente un tema interesante, sino
que se encuentra ligado con temas que nos interesan ya que la base terica de la construccin de una
mquina dotada con inteligencia es la llamada mquina de Turing, desarrollada principalmente para
introducir criterios viables de decidibilidad y consistencia a la lgica post-Gdel. La naturaleza de la
mquina de Turing hizo factible crear una mquina dotada con muchas lgicas, capaz de dominar
cualquier sistema formal. Igualmente, el computador por naturaleza propia posee una memoria
enciclopedista. ste est cambiando la misma manera en que se hace matemticas, y la naturaleza
de la matemtica que se hace. No puede quedar sin explorar tambin la posibilidad de dotar una
mquina con intuicin y las implicaciones que tal proyecto tiene en cuanto a la comprensin humana
de sus propios procesos de pensamiento, deduccin y decisin.
Con esto nos hemos ubicado dentro del proceso y la problemtica histricos y no queda ms
remedio que concretar detenidamente las ideas que hemos bosquejado.

MARY FALK DE LOSADA es B.A. Mathematics por el Manhattanville College, Purchase, N.Y. en 1964,
MSc. En matemticas la Cambridge, Mass. en 1965 y Doctora en Matemtica por la Universidad de
Illinois en Chicago en 1970. Ex profesora titular de la Universidad Nacional de Colombia. Ex rectora
de la Universidad Antonio Nario (2001-2010). Trabaja actualmente en problemas histricos,
filosficos, metodolgicos de la educacin matemtica y diseo curricular. Co-Fundadora de las
Olimpiadas Colombianas de Matemticas para Estudiantes de todos los niveles de la secundaria.
Fundadora de las Olimpiadas Iberoamericanas de Matemticas (para estudiantes de secundaria).
Actual Directora en Colombia de las Olimpiadas de Matemticas, Fsica y Computacin. Tiene ms
de una docena de libros y ms de medio centenar de artculos en revistas especializadas. Ha recibido
numerosos reconocimientos nacionales e internacionales.

Bogot (Colombia) Volumen 11, Nmero 11, Ao 2013