Educacin

para todos
Educacin para todos no es un proyecto lucrativo,
sino un esfuerzo colectivo de estudiantes y profesores de
la UNAM para facilitar el acceso a los materiales necesarios
para la educacin de la mayor cantidad de gente posible.
Pensamos editar en formato digital libros que por su alto costo,
o bien porque ya no se consiguen en bibliotecas y libreras,
no son accesibles para todos.
Invitamos a todos los interesados en participar en este
proyecto a sugerir ttulos, a prestarnos los textos para su
digitalizacin y a ayudarnos en toda la labor tcnica que
implica su reproduccin. El nuestro, es un proyecto colectivo
abierto a la participacin de cualquier persona y todas las
colaboraciones son bienvenidas.
Nos encuentras en los Talleres Estudiantiles de la Facultad
de Ciencias y puedes ponerte en contacto con nosotros a la
siguiente direccin de correo electrnico:
eduktodos@gmail.com
http://eduktodos.dyndns.org

1. Visin general de la matemtica a

La Sociedad Matemtica Americana censur, en su traduccin del ruso

al ingles las secciones 8 y 9 de Visin General de la Matemtica. En la
traduccin del ingls al espaol editada por Alianza Universidad
tampoco aparecen las secciones 8 y 9.
A continuacin presentamos la traduccin ingls al espaol de las
secciones 8 y 9. Estas secciones fueron traducidas del ruso al ingls en
la edicin de Esther R. Phillips por Gary Laison y Michael Meo con
Charles Aronson que aparecieron publicadas en l a revista Science and
Nature #3 (1980) pp 22-42 junto con un apndice sobre la censura en la
ciencia.
Tambin incluimos la traduccin al espaol de dicho apndice.

b 8. La naturaleza esencial de la matemtica

8. La naturaleza esencial de la matemtica

1. Basndonos en lo que se ha discutido ya, ahora podemos volver a
algunas conclusiones ms generales concernientes a la naturaleza
esencial de la matemtica.
La naturaleza de la matemtica fue descrita por Engels en una seccin
del Anti-Dhring y citamos aqu ese notable prrafo. El lector
reconocer fcilmente en la formulacin de Engels lo que ya hemos
dicho, por ejemplo, respecto a la aritmtica y la geometra y
justificadamente ya que hemos explicado la historia real de los orgenes
y desarrollo de la matemtica, guiados por una comprensin del
materialismo dialctico. El materialismo dialctico conduce a
resultados verdaderos precisamente porque
na importa superficialmente nada a la realidad, sino que examina. los
hechos tomo son, por ejemplo en sus relaciones y desarrollo.
Engels inicia su discusin sobre la naturaleza esencial de la
matemtica con algunas observaciones crticas las absurdas opiniones
de Dhring, en particular la falsa opinin de que la matemtica est
comprometida en la creacin de la razn pura, independientemente
de la experiencia. Engels escribi:
"Pero lo que no es verdad es que en la matemtica pura el
entendimiento se ocupe exclusivamente de sus propias creaciones
e imaginaciones. Los conceptos de nmero y figura no han sido
tomados sino del mundo real. Los diez dedos con los que
los hombres aprendieron a contar, a realizar la primera operacin
aritmtica, no son ni mucho menos una libre creacin del
entendimiento. Para contar hacen falta no slo los objetos
contables, enumerables, sino tambin la capacidad de prescindir, al
considerar estos objetos de todas sus dems cualidades que no sean
el nmero, y

1. Visin general de la matemtica c

le llegan desde afuera y segn las cuales tiene que disponerse el

mundo. As ha ocurrido en la sociedad y en el Estado, y as
precisamente se aplica luego al mundo de la matemtica
pura,aunque ha sido tomada sencillamente de ese mundo y no
representa mas que una parte de las formas de conexin del
mismo, nica razn por la cul es aplicable (Anti-Dhring . Ed.
Grijalbo. Mxico 1962. pp 25-26)
2.- As Engels enfatiza que la matemtica refleja la realidad, que surge
d e las necesidades prcticas de la gente y que sus primeros conceptos y
principios; fueron el resultado de un largo desarrollo
histrico basado en la experiencia . Ya hemos examinado esto con
bastante detalle en los ejemplos de la aritmtica y la geometra. Nos
hemos convencido, en particular, de que las ideas de nmero o
magnitud y de figura geomtrica surgieron d e esta manera y que
reflejan las relaciones cuantitativas reales y las formas reales de la
realidad. Las ideas fundamentales del anlisis reflejan igualmente
relaciones cuantitativas reales. Son construidas gradualmente,
comenzando con generalizaciones de una gran cantidad de material
concreto; as, el concepto de funcin es un reflejo, en forma abstracta,
generalizada, de diversas relaciones entre cantidades reales.
Resumiendo todo esto, Engels llega a la conclusin fundamental: la
matemtica tiene como su objeto de estudio a la materia real, pero la
considera en total abstraccin de sus contenidos concretos y de sus
peculiaridades cualitativas . En este sentido es claro que la matemtica
debe distinguirse de las ciencias naturales y Engels hace claramente
esta distincin.
La posibilidad de examinar abstractamente el objeto de estudio de la
matemtica se basa objetivamente en el mismo objeto de estudio. Sus
formas, relaciones, interconexiones y leyes generales --independientemente de las peculiaridades especficas o de su contenido

d 8. La naturaleza esencial de la matemtica

concreto- existen objetivamente, independientemente de nuestro
conocimiento de ellas. As, la existencia del nmero como una
propiedad objetiva de las colecciones de objetos, la independencia de
1as re1aciones numricas respecto a las propiedades especificas d e los
objetos y la riqueza de estas relaciones, hicieran posible la aritmtica.
Donde tales formas y relaciones comunes, independientemente del
contenido, no existen, ah el examen matemtico es imposible.
3.- La ya mencionada caracterstica fundamental de1a matemtica
determina otras propiedades caractersticas. En la seccin 2
examinamos algunos de estos; rasgos especiales en el caso de la
aritmtica. Estos son: el "lenguaje formal" especifico, la amplitud de
aplicaciones, la abstraccin de los resultados a partir de la experiencia,
su inevitabilidad lgica y su persuasividad. El carcter terico de la
matemtica es claramente un rasgo esencial de ella y ahora
examinaremos este rasgo en detalle.
Si abstraemos, por ejemplo, la idea de nmero de su base concreta y
consideramos nmeros puros en general, independientemente de
cualquier re1acin a una u otra coleccin concreta de objetos, entonces
resulta de suyo que no podemos llevar a cabo experimentos sobre tales
nmeros abstractos. Permaneciendo a este nivel de abstraccin sin
regresar al objeto concreto, es posible obtener resultados; sobre los
nmeros solo mediante argumentos basados en el concepto de nmero
en s mismo. Lo mismo se aplica, por supuesto, a todos los resultados
matemticos. Quedndonos dentro de los limites de la geometra pura,
i.e., considerando figuras geomtricas totalmente abstradas de
cualquier contenido concreto, cualitativo, podernos derivar nuevos
resultados solamente razonando a partir del mero concepto de sta o
aquella figura a partir de los conceptos bsicos de la geometra o de los
propios axiomas. As, las propiedades de un crculo se deducen de la
idea de circulo como el lugar geomtrico de los puntos equidistantes de
un punto dado, y de ninguna manera, cada teorema es verificado por la
experiencia.

1. Visin general de la matemtica e

Por tanto, el carcter abstracto de la matemtica est

predeterminado por el hecho de que los teoremas matemticos son
demostrados solo mediante razonamientos basadas en los conceptos
mismos.
Es posible afirmar que en la matemtica investigamos relaciones
cuantitativas, teniendo en mente solo lo que esta contenido en las
definiciones mismas. correspondientemente, 1os resultados
matemticos se obtienen mediante argumentos derivados de las
definiciones. Por supuesto, sera incorrecto interpretar esto demasiado
1iteralmente y suponer que las definiciones suficientemente rigurosas
de las ideas matemticas fueron realmente formuladas antes de 1a
creacin de las teoras matemticas correspondientes, de hecho, 1os
conceptos mismos fueron precisados en el curso del desarrollo de la
teora y como resultado de este desarrollo. Un anlisis profundo de la
idea de nmero entero, tanto de una formulacin precisa de 1os
axiomas de la geometra no fueron llevados a cabo en la antigedad,
sino hasta fines del siglo XIX. Sera. ms errneo pensar que existe
alguna clase de ideas matemticas absolutamente, precisamente
determinadas. Todo concepto, por ms precisamente definido que
parezca es, sin embargo, mutable -evoluciona y se hace ms preciso
con el desarrollo de la ciencia. Esto se demuestra plenamente por el
desarrollo de la matemtica en relacin con todos sus conceptos , y slo
confirma una vez ms la proposicin fundamental de la dialctica de
que en el mundo no hay nada inmutable y no sujeto a desarrollo. As,
con respecto a las ideas matemticas, podemos hablar slo de precisin
suficiente pero no absoluta y, en segundo lugar, debemos tener en
mente que la precisin y claridad de sus definiciones y la profundidad
su anlisis evolucionaron con el desarrollo de la matemtica. Sobre el
tema del carcter cambiante de los conceptos matemticos, tendremos
ms que decir en la siguiente seccin; pero ahora recordando las
observaciones anteriores, consideramos en detalle la pertinencia de la
observacin.

f 8. La naturaleza esencial de la matemtica

Esta percepcin de los conceptos matemticos -junto con la
aplicabilidad general de la lgica misma- parece ser la razn de la
persuasividad interna y de la necesidad lgica caractersticas de 1os
resultados matemticos. La inevitabilidad de los tericos de la
matemtica da origen a la idea errnea de que la matemtica tiene su
fundamento en el pensamiento puro, de que es a priori y no se deriva
de la experiencia, que no refleja la realidad. El famoso filsofo alemn
Kant, por ejemplo, 1leg a esta conclusin. Esta nocin ideolgica
profundamente errnea surge en particular cuando se considera a la
matemtica en su forma acabada y no en trminos de su origen y
desarrollos reales. Pero este enfoque es bastante estril, por la simple
razn de que no corresponde al estado real de las cosas; puesto que est
firmemente establecida que la matemtica no es a priori, sino que
surgi de la experiencia. De hecho, los orgenes reales de la geometra
fueron escritos en la poca de Eudemo de Rodas, a quien citamos en 1a
seccin 3.
No slo 1os conceptos de la m atemtica, sino sus resultados y mtodos,
reflejan 1a realidad. Este importante punto es establecido por Engels,
quien escribe: "Tampoco la aparente derivacin de 1as magnitudes
matemticas unas de otras prueba su imagen a priori, sino slo su
conexin racional". Los resultados y pruebas matemticos surgen como
reflejos de las relaciones reales que la gente investiga en su experiencia.
La suma de nmeros refleja la combinacin real de varios objetos
conjuntados en uno. Las bien conocidas demostraciones sobre
igualdades de tringulos en las cuales se habla de superposicin , tienen
su origen ciertamente en la operacin de encimar realmente un objeto
sobre otro; esto sucede constantemente en las comparaciones de sus
tamaos. El clculo de volmenes por medio de la integracin refleja
de manera abstracta la posibilidad real de construir cuerpos a partir de
finas capas o de cortarlos en tales c apas. demostraciones matemticas
mas complicadas son resultado de un mayor desarrollo que se origina
en este fundamento material.

1. Visin general de la matemtica g

4.- La total abstraccin de los objetos matemticos de cualquier cosa
concreta y el carcter terico de1os resultados matemticos que se
basan en ellas, tienen como consecuencias otro rasgo importante la
matemtica: en la materia que investigamos no solo las relaciones
cuantitativas y las formas espaciales que se abstraen directamente de la
realidad, sino tambin las relaciones y formas que son definidas dentro
de la matemtica sobre la base de conceptos y teoras previamente
reunidos. Es justamente este rasgo de la matemtica el que Engels
considera cuando, refirindose al origen de los conceptos de puntos,
rectas, cantidades constantes y variables, dice: "slo al final de esto
alcanzamos por primera, vez a las, propias .y libres creaciones e
imaginaciones del entendimiento, a saber, a las magnitudes
imaginarias".
El hecho histrico es que los nmeros imaginarios no fueron tomados
de la realidad en el mismo sentido que, digamos, los enteros.
Aparecieron originalmente dentro de la propia matemtica, producto
del necesario desarrollo del lgebra, como las races de las ecuaciones
de la forma x2=-a (donde a>0). A pesar de que gradualmente, las
operaciones con ellos fueran realizadas bastante libremente, su
significado real permaneci sin aclararse por largo tiempo y esta es la
razn de que adquirieran el nombre de imaginarios. Posteriormente
fue descubierta una interpretacin geomtrica y se encontraron
numerosas aplicaciones importantes. Precisamente del mismo modo la
geometra de Lobachevsky se origin como un producto creativo del
gran cientfico; el no vio su significado real y el c onsecuencia la llama
"geometra imaginaria". Sin embargo, no fue un libre juego del
entendimiento, sino el resultado inevitable de los conceptos
fundamentales de la geometra, y Lobachevsky la considero como una
posible teora de las formas y relaciones espaciales. Por tanto no es
posible interpretar "las libres, creaciones e imaginaciones" de las cuales
habla Engels, como simples arbitrariedades del pensamiento. La libre
creacin en la ciencia: esta es una cristalizacin de la necesidad lgica,
determinada por los conceptos y las posiciones iniciales tomadas de la

h 8. La naturaleza esencial de la matemtica

experiencia, En la fase ms reciente del desarrollo de la matemtica,
cuyos inicios pueden localizarse precisamente en el momento de la
construccin de la geometra de Lobachevsky y del significado preciso
de los nmeros imaginarios, aparecieron nuevos conceptos y teoras y
continan apareciendo; estos resultados basados en conceptos y teoras
previamente construidos que no necesariamente se extraen
directamente de la realidad. La matemtica define e investiga las
posibles formas de la realidad; esta es una de las caractersticas
decisivas en la fase reciente del desarrollo.
La teora del conocimiento del materialismo dialctico suministra una
concepcin correcta de esta caracterstica. Lenin escribi: el
conocimiento es el reflejo de la naturaleza por el hombre. Pero este no
es un reflejo simple, inmediato, completo, sino el proceso de una serie
de abstracciones, la informacin y el desarrollo de una serie de
conceptos, leyes, etc... (Cuadernos Filosficos. Buenos Aires, 1974. p
174). El materialismo metafsico tambin reconoce que el
conocimiento, en particular el-conocimiento matemtico, es unreflejo
de la naturaleza. Sin embargo, como observa Lenin, la debilidad. del
materialismo metafsico, su incapacidad para aplicar la dialctica a la
teora del reflejo (ib. p 3300). El materialismo metafsico no comprende la complejidad de este reflejo, no entiende que se mueve a travs de
una serie de abstracciones mediante la formacin de nuevos conceptos,
mediante la construccin de nuevas teoras sobre la base de conceptos
y teoras previamente construidos, y por el examen no slo de los datos
de la experiencia sino de sus posibilidades. Esta transicin de los datos
a las posibilidades se manifiesta ya en l formacin de conceptos tales
como el de nmero entero arbitrario o el de recta infinita, ya que no
existe dato alguno en la experiencia sobre nmeros enteros
arbitrariamente grandes o extensiones infinitas. Pero cuando cristaliza
el concepto de nmero, la posibilidad de continuacin infinita de la
sucesin numrica se manifiesta a partir del concepto mismo y de la
ley de formacin de nmeros sucesivos mediante la adicin de la

1. Visin general de la matemtica i

unidad. Del mismo modo la extensin de un segmento rectilneo revela
la posibilidad de su extensin infinita, expresada en el segundo
postulado de Euclides: Toda recta puede extenderse infinitamente". El
proceso subsecuente de abstraccin conduce a los conceptos de la
sucesin completa de los nmeros naturales y de todas las rectas
infinitas. En la fase ms reciente del desarrollo de la matemtica, la
construccin de teoras ha sido cualitativamente nueva pasando por
una sucesin de abstracciones y formaciones de conceptos, Pero
volviendo sobre la trayectoria de estas, abstracciones, vemos que la
matemtica no est, de ninguna manera, separada de la realidad. Lo
que es nuevo, surge sobre la base del reflejo de la realidad, como
resultado de la lgica misma del concepto y, particularmente, por
medio del regreso a la realidad a travs; de las aplicaciones a problemas
fsicos y tecnolgicos. As sucedi con los nmeros imaginarios.
Tambin es cierto que en relacin a otras teoras matemticas por ms
abstractas que puedan ser. Un ejemplo caracterstico se encuentra en la
teora de los espacios n-dimensionales. Tales espacios fueron
inventados como generalizaciones de 1a geometra euclidiana
conjuntamente con el desarrollo del lgebra, y el anlisis, bajo la
influencia de la mecnica y la fsica. La combinacin d e estas ideas
llev a Riemann a la construccin de la teora general que, desarrollada
ulteriormente por otros matemticos, encontr una serie de
aplicaciones, importantes y, finalmente proporcion u n aparato
matemtico disponible para la construccin de Einstein de la teora
general de la relatividad (ms precisamente, la teora general de la
gravitacin). No es accidental que las teoras geomtricas abstractas
encontraran brillantes aplicaciones, tampoco es resultado de una
"armona preestablecida de la naturaleza y la razn", ms bien fue el
resultado, del hecho de que estas teoras surgieron de la geometra, que
estaba basada directamente en la experiencia, y de que estaban
relacionadas por sus creadores: a problemas de investigacin del
espacio real. Riemann en particular, previ claramente la conexin de
su teora con la de la gravitacin.

j 8. La naturaleza esencial de la matemtica

As en el desarrollo, de la matemtica existe la ley del movimiento del
conocimiento formulada por Lenin: El pensamiento que avanza de lo
concreto a lo abstracto -siempre que sea correcto ...- no se aleja de la
verdad sino que se acerca a ella. La abstraccin de la materia, de una
ley de la naturaleza, la abstraccin del valor, etc., en una palabra, todas
las abstracciones cientficas (correctas, serias no absurdas) reflejan la
naturaleza en forma ms profunda, veraz y completa. De la percepcin
viva al pensamiento abstracto y de ste a la prctica: tal es el camino
del conocimiento dialctico del conocimiento de la verdad, del
conocimiento de la realidad objetiva". ( Ibd., p 163).
De lo que se ha dicho resulta claro que la visin idealista de que las
teoras matemticas constituyen meramente esquemas convencionales
elegidos para describir los datos de la experiencia, o para ordenar el
afluente de sensaciones sobre la base del "principio de la economa del
pensamiento es completamente falsa.
Engels, observa (como se remarco anteriormente) que las proposiciones
de la matemtica, abstradas del mundo real como si fueran opuestas a
l, se aplican al estudio de ste como un esquema acabado. Por
ejemplo, continuamente hacemos uso de los clculos en la forma de
nmeros acabados (tabulados). Esto es ms, cierto an en las teoras
surgidas a niveles, superiores de abstraccin. En el ejemplo ya
discutido, la geometra de Riemann sirvi como un esquema
matemtico ya 1isto para la teora d la gravitacin. Pero Engels
explica que la posibilidad de tal aplicacin de la matemtica a la
investigacin del mundo real se basa en el hecho de que la m atemtica
fue tomada de ese mundo, y no expresa ms que una de las formas de
conexin del mismo, slo a causa de esto es que puede aplicarse. El
hecho de que muchas teoras sean creadas dentro de la propia
matemtica no modifica nada de esto. El desarrollo de ms aplicaciones
de las teoras formales a la realidad no es, en modo alguno, un a sunto
de convencin; este desarrollo aparece como una consecuencia 1gica

1. Visin general de la matemtica k

del objeto mismo. En cualquier caso, las teoras matemticas reflejan 1
realidad -la nica diferencia entre ellas es que en algunos casos el
reflejo es ms inmediato, mientras que en otros pasa por una serie de
abstracciones, conceptualizaciones, etc.
5.- La etapa ms reciente en el desarrollo de la matemtica. se
caracteriza no slo por niveles mayores de abstraccin se caracteriza
adems por la esencial ampliacin de su objeto de estudio por ir ms
all de los conceptos iniciales de relaciones cuantitativas y formas
espaciales
Las figuras en un espacio de varas dimensiones o de dimensin
infinita- no son, por supuesto, formas espaciales en el sentido usual en
que las entendemos cuando tenemos en mente el espacio comn real,
en lugar- de 1os espacios abstracto de la matemtica. Tales espacios
tienen significado real y reflejan de manera abstracta formas definidas
de realidad semejante; por esta razn, en contraste c on el espacio real
comn y podemos llamarlos "como-espacios. Al hablar. de espacios de
varias dimensiones, o de figuras en ellos, dotamos de un nuevo
contenido, al concepto de espacio, de manera que es necesario
distinguir claramente entre el concepto abstracto y generalizado de
espacio en la matemtica, por un lado, y el concepto de espacio en su
sentido original como la forma universal de existencia de la materia,
por el otro).
El surgimiento a fines del siglo pasado de la nueva disciplina de la
lgica matemtica, desarrollada extensivamente desde entonces, servir
como otro ejemplo del modo en que el objeto de estudio de la
matemtica ha roto con las limitaciones de las formas espaciales y las
relaciones cuantitativas en el, sentido original de estas trminos. El
objeto de consideracin de esta disciplina es la estructura de las
demostraciones matemticas, esto es, estudiar cules proposiciones
pueden derivarse de premisas dadas, mediante reglas prescritas.

l 8. La naturaleza esencial de la matemtica

Investiga este tema, como es caracterstico en la matemtica, en
completa abstraccin del contenido, reemplazando as proposiciones
por frmulas y reglas de inferencia, mediante los principios de
operacin con ests frmulas. Las relaciones entre premisas y
conclusiones, axiomas y teoremas, por supuesto no se reducen a formas
espaciales o relaciones cuantitativas en el sentido usual de las
relaciones entre valores numricos.
Como otro ejemplo consideramos la teora de grupo que puede
entenderse como el estudio de las simetras en el sentido mas general.
El cambio de las simetras de un cristal de azufre, digamos, al pasar de
la forma romboidal a la prismtica, es un cambio cualitativo
fundamental del estado de la sustancia. En este sentido, la teora de
grupos es el estudio de las cantidades o cualidades definidas de un
objeto, cambios; en los cuales van acompaados cambios cualitativos
en el objeto mismo.
Una consecuencia de la extensin del objeto de estudio de la
matemtica es la extensin sustancial de nuestro entendimiento las
relaciones cuantitativas y de las formas espaciales . Cules son,
entonces, los rasgos generales caractersticos de esta expansin en el
objeto estudia de la matemtica?.
Si respondemos a esta pregunta no enumerando, si no intentando
aclarar los rasgos comunes de estos objetos en toda su diversidad de
formas, entonces la respuesta se encuentra esencialmente en Engels. Es
suficiente fijar la atencin en su tratamiento no solo del objeto de
estudio de la matemtica sino del modo en que la matemtica trata su
objeto d e estudio: la abstraccin completa de la forma y las relaciones
de su contenido. Este carcter abstracto de la matemtica nos
suministra simultneamente una definicin de su contenido.

1. Visin general de la matemtica m

El objeto de estudio de la matemtica consiste de aquellas formas y
relaciones de la realidad que tiene objetivamente tan alto grado de
indiferencia respecto al contenido , que pueden abstraerse
completamente de ste y que pueden definirse de una manera general
con tal claridad y precisin, preservando tal riqueza de relaciones que
suministran una base para el desarrollo puramente lgico de la t eora.
Si llamamos a estas formas y relaciones cuantitativas en el sentido ms
general de la palabra es posible decir brevemente que el objeto de
estudio de la matemtica consiste de las relaciones cuantitativas y las
formas vistas de manera exclusivamente abstracta.
La abstraccin no es, en modo alguno, privilegio exclusivo de la
matemtica. Otras ciencias, estn sin embargo, estn primordialmente
interesadas en el grado de conformidad de sus sistemas de abstraccin
con una coleccin de datos claramente definida; uno de sus problemas
importantes es la tarea de investigar los lmites de aplicabilidad del
sistema terico a la coleccin de datos y determinar cambios
apropiados en el sistema abstracto. La matemtica, por el contrario,
mientras investiga las propiedades generales en total abstraccin del
dato especfico examina estos sistemas de abstraccin mismos en su
generalidad abstracta fuera de las fronteras de su aplicabilidad a
fenmenos particulares concretos. Se puede decir que para la
matemtica es caracterstico lo absoluto de la abstraccin.
Es precisamente la indicada indiferencia hacia el contenido de las
formas investigadas en la matemtica, lo que define las propiedades
generales de la matemtica: su carcter terico, su necesidad lgica y la
inmutabilidad aparente de sus resultados, la creacin interna de sus
nuevos conceptos y teoras; precisamente la indiferencia respecto al
contenido determina el carcter especial de la aplicabilidad de la
matemtica. Cuando podemos trasladar un problema practico al
lenguaje de la matemtica, podemos al mismo tiempo abstraernos de
las caractersticas secundarias del problema y, haciendo usa de

n 8. La naturaleza esencial de la matemtica

frmulas y teoremas generales, obtener resultados precisos. De este
modo la abstraccin de la matemtica constituye su potencia; esta
abstraccin es una necesidad prctica.
6.- Regresando ahora al juicio de Engels acerca de la matemtica,
podernos ver su profundidad y riqueza y la posibilidad de desarrollarlas
an mas. Sin ser un matemtica, pudo hacer un anlisis tan profundo
de esta ciencia no solo por ser un pensador genial, sino principalmente
porque poda hacer uso del materialismo dialctico y porque era guiado
por el en su explicacin de la esencia de la matemtica. Por tanto, no es
de extraar que nadie antes de Engels pudiera dar una explicacin tan
profunda y correcta a este problema. Los grandes matemticos eran
incapaces de resolver problema de este modo.
Fue exactamente de esta manera en que posteriormente Lenin dio un
anlisis del problema de la fsica que sobrepas cualquier cosa hecha en
esta rea
Esto demuestra nuevamente el conocimiento y la potencia
suministradas por el materialismo dialctico; demuestra que no es
suficiente tener conocimiento de proposiciones particulares; no es
suficiente ser un trabajador cientfico creativo tambin es necesario
poseer el mtodo general correcto, dominar el materialismo dialctico.
Sin esto los resultados dela ciencia parecern un cmulo informe o se
presentaran de manera distorsionada; en lugar de un conocimiento
verdadero de la ciencia se tendr una representacin falsa, metafsica e
idealista de ella. As, por ejemplo, muchos matemticos que no posean
el materialismo dialctico se encuentran ampliamente desorientados en
las cuestiones generales concernientes a su ciencia o las abordan de
manera completamente inadecuada.
En la poca en que Engels escribi el Anti-Dhring i.e., en 1876-1877,
la geometra no euclidiana y las geometras del espacio de varias

1. Visin general de la matemtica o

dimensiones empezaban a ganar aceptacin entre los matemticos, la
teora de grupos apenas haba sido formulada, 1a teora de conjuntos
apenas haba aparecido y la lgica matemtica acababa de nacer. Es
obvio, por tanto, que Engels no poda haber dado una discusin
detallada de las propiedades caractersticas de las ltimas etapas en el
desarrollo de la matemtica; sin embargo, podemos encontrar en sus
opiniones, indicaciones para entenderlas.
Es interesante observar por ejemplo, que los dos eminentes gemetras
americanos Veblen y Whitehead intentan definir lo que es la
geometra en su libro Foundations of Differential Geometry y
concluyen que es imposible dar tal definicin, a excepcin, quiz de la
siguiente: La geometra es lo que los gemetras digan que es".

p 9 Las leyes del desarrollo de la matemtica.

En conclusin, intentaremos describir brevemente las leyes
generales del desarrollo de la matemtica.
9.- La matemtica no es creacin de una poca histrica o de
alguna persona; es el producto de una serie de pocas y del trabajo de
muchas generaciones. Como vimos, sus primeras ideas y proposiciones
surgieron en la ms temprana antigedad y han sido ordenadas en un
sistema coherente hace mas de 2000 aos. A pesar de las
transformaciones de la matemtica, sus ideas; y resultados son
preservados en la transicin de una poca a otra, como, por ejemplo las
leyes de la aritmtica o el teorema de Pitgoras. Las nuevas teoras
contienen a las anteriores, extendindolas, completndolas y
generalizndolas.
Al mismo tiempo, es, claro, del breve esbozo del desarrollo de la
matemtica presentando arriba, que su desarrollo no es simplemente
una acumulacin de nuevas teoras, si no que incluye cambios
cualitativos esenciales. Correspondientemente el desarrollo de la
matemtica. puede ser separado en una sucesin de periodos. histricos
con las transiciones entre ellos marcadas por cambios fundamentales
en el objeto de estudio o estructura de esta ciencia.
La matemtica incluye en su dominio todas las nuevas reas de
relaciones cuantitativas de la realidad. Al mismo tiempo, los objetos
ms importantes de la matemtica han sido y son las formas espaciales
y las relaciones cuantitativas en el sentido sencillo, ms directo de estos
trminos, y la comprensin matemtica de nuevas conexiones y
relaciones inevitablemente surge sobre la base y en conexin con los
sistemas previamente construidos de las representaciones cientficas
cuantitativas y espaciales.
Finalmente, la acumulacin de resultados dentro de la matemtica
necesariamente conduce hacia el ascenso a nuevos niveles de
abstraccin y nuevas generalizaciones de conceptos, y de ah a una
profundizacin del anlisis de los conceptos originales.

1. Visin general de la matemtica q

As como un poderoso roble engrosa sus ramas aadiendo nuevas
capas, produce nuevas, se extiende hacia arriba y profundiza sus races
hacia abajo, del mismo modo, la matemtica en su desarrollo aade
nuevo material a sus reas ya existentes, forma nuevas reas a
investigar, asciende hacia nuevos niveles de abstraccin y profundiza
sus propios fundamentos.
2.- La matemtica tiene como su objeto de estudio las formas y
relaciones reales de la realidad, pero, como dijo Engels, para estudiar
estas formas y relaciones en forma pura es necesario aislarlas
completamente de su contenido y dejarlo de lado como irrelevante. Sin
embargo, las formas y relaciones no existen separadas de su contenido,
las formas y relaciones matemticas no pueden ser absolutamente
indiferentes al contenido. Consecuentemente la matemtica, por su
naturaleza, al aspirar lograr tal separacin, intenta lo imposible. Esta es
la. contradiccin fundamental en el corazn de la matemtica. Es la
contradiccin especfica en la matemtica de las contradicciones en el
conocimiento. El reflejo en el pensamiento de cualquier fenmeno,
cualquier aspecto, cualquier cantidad de la realidad, la hace burda y la
simplifica, arrancndola de sus conexiones generales en la naturaleza.
Cuando la gente, al estudiar las propiedades del espacio, aseguraban
que era euclidiano, realizaba un acto excepcionalmente importante de
cognicin, a pesar de que contena un error: las propiedades reales del
espacio se tomaban simplemente, esquemticamente haciendo
abstraccin de la materia. Pero sin sta, simplemente no habra
geometra, y sobre l a base de esta abstraccin (por deduccin interna,
as como por confrontacin de los resultados matemticos con nuevos
datos de otras ciencias) se produjeron y fortalecieron nuevas teoras
geomtricas.
La superacin constante y el restablecimiento de tales contradicciones
a nuevos niveles de conocimiento, cada vez aproximndose ms de
cerca a la realidad, constituye la esencia del desarrollo del
conocimiento. Este concepto de desarrollo, por supuesto, asigna un
contenido positivo al conocimiento, un elemento de verdad

r 9 Las leyes del desarrollo de la matemtica.

absoluta en l. El conocimiento avanza en lnea ascendente, y no se
considera carente de valor alguno por el hecho de que incorpore
errores en su desarrollo.
La contradiccin fundamental que hemos indicado conduce a otra.
Vimos esto en el ejemplo de la oposicin de lo discreto con lo
continuo. (En la naturaleza no hay una separacin absoluta entre ellos
y su separacin en la matemtica se hizo necesaria, inevitablemente, la
creacin de ideas enteramente nuevas que reflejaban profundamente
las realidad mientras que, al mismo tiempo, rebasaban imperfecciones
internas en las teoras matemticas existentes). Exactamente de esta
manera las contradicciones entre lo finito y lo infinitos lo abstracto y
lo concreto, la forma y el contenido, etc. aparecen en la matemtica
como manifestaciones de esta contradiccin fundamental definida ms
arriba . Pero el factor decisivo en sus manifestaciones es que,
abstrayendo de lo concreto y uniendo sus ideas abstractas, la
matemtica se separa de la experiencia y de la prctica; pero al mismo
tiempo, se prueba como, ciencias (i.e. tiene un valor cognoscitivo
significativo) sobre la base de que descansa en la prctica, sobre la base
de que se prueba no como matemtica pura, sino aplicada. Hablando
por el momento en lenguaje hegeliano, la matemtica pura
continuamente se niega a s misma como matemtica pura; si no fuera
as, no podra tener un significado cientfico, no podra desarrollarse,
no podra remontar las dificultades que inevitablemente surgen enella.
En su aspecto formal las teoras matemticas se apartan de su
contenido real como tantos otros esquemas para obtener resultados
concretos. La matemtica surge de esta manera como el medio para
resolver problemas en las ciencias naturales y la tecnologa.
La importancia de la matemtica pura en la poca presente reside
principalmente, en el mtodo matemtico. Y, as como todo mtodo
existe y se desarrolla no en trminos de si mismo sino por sus
aplicaciones, en conexin al contenido real al cual es aplicado, la
matemtica no puede existir y desarrollarse sin aplicaciones. Aqu
tambin se revela la unidad en la contradiccin: el mtodo general
aparece en oposicin al problema concreto, como un medio para su

1. Visin general de la matemtica s

solucin; pero en s mimo surge de la generalizacin del material
concreto y existe por s mismo, se desarrolla y encuentra justificacin
solamente en la solucin de problemas concretos.
3.-La prctica social tiene un papel determinante en el desarrollo
de la matemtica en tres aspectos: plantea nuevos problemas a la
matemtica, estimula su desarrollo en direcciones particulares y
proporciona criterios para la validez de sus resultados.
Esto puede verse con extraordinaria claridad en el ejemplo del
origen del Anlisis. En primer lugar, fue el desarrollo de la mecnica y
la tecnologa lo que empuj hacia adelante el problema del estudio de
la dependencia de cantidades variables en la forma ms general.
Arqumedes llego justo al borde del clculo diferencial e integral pero
permaneci, no obstante, en el marco de los problemas estticos,
mientras que en los tiempos modernos fue precisamente la
investigacin del movimiento lo que produjo lo s conceptos de variable
y funcin e hizo necesaria la formalizacin del Anlisis. Newton no
podra haber desarrollado la mecnica sin desarrollar los mtodos
matemticos correspondientes.
En segundo lugar, fueron precisamente las necesidades sociales de
la produccin las que rpidamente plantearon o resolvieron todos estos
problemas. Este estmulo no estaba an presente en la sociedad antigua
ni en la medieval. Finalmente es muy caracterstico del Anlisis
matemtico en su comienzos, el. haber encontrado pruebas de sus
resultados primordialmente en su aplicacin. Slo por esta razn pudo
desarrollarse, sin definiciones rigurosas de las ideas, fundamentales,
(variable, funcin, lmite) las que no se dieron sino hasta despus. La
validez del Anlisis fue establecida por su a plicaciones a la mecnica, la
fsica y la tecnologa.
Lo que hemos dicho se aplica a todos los periodos del desarrollo de la
matemtica. Empezando en el siglo XVII, la mecnica, la fsica t erica
y los problemas de la nueva tecnologa ejercieron una influencia
especialmente directa sobre su desarrollo. La mecnica de las medios
continuos y despus la teora de los campos (termodinmica,

t 9 Las leyes del desarrollo de la matemtica.

electricidad, magnetismo, campos gravitacionales) condujeron al
desarrollo de la teora de las ecuaciones, diferenciales parciales, el
establecimiento de la teora molecular y de la fsica estadstica en
particular que empez al final del siglo pasado sirvi como un
importante estmulo para el desarrollo de la teora de la probabilidad
en particular de la teora de procesos aleatorios. A travs de sus
mtodos analticos y generalizaciones, la teora de la relatividad jug
un papel decisivo en el desarrollo de la geometra riemanniana.
En nuestra poca, el desarrollo de nuevas teoras matemticas tales
como el anlisis funcional y otras es estimulado por problemas de la
mecnica cuntica, problemas computacionales de tecnologa y tantos
otro. La fsica y la tecnologa no solo plantean otros problemas para la
matemtica y la dirigen hacia nuevas reas de investigacin si no que
tambin proporcionan estmulos renovados para el desarrollo de reas
de la matemtica, tales como la geometra riemanniana. Brevemente, el
desarrollo intensivo de la ciencia requiere no slo que proceda a atacar
nuevos problemas sino tambin que la necesidad de su solucin sea
dictada por las necesidades del desarrollo de la sociedad. Muchas
teoras matemticas han surgido en tiempos recientes pero solo se
desarrollaron y recibieron un lugar permanente en la ciencia aquellas
que encontraron aplicaciones en las ciencias naturales y en la
tecnologa o las que jugaron un papel importante en las
generalizaciones de las teoras que tienen aplicaciones. Ms an
aquellas teoras que no encontraron aplicaciones esenciales por
ejemplo, ciertos refinamientos de las teoras geomtricas (no
desargeanas y no arquimedianas) no se han desarrollado ms.
La verdad de los resultados matemticos no est basada a fin de
cuentas en sus definiciones y axiomas ni en el rigor formal de sus
definiciones, sino en sus aplicaciones reales, i.e., en ltima instancia en
la prctica.
Es necesario entender, por encima de cualquier cosa, que el desarrollo
de la matemtica es el resultado de la interaccin de la lgica del objeto
de estudio (reflejada en la lgica interna de la misma matemtica) con
la influencia de las necesidades de la produccin y los

1. Visin general de la matemtica u

lazos con las ciencias naturales. Este desarrollo avanza por caminos
complejos a travs de la lucha de contrarios e incluye cambios
esenciales en el contenido bsico y la forma de la matemtica. En
cuanto al contenido, el desarrollo de la matemtica est determinado
por su objeto de estudio, pero est impulsado bsicamente en ltima
instancia por las necesidades de la produccin. Tal es la ley bsica del
desarrollo de la matemtica.
Para estar seguros no debemos olvidar que esta descripcin se
aplica solamente a las leyes bsicas y que la relacin de la matemtica
con la produccin hablando en trminos generales es compleja. Lo que
hemos dicho arriba, sera claramente ingenuo intentar basar
directamente la aparicin de cualquier teora matemtica en las
necesidades de la produccin y ms que esto, la matemtica como
toda ciencia posee una independencia relativa, su propia lgica interna
que refleja, como hemos enfatizado, una lgica objetiva, i.e. una
conformidad con las leyes del objeto de estudio.
4.- La matemtica siempre ha estado influenciada no slo por la
produccin social sino por el conjunto de las condiciones sociales. Su
esplndido progreso en la poca del triunfo de la Grecia clsica, el xito
del lgebra en Italia durante la era del Renacimiento, el desarrollo del
anlisis en el periodo posterior a la Revolucin inglesa, el progreso de
la matemtica en Francia en el periodo de la Revolucin Francesa
todo esto demuestra convincentemente la continua relacin entre el
progreso de las matemticas y el progreso general de la sociedad, en lo
tcnico, cultural y lo poltico.
Este patrn se exhibe claramente en el desarrollo de la matemtica en
Rusia. Es imposible separar el establecimiento de una escuela
matemtica rusa independientemente, empezando por Lobachevsky
Ostrogradsky y Chebyshev, del progreso de la sociedad rusa en su
conjunto. La poca de Lobachevsky es la poca de Pushkin y Glinka, la
poca de los centristas, y el florecimiento de la matemtica fue un
elemento de progreso general. As ms persuasiva es la influencia del
desarrollo social en el periodo posterior a la gran Revolucin Socialista
de Octubre, cuando aparecieron, una tras otra, investigaciones de

v 9 Las leyes del desarrollo de la matemtica.

importancia fundamental con impactante rapidez, investigaciones
en muchas reas: en la teora de conjuntos, topologa, teora de
nmero, toera de probabilidad, teora de ecuaciones diferenciales
anlisis funcional lgebra y geometra.
Finalmente, la matemtica siempre ha experimentado y an
experimenta una marcada influencia de la ideologa. Como en toda
ciencia, el contenido objetivo de la matemtica se percibe e interpreta
por los matemticos y filsofos en el marco de tal o cual ideologa.
En resumen, el contenido objetivo de una ciencia siempre se
presenta bajo una u otra forma ideolgica, la unidad y lucha de esta
oposicin dialctica-contenido objetivo y forma ideolgica- juega en el
desarrollo de la matemtica como en toda ciencia un papel que de
ninguna manera es despreciable.
La lucha entre el materialismo (que corresponde a los contenidos
objetivos de la ciencia) y el idealismo (que discrepa con aquellos
contenidos y distorsiona sus ideas) se manifiesta en la historia entera de
la matemtica. La lucha es claramente evidente en la antigua Grecia
donde el idealismo de Pitgoras, Scrates y Platn se proyecta contra el
materialismo de Tales, Demcrito y los otros filsofos que crearon la
matemtica Griega. COn el desarrollo del esclavismo, los estratos
superiores de la sociedad dejaron de tomar parte en la produccin
considerando que ese era el destino de las clases inferiores, y esto
gener la separacin entre la ciencia pura y la prctica. Slo la
geometra terica, pura, resultaba de valor para el filsofo verdadero.
Caractersticamente, la investigacin de ciertas curvas obtenidas por
medios mecnicos y an la investigacin de las secciones cnicas, eran
consideradas por Platn fuera de los lmites de la geometra, ya que no
nos ponen en contacto con las ideas eternas e incorpreas sino que
son usadas como herramientas en oficios vulgares.
Un claro ejemplo de la lucha del materialismo contra el idealismo
en la matemtica nos lo proporciona la actividad de Lobachevsky,
quien avanz en, y defendi una visin materialista de la matemtica,
contra la visin idealista de los kantianos.

1. Visin general de la matemtica w

La escuela matemtica rusa se caracteriza por una tradicin
materialista. As Chebishev enfatiz claramente la importancia decisiva
de la prctica, y Lyapunov expres el enfoque de la escuela matemtica
rusa en las notables palabras que siguen: "el camino ms o menos
general de la teora es la investigacin detallada de asuntos que sean de
particular importancia desde el punto de vista de las aplicaciones, y al
mismo tiempo, presenten dificultades tericas especiales; que
demandan la investigacin de nuevos mtodos y la construccin de
nuevos principios cientficos, y la subsecuente generalizacin de estos
resultados y construcciones, por medio de una teora ms o menos
general. Generalizacin y abstraccin no en si mismas, sino en
relacin a material concreto; los teoremas y teoras no en s mismos
sino en relacin general con la ciencia, conducen en ltima instancia, a
la practica -esto de hecho se nuestra como lo importante y
recompensante en la empresa en su conjunto.* Tales fueron las
aspiraciones de Gauss y Riemann y otros grandes eruditos.
Sin embargo, con el desarrollo del capitalismo en Europa, los puntos de
vista ideolgicos empezaron a transformar el punto de vista idealista
que haba reflejado la ideologa dominante en la poca de expansin de
la burguesa, desde el siglo XVI hasta los comienzos del XIX. As, por
ejemplo, Cantor (1846-1918), al crear la teora de los con juntos
infinitos, apelaba directamente a Dios declarando en este sentido que
los conjuntos infinitos tenan existencia absoluta en el intelecto divino.
Pincar, el sobresaliente matemtico francs de fines del siglo XIX y
comienzos del XX, insinu la posicin idealista del
convencionalismo, de acuerdo a la cual, la matemtica consiste en un
esquema acordado convencionalmente, tomado por conveniencia
como la descripcin de una experiencia multifactica. As, en opinin
de Poincar, los axiomas de la geometra euclidiana no son ms que
convenciones acordadas, con significado por su claridad, conveniencia
y simplicidad, pero no conforme a la realidad. Por esta razn, Poincar
dijo, la fsica, por ejemplo, abandonara ms pronto a ley de la
propagacin rectilnea de la luz que la geometra euclidiana. Este punto
de vista fue refutado por el desarrollo de la relatividad, que a pesar de

x 9 Las leyes del desarrollo de la matemtica.

toda la simplicidad y conveniencias de la geometra euclidiana
condujo a resultados en completa armona con las ideas materialistas de
Lobachevsky Riemann, consistente en que la geometra real de espacio
no es euclidiana.
Un entendimiento general la conexin necesaria de las diferentes
reas de la matemtica entre s, y de stas con las ciencias naturales y la
prctica, tiene una enorme importancia no slo para tener una visin
correcta de la matemtica, sino, tambin para orientar al investigador
en la seleccin de la direccin y el tema de investigacin.
A principios del siglo XIX apareci entre los matemticos una
diversidad de tendencias, como resultado de las dificultades aparecidas
en la teora de conjuntos en conexin con la necesidad de un anlisis
de los conceptos fundamentales de la matemtica.
Se perdi el consenso en torno a cmo deba entenderse el
contenido de la matemtica; distintos matemticos llegaron a ver no
solo los fundamentos generales de la ciencia de diferente manera, como
previamente haba sido el caso, sino que llegaron a diferentes
evaluaciones sobre el significado e importancia de los resultados y
argumentos concretos particulares. Deducciones que fueron
consideradas de gran significado e inters por un matemtico fueron
declaradas por otros carentes de significado e importancia. Surgieron
las corrientes idealistas de logocismo, intuicionismo, formalismo,
etc.
El logicismo afirma que la matemtica en su conjunto es una
consecuencia de las ideas de la lgica. El intuicionismo ve en la
intuicin la fuente de la matemtica y considera que slo lo que es
aprendido intuitivamente es significativo. En particular, por tanto,
niega completamente la importancia de la teora de Cantor de
conjuntos infinitos. Ms que eso, los intuicionistas niegan el simple
significado de afirmaciones tales como el teorema de que cualquier
ecuacin algebraica de grado n tiene n races. Para ellos esta afirmacin
es vaca dado que no est indicando el mtodo para calcular estas
races. As, el completo rechazo del significado objetivo de la

1. Visin general de la matemtica y

matemtica conduce a los intuicionistas a denigrar como carente de
significado una parte importante de la matemtica.
El matemtico mas prominente de principios de nuestro siglo D.
Hilbert, se di a la tarea de salvar a la matemtica de ataques de este
tipo. La esencia de su idea fue intentar reducir las teoras matemticas a
operaciones puramente formales de smbolos, de acuerdo a reglas
establecidas previamente. La argumentacin era que, en un enfoque
puramente formal, todas les dificultades seran eliminadas, dado que la
matemtica se convertira en smbolos y reglas, de operacin que
actan sobre ellos, sin referencia alguna a su significado. Este es
entonces el propsito del formalismo en la matemtica. De acuerdo con
el intuicionista Brower la verdad de la matemtica para los formalistas
existe en el papel, mientras que para los intuicionistas est en la cabeza
de los matemticos.
No es difcil, sin embargo, ver que ambos estn en un error ya que
la matemtica, adems de que est escrita en el papel y del hecho de
que es pensada por los matemticos refleja la realidad, y la verdad de la
matemtica incluye en si misma la correspondencia con la realidad
objetiva. Al separar la matemtica de la realidad material todas estas
tendencias se convierten en idealistas. La idea de Hilbert fue refutada
coma r esultado de su propio desarrollo. El m atemtico austriaco Gdel
mostr que es imposible formalizar completamente sin la aritmtica,
como Hilbert lo haba credo. El resultado de Gdel revel claramente
la dialctica interna de la matemtica, dialctica que nos permite llegar
por exhaucin a un rea mediante un clculo formal. An el infinito
ms simple, aquel de la sucesin de nmeros naturales se mostr como
un esquema finito inagotable de smbolos y sus reglas de operacin. As
fue probado lo que Engels ya haba expresado en forma general cuando
escribi el infinito es una contradiccin... la eliminacin de la
contradiccin sera el fin del infinito (Anti-Dhring). Hilbert contaba
con que era posible contener al infinito matemtico dentro del marco
de referencia de un esquema finito resolviendo as todas las
contradicciones y dificultades. Esto result no ser posible.

z 9 Las leyes del desarrollo de la matemtica.

Bajo las condiciones del capitalismo, no obstante, el
convencionalismo, el intuicionismo, el formalismo y corrientes
similares, no slo persisten, sino que se alimentan con nuevas
variaciones de puntos de vista idealistas de la matemtica. Las teoras
relacionadas con el anlisis lgico de los fundamentos de la matemtica
son esencialmente usadas en nuevas variantes del idealismo subjetivo.
Hoy da, el idealismo subjetivo usa de la matemtica, especialmente de
la lgica matemtica, as como de la fsica. Por esta razn, las
cuestiones del entendimiento de sus fundamentos, adquieren particular
agudeza.
As, las dificultades del desarrollo de la matemtica bajo las
condiciones del capitalismo producen una crisis ideolgica en esta
ciencia similar a la crisis en la fsica cuya naturaleza fu explicada por
Lenin en su brillante trabajo Materialismo y Empirocriticismo. La crisis
en absoluto significa que la matemtica en los pases capitalistas est
completamente sujeta a su desarrollo. Muchos eruditos que han
asumido posiciones claramente idealistas son responsables de
importantes y a veces notables xitos en la solucin de problemas
matemticos concretos y en el desarrollo de nuevas teoras
matemticas. Es suficiente referirse al brillante desarrollo de la lgica
matemtica.
El efecto radical de los puntos de vista matemtico propagados en los
pases capitalistas reside en su idealismo y su metafsica: separar la
matemtica de la realidad y olvidar su desarrollo real. El logicismo, el
intuicionismo, el formalismo y otras corrientes similares particularizan
uno u otro aspecto de la matemtica su relacin con la lgica, su
claridad intuitiva, su rigor formal, etc.- exagerando y absolutizando sin
fundamento su significado, sacando a la matemtica fuera de la
realidad y perdiendo la perspectiva de ella com un todo tras un
profundo anlisis de un aspecto particular de la matemtica. Como
resultado de tal unilateralidad, ninguna de estas corrientes, a pesar de
todo el genio y profundidad de todos sus resultados particulares,
pueden brindarnos un verdadero entendimiento de la matemtica. En
contraste con las diversas tendencias y matices del idealismo y la

1. Visin general de la matemtica aa

metafsica, el materialismo dialctico considera a la matemtica en
us conjunto, y por lo tanto, como realmente es, en toda la riqueza y
complejidad de sus conexiones y desarrollo. Y particularmente porque
el materialismo dialctico se esfuerza por entender las conexiones
entre la ciencia y la realidad en toda su riqueza y complejidad, la
complejidad total del desarrollo desde las generalizaciones simples de
la experiencia hasta la abstraccin elevada y de ella a la prctica,
precisamente por que en su mismo enfoque de la ciencia l permanece
en constante correspondencia con su contenido objetivo y sus nuevos
descubrimientos, de ah, y de ltima instancia, solamente por esto, es la
nica filosofa cientfica autntica que conduce al entendimiento
correcto de la ciencia en general y de la matemtica en particular.
LITERATURA
Sobre los problemas generales de la matemtica se remiten al
lector a los siguientes artculos del Bol shaya Entsiiclopediya (todava
no disponible en ingls):
Kolmogorov, A. N. "Matematika" v. 26.
Aleksandrov, A. D. "Geometriya" v. 10.

Incio