L A

M A T E M A T I C A

SUS ORIGENES Y SU DESARROLLO D I R K J . S T R U I K

Ediciones elaleph.com

Editado por elaleph.com

www.elaleph.com La Mate
donde los libros son gratis

1999 Copyrigth www.elaleph.com Todos los Derechos Reservados

DIRK

J.

STRUIK

LOS ORIGENES Nuestras concepciones matemticas se formaron como resultado de un prolongado proceso social e intelectual, cuyas races se esconden en el remoto pasado. Sus orgenes pueden buscarse en el perodo neoltico, cuando los hombres, en lugar de limitarse a buscar y conservar sus alimentos, se convirtieron en productores de los mismos, sentndose los cimientos de la agricultura, la domesticacin de ganado y, eventualmente, el trabajo de los metales. Los vestigios de algunas actividades de la Edad de Piedra -productos de carpintera, tejido, cestera y alfarera- prueban que esas actividades pudieron estimular el desarrollo de concepciones geomtricas. Los procedimientos primitivos de contar, reducidos primeramente a la forma "uno, dos, muchos", condujeron gradualmente a una manera ms precisa de denotar los nmeros desde uno hasta diez, y
4

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

posteriormente, hasta nmeros ms grandes. Durante la Edad de Piedra hubo un trfico considerable, que estimul tambin el arte de contar. El estudio de los lenguajes africanos o indoamericanos revela sistemas de numeracin, a veces en escala decimal o en una escala de cinco, doce o veinte. Aqu y all aparecen fracciones simples.1 Esto condujo a la nocin abstracta de nmero y forma. Cuando en Sumeria y Egipto aparecen los primeros documentos escritos, revelan ya algn dominio de las reglas aritmticas simples. Se advierten tales reglas cuando cuatro aparece como dos ms dos, diecinueve como veinte menos uno, veinte como dos veces diez. Los lenguajes muestran tambin estas relaciones en su manera de expresar los nmeros cardinales. Hicieron su aparicin los dibujos en vestidos, cestas y alfombras; se tensaron, ligaron y anudaron cuerdas, y surgieron algunas figuras regulares como smbolos protectores en los ritos mgicos. Este proceso se vio acelerado en el siguiente perodo de desarrollo cultural, el de las primitivas
1 D. E. Smith: History of Mathematics (Boston, Ginn, 1923-1925), vol. 1, pgs. 6-18. 5

DIRK

J.

STRUIK

civilizaciones de Oriente: Egipto, India, Babilonia y China. Aqu, la matemtica apareci ya como una ciencia, pero primero y ante todo como una ciencia prctica, y hasta emprica, indispensable para la agricultura, la medicin de la tierra, la tributacin, la ingeniera y el arte de la guerra. La veracidad de las proposiciones y teoremas aritmticos y geomtricos era comprobada constantemente en los tratos del hombre con la naturaleza y con su propia estructura social. La etapa emprico-prctica de la matemtica fue complementada, casi desde sus comienzos, por una definida tendencia opuesta, una tendencia hacia la abstraccin. La creacin de los mismos conceptos de nmero y figura fue un hecho de abstraccin tal, que probablemente debe asociarse con un nivel relativamente elevado de la vida neoltica. Pero tan pronto como se crean estos conceptos, adquieren vida propia. La suma, la resta, la multiplicacin, empiezan a ser entendidas como operaciones abstractas, ejecutadas primeramente con objetos, pero despus tambin con los smbolos mismos. Se descubri que mediante la suma el sistema de nmeros puede extenderse indefinidamente y es posible tener un atisbo de la impresin que esto
6

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

debi ejercer si se advierte el inters que pusieron los pueblos agrcolas primitivos en la manipulacin de nmeros muy grandes. Este hecho es importante para comprender cmo pueden crearse las concepciones matemticas generalizadas en el mismo proceso social, porque la experiencia directa no conduce a una nocin definida de cualesquiera nmeros, sino de los pequeos. Tambin los conceptos de linea, plano y circulo empezaron a adquirir vida propia. La primitiva historia de las matemticas descubre, pues, lo que Stuart Mill observ hace cien aos: que las premisas originales de esta ciencia de las cuales se deducen las verdades permanentes, pese a todas las apariencias en contrario, son un resultado de la observacin y la experiencia, y se fundan, en suma, en la evidencia de los sentidos.2 Ahora sabemos que la concepcin de Mill de estas premisas originales pecaba de exceso de simplificacin, que los axiomas de la aritmtica y la geometra entraan algo ms que lo que l crea. Pero es cierto que las matemticas, como ciencia, se

2 Mill: A system of Logic (Nueva York, 1848), pg. 364. 7

DIRK

J.

STRUIK

desarrollaron mediante la elaboracin de conceptos abstractos basndose en el material emprico y dejando luego que estos conceptos vivieran su vida propia. Lo general se desarroll partiendo de lo particular; el mtodo, del ejemplo. Este desarrollo de una ciencia abstracta no condujo de hechos objetivos a hechos imaginativos, sino de la verdad emprica directa a una verdad situada en un plano ms elevado de generalidad. En lugar de contar series de pequea extensin, tales como los dedos, pudieron enumerarse rebaos o ejrcitos. La suma, la resta y los principios de la multiplicacin se extendieron de nmeros pequeos a otros mayores. Con el descubrimiento de que podan escribirse todos los nmeros dentro de la estructura de un sistema (generalmente, el decimal), es decir, en la forma a0bn + a1bn-1 + . . . + an-1b + an (a0, . . .,an menos que b, b generalmente = 10), se encontr ya una importante ley aritmtica, aunque, por supuesto, no en esta forma explcita. En este interjuego de induccin y deduccin las matemticas mostraron ya desde su mismo nacimiento algunos de los aspectos de una verdadera ciencia. E. T. Bell hace notar que los intuicionistas modernos, que aceptan la formacin de la secuencia
8

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

inacabable de los nmeros naturales como "intuicin original", puede que cuenten con un punto de partida inatacable para una construccin abstracta de las matemticas, pero su posicin es claramente anti-histrica. No cabe duda que la intuicin "es punto menos que universal entre los primitivos, que, presumiblemente, son seres humanos''.3 La concepcin de los nmeros naturales fue el resultado de un proceso de generalizacin aplicado, en milenios de prctica humana, a los datos empricos, proceso sometido constantemente a prueba a la luz de la nueva experiencia. Esta experiencia se ampli con la llegada de las sociedades orientales que practicaban la irrigacin, pero el proceso de abstraccin continu tambin a ritmo acelerado. Con el desarrollo de la antigua civilizacin oriental, advino otro progreso que hizo que las matemticas se divorciaran considerablemente del mundo de la experiencia directa: la enseanza de las matemticas en las escuelas de escribas, en los

3 Bell: The Development of Mathematics, Segunda edicin (Nueva York, McGraw-Hill, 1945), pg. 561. 9

DIRK

J.

STRUIK

templos y edificios administrativos de Menfis, Babilonia y otros centros orientales. La preparacin de nuevos administradores condujo al planteamiento de problemas abstractos con fines de enseanza, y esto empez a adquirir ya la forma de un cultivo de las matemticas por su propio valor. Se lleg as a una nueva manera abstracta de abordar los problemas relativos a nmero y espacio, en la que surgieron algoritmos, teoremas y teoras. Los babilonios del segundo milenio antes de J. C. conocan las relaciones numricas entre los lados de un tringulo rectngulo, conocidas ahora como el teorema de Pitgoras, y resolvan ecuaciones cuadrticas y algunas cbicas y bicuadrticas. Parte de estas actividades, ms complicadas, principalmente numricas y algebraicas, puede explicarse por las exigencias de la astronoma, pero exista claramente un cultivo de las matemticas por s mismas. Las relaciones matemticas, que se descubrieron y estudiaron independientemente de su aplicabilidad directa, fueron el resultado de la lgica intrnseca y del poder creador de las matemticas mismas. La relacin de estas matemticas orientales con la prctica
10

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

sigui siendo siempre harto notoria, y la estructura lgica se desarroll muy poco. Sin embargo, la comprobacin de la solucin numrica de una ecuacin de grado superior no se encuentra ya en su aplicacin a la tributacin, a la geodesia e incluso a la astronoma, sino en la estructura matemtica de la ecuacin misma. Este desarrollo, iniciado as, fructific plenamente en las matemticas griegas. Un ejemplo instructivo de la manera en que los nuevos conceptos matemticos surgieron de la lgica del simbolismo mismo, aunque siguieron expresando al mismo tiempo relaciones en el mundo objetivo, se encuentra en la introduccin del cero. Los babilonios usaban un sistema sexagesimal de numeracin (que facilita la computacin fraccional) superpuesto a un sistema decimal (que presenta en su base diez el vestigio constante de que el concepto de nmero cristaliz en la prctica comercial de contar con los dedos). Este sistema sexagesimal se expres en un sistema de "valor del lugar", que fue a su vez un gran descubrimiento en el formalismo matemtico. El uso de un smbolo social para el cero lleg como complemento necesario del mencionado sistema, para sealar la
11

DIRK

J.

STRUIK

diferencia entre la notacin de nmeros tales como 2 x 602 + 5 y 2 x 60 + 5. Aqu, el desarrollo del simbolismo matemtico mismo condujo, no slo a una extensin del sistema numrico, sino tambin a la introduccin del smbolo cero en el razonamiento matemtico. La historia de este smbolo, especialmente en la matemtica india, lo conecta con la concepcin del vaco, que desempea tambin un papel en la fsica aristotlica.4 No slo el ser, sino tambin el no ser, se convirti en tema de la operacin matemtica, como preliminar de la matemtica del devenir, de la matemtica del cambio. Hay que insistir en que esta introduccin del cero no significaba que la matemtica cayera en ociosas especulaciones, sino que no hizo ms que simplificar su procedimiento de ocuparse de los objetos, caracterizados por los nmeros naturales as como por las fracciones. Con la clase de los mercaderes jnicos del siglo VI antes de J. C., dio comienzo el desarrollo de la estructura lgica de las matemticas. Esto constituy un aspecto del racionalismo jnico en su conjunto,
4 C. B. Boyer: "El cero: el smbolo, el concepto y el nmero", National Mathematics Magazine, vol. XVll (1944), pginas 323-330. 12

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

que se desarroll en una atmsfera de actividades comerciales a las que el despotismo oriental no puso demasiados obstculos. Sabemos muy poco acerca del desarrollo de esta nueva manera de enfocar las matemticas, aunque parece bastante seguro que algunos de sus descubrimientos -lo irracional y las paradojas del infinito- se desarrollaron como parte de las luchas ideolgicas entre la aristocracia y democracia en la Edad de Oro de Grecia. Se revel claramente la estructura nrdica de la matemtica, la posibilidad de un fundamento axiomtico de esta ciencia. La elaboracin posterior de estos fundamentos tuvo lugar, primero en la pennsula griega en la escuela de Platn, y despus por conducto principalmente de los sabios profesionales en la corte de los Ptolomeos en Egipto y de algunos otros monarcas helensticos. La totalidad del perodo creador de la matemtica "griega" dur solamente unos cuantos siglos y tuvo lugar en un escenario social verdaderamente excepcional cuyo estudio requiere todava un cuidadoso anlisis. El perodo comenz con la primera aparicin de una democracia en la historia -aunque una democracia coexistente con la esclavitud- y presenci el desarrollo de una aristocracia duea de esclavos, de
13

DIRK

J.

STRUIK

la que Platn era un representante, que luchaba los restos de democracia, y lleg a su fin en los primeros siglos del helenismo, cuando Grecia y Oriente se reunieron bajo la hegemona griega. Durante el imperio romano, cuando la esclavitud alcanz mayor importancia y se convirti cada vez ms en la base de la propiedad, a la vez que Grecia y el Oriente quedaban reducidos a la categora de colonias, las clases gobernantes volvieron a caer en una cmoda mediocridad en la que no poda sobrevivir la originalidad. Se abandon entonces el contacto inmediato con la prctica en la forma tpica de la matemtica "griega". Los hombres que crearon esta matemtica estaban en efecto distanciados del comercio y del trabajo manual: se les haba enseado a despreciarlos. As pudieron consagrar todo su tiempo al esfuerzo creador de una naturaleza abstracta. En los Elementos de Euclides se situaba a la matemtica dentro de un riguroso esquema deductivo. Los teoremas se derivaban de un pequeo conjunto de axiomas. No se formulaban preguntas respecto al origen de los axiomas ni se daban respuestas. Aunque la eleccin de los axiomas y los postulados, as como el lenguaje en el que son
14

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

expresados, indica an su relacin con el mundo objetivo, los teoremas son demostrados reducindolos a los axiomas y postulados. Se echa de menos toda tentativa de probar la verdad de los teoremas con la experiencia, si bien subsiste el hecho significativo de que muchos de los teoremas de Euclides pueden probarse sobre figuras materiales y resultar exactos dentro de los lmites. de la observacin. Slo hay, por ejemplo, cinco poliedros regulares diferentes, como prueban ampliamente los experimentos con modelos de cartn o yeso y la investigacin sobre los cristales. Sin embargo, entre los conceptos materiales de Euclides hay algunos que ya no pueden ser sometidos a experimento, y aqu es donde resulta ms evidente el progreso del razonamiento matemtico ms all de la experiencia inmediata. La prueba entre la conmensurabilidad e inconmensurabilidad de los segmentos lineales radica en la razn, no en el experimento, y aunque todava podemos demostrar con la comprobacin efectiva que el volumen de la pirmide es el tercio del de un prisma de base y altura iguales, la prueba requiere el mtodo exhaustivo, es decir, la estructuracin de la pirmide en tan gran nmero de pequeos prismas que nos parece preferible encon15

DIRK

J.

STRUIK

trar la demostracin slo por el razonamiento. El razonamiento mismo ha creado sus propias leyes. La prueba de la verdad en las matemticas se ha convertido ahora en la ausencia de contradicciones. Un teorema es verdadero cuando puede reducirse gradualmente, mediante ciertas operaciones lgicas aceptadas, a una serie de axiomas, cuya verdad es simplemente postulada. La matemtica moderna ha aceptado sin reservas este criterio de verdad: la prueba de verdad de una teora matemtica es la ausencia de contradicciones lgicas. En los tiempos modernos, las pruebas se han trasladado de la geometra a la aritmtica, de la aritmtica a la lgica. Las diferentes teoras de nuestro tiempo respecto a la fundamentacin de estos campos se ocupan todas de mtodos destinados a probar las contradicciones posibles de un sistema matemtico, o mejor, las contradicciones y saltos (consecuencia e integridad). Cuando prevalece tal punto de vista, la cuestin de probar la verdad de la matemtica como una imagen del mundo objetivo se convierte en algo remoto, y muchos matemticos "puros" ni siquiera le prestan gran atencin.

16

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

LA MATEMATICA "CAPITALISTA" La matemtica moderna es el producto de la aparicin del capitalismo. Las ciudades comerciales de la Alta Edad Media europea se hallaban gobernadas por una clase de mercaderes, polticamente conscientes, clase que gradualmente se emancip de los pequeos seores feudales y estableci su propio imperio comercial. La gran diferencia entre estos mercaderes y los jnicos de dos milenios antes, consista en la ausencia de esclavitud. La esclavitud, a la larga, frustra el perfeccionamiento tecnolgico, y con ello, ahoga la originalidad cientfica. La clase comerciante de la Alta Edad Media no tropez con ese impedimento. Haba artesanos libres y una clase obrera libre incipiente. La posibilidad de obtener grandes bene17

DIRK

J.

STRUIK

ficios en el nuevo sistema capitalista condujo a los comerciantes, as como a algunos de los prncipes, a cultivar la navegacin y la astronoma. En las ciudades florecieron la aritmtica, el lgebra y el nuevo arte de la tenedura de libros. La posibilidad de emplear mquinas con fines productivos estimul la inventiva. El uso creciente de estas mquinas condujo al estudio de la mecnica, y sta, a su vez, a la investigacin de nuevos mtodos en la matemtica. Donde la Rechenhaftigkeit5 de la primitiva burguesa promovi la aritmtica y el lgebra, la inventiva de esta clase llev eventualmente al clculo. Las fuentes de la aritmtica y del lgebra se encontraron en Oriente, las del clculo, entre los griegos, especialmente en Arqumedes. Y cuando, en el primer entusiasmo del descubrimiento, se pas a menudo por alto la estructura lgica de la matemtica, la naturaleza misma de esta ciencia exigi eventualmente el retorno a las cuestiones fundamentales. Mientras Kepler y Stevin fueron esencialmente experimentadores en el campo de la matemtica, algo as como si fueran una especie de fsicos, los
5 Esta expresin se debe a W. Sombart (Der Bourgeois, Munich, 1920, pg. 164). 18

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

grandes matemticos del siglo XVII se vieron llevados a desarrollar la matemtica por su propio valor. Los grandes descubrimientos de este perodo -el tratamiento algebraico de la geometra y el clculoslo fueron posibles porque los matemticos no buscaban aplicaciones inmediatas, sino que seguan la lgica dialctica de la ciencia misma. Dialctica, porque estableci nuevas relaciones entre campos antes separados, entre el lgebra y la geometra, entre el problema de la tangente y la determinacin de volmenes, entre el finito y el infinito, entre la matemtica y la lgica. El hecho de que se desarrollaran las matemticas por su propio valor no quiere decir que se perdiera la conexin entre la teora y la prctica. Las matemticas, a los ojos de todos los grandes matemticos, desde Descartes hasta Leibniz, constituan la clave para la mecnica; y la matemtica, la clave para el entendimiento de la naturaleza. La matemtica no slo lleg a ser el modelo de toda la ciencia, sino que proporcion tambin la clave de los inventos. Caracterstico de todo este perodo era la conviccin, no slo de que la matemtica ensea las propiedades de la materia, sino de que la armona de la matemtica refleja en
19

DIRK

J.

STRUIK

cierto modo la armona del mundo. En los primeros tiempos del Renacimiento, Aristteles fue reemplazado, en muchas escuelas, por Platn, con su creencia pitagrica en la universalidad del nmero, y este credo en los poderes de la matemtica pas a convertirse nuevamente, en forma modificada, en una caracterstica tpica de los grandes racionalistas del siglo XVII. La misma relacin ntima entre la matemtica "pura" y la "aplicada" prevaleci en el siglo XVII y dur hasta bien entrado el siguiente, especialmente en Francia. Para los Bernoulli, al igual que para Euler, Lagrange y Laplace, la matemtica era ante todo un instrumento para la comprensin del cosmos. Esto se pone de manifiesto en las grandes obras de la poca: las dos grandes obras matemticas en que culmin el siglo XVII fueron el Horologium oscillatorium de Huygens y los Principia de Newton;6 las dos grandes obras culminantes del

6 El trabajo de B. Hessen "Races sociales y econmicas de los Principia de Newton", ledo en el Congreso Internacional de la Historia de la Ciencia y la Tecnologa, celebrado en Londres en 1931, trabajo publicado en Science at the Cross Roads (Londres, Kniga, 1933), pgs. 151-192, ha llevado a muchos hombres de ciencia a comprender el punto de vista materialista en la historia de la ciencia. Vase tambin R. 20

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

siglo siguiente fueron la Mchanique analytique de Lagrange y la Mechanique celeste de Laplace. Esta identificacin virtual de la matemtica y la mecnica no fue esencialmente rota por las notables descubrimientos de Euler y otros en la teora de los nmeros, ni por Lagrange en el lgebra. Con la Revolucin Francesa se abri un nuevo perodo en la historia de la matemtica. Es notable que el nuevo mpetu cientfico procediera de la gran transformacin poltica, siendo mucho ms indirecta al principio la influencia de la Revolucin Industrial subyacente sobre el desarrollo de la matemtica. Inglaterra, que fue el primer pas afectado por la Revolucin Industrial, dio muestras de esterilidad durante muchas dcadas en el terreno de la matemtica. En cambio, la revolucin poltica afect de manera mucho ms directa las opiniones y las perspectivas. Llev a posiciones de influencia y poder a nuevas clases interesadas en la promocin de la educacin tcnica, en el ensanchamiento de las bases sociales de la ciencia y en nuevas ideas de libertad intelectual. La cole Polytechnique fundada en Pars en 1795 para la preparacin de ingenieros
K.; "La ciencia y la economa en la Inglaterra del siglo XVII", Science and Society, vol. III (1939) pg. 3-27. 21

DIRK

J.

STRUIK

se convirti en el prototipo de una institucin dedicada no slo a la enseanza cientfica, sino tambin a la investigacin fundamental en el terreno de la matemtica y de las ciencias naturales. Los principios de la revolucin en la ciencia y en la educacin se extendieron a otros pases, incluso a aquellos en los que el feudalismo conservaba an su poder sobre el capitalismo naciente. Despus de Francia, Alemania surgi como un gran centro matemtico, siendo seguida por otros pases. Las demandas hechas a la ciencia se multiplicaron. En este escenario social, el progreso slo poda realizarse por medio de la especializacin. As, la matemtica se desarroll en todo su esplendor como un campo de investigacin dependiente, aunque no slo la mecnica, sino tambin la nueva fsica matemtica ejerci poderosa influencia. Estas dos formas de abordar la matemtica, la "pura" y la "aplicada", nunca estuvieron realmente separadas, aun cuando los matemticos mismos se especializaron cada vez ms. Eran muchos los casos en que la matemtica "pura" influa sobre la rama "aplicada" y viceversa. Esto demuestra que a pesar de la incrementada abstraccin, ha seguido presentando un cuadro de relaciones en el mundo
22

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

objetivo. Las historias de la matemtica reconocen este hecho hasta cierto punto, si bien la interaccin de la matemtica, la fsica y la ingeniera es mucho ms ntima de lo que suele admitirse. La geometra diferencial de las curvas se desarroll bajo la influencia de las investigaciones de Barr de Saint-Venant en la elasticidad, la de las superficies como resultado del inters de Monge en la ingeniera y del de Gauss en la geodesia. El estudio que hizo Hamilton de los rayos de la luz condujo a su teora de las ecuaciones diferenciales parciales. Hasta la tendencia al rigor en la matemtica moderna recibi un poderoso impulso del estudio de las series trigonomtricas, introducido por Fourier en la teora del calor: la rigurosa definicin de la integral de Riemann se derivaba en su trabajo de series trigonomtricas. Durante la segunda mitad del siglo XIX, tanto Klein como Poincar, los principales matemticos de esa poca, recalcaron en su obra la ntima relacin que existe entre la matemtica y sus aplicaciones, a la vez que revelaron algunos de sus ms sutiles pensamientos. Klein subray la importancia de la teora del grupo en la cristalografa y la mecnica y, en la ltima parte de su vida, vio en la teora de la relatividad otra
23

DIRK

J.

STRUIK

aplicacin de sus ideas. En cuanto a la obra de Poincar, probablemente se comprender mejor si tomamos como punto de partida su obra sobre la mecnica celeste. Klein fue quien promovi la fundacin del Instituto de Matemticas Aplicadas en Gotinga. Esta actitud se refleja tambin en las conferencias de Klein sobre la historia de la matemtica en el siglo XIX, conferencias que en muchos lugares ofrecen un punto de vista materialista. El reconocimiento de esta estrecha relacin entre la teora y la prctica, entre los smbolos y el mundo que representan, se advierte tambin en las tentativas de Hilbert por rescatar los resultados de la matemtica moderna de la arremetida de los intuicionistas.7 Los matemticos de los siglos II y XVIII abrigaban pocas dudas en cuanto a la objetividad de los
7 El trasfondo social de las investigaciones matemticas en los diferentes perodos de la historia es delineado con ms detalles en la obra de Dirk J. Struik A Concise History of Mathematics (Nueva York, 1948, dos volmenes). Vase tambin L. Hogben: Mathematics for the Million (Nueva York, 1937). Slo podr llegarse a una comprensin mas profunda de las fuerzas sociales que intervienen en el desarrollo de la matemtica cuando los historiadores de la materia empiecen a percatarse del vasto territorio no descubierto an por los historiadores econmicos. Con ello debe combinarse el estudio de la historia de la tecnologa, que es un campo relativamente inexplorado todava. 24

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

resultados de sus especulaciones. Como no exista una separacin entre la matemtica pura y la aplicada, la matemtica era para ellos, por encima de todo, una manera de resolver ecuaciones, de encontrar reas y volmenes, de resolver problemas de mecnica e ingeniera y de descubrir las leyes de un universo mecanicista. Galileo deca que solo puede comprender la naturaleza quien ha aprendido su lenguaje y las seales con las que nos habla: este lenguaje es la matemtica y sus seales son las figuras matemticas. Hasta el propio Leibniz, sin dejar de creer en el carcter "innato" de las verdades necesarias y eternas, las entenda como "los principios mismos de nuestra naturaleza al igual que del universo", y vea en las matemticas una de esas verdades necesarias que serva como la exposicin universal de formas posibles de conexiones en general y de dependencia mutua.8 La teora del nmero, por su carcter abstracto y su evidente "utilidad" pudo ofrecer una oportunidad para la
8 Ernst Cassirer: Substance and Function (Chicago, Open Court, 1923), pg. 92. Bertrand Russell: A Critical Exposition of the Philosophy of Leibniz (Londres, Cambridge University Press, 1900), pg. 70. Gottfried W. Leibniz: The Monadology and Other Philosophical Writings, traduccin de Robert Latta (Oxford, Clarendon, 1898), pgs. 233-234. 25

DIRK

J.

STRUIK

especulacin idealista, pero no la encontramos claramente en esos autores. La reaccin idealista no procedi de los matemticos, sino del obispo Berkeley, cuyo esse est percipi fue un ataque directo contra las ciencias naturales, inclusive contra el carcter objetivo de las concepciones matemticas. Berkeley se expres con absoluta claridad: Pero es evidente, por lo que ya hemos demostrado, que la extensin, la figura y el movimiento son slo ideas que existen en el espritu... Que el nmero es por completo una criatura del espritu, aun cuando se permita a las otras cualidades existir sin l, ser evidente para todo el que considere que la misma cosa tiene una denominacin diferente de nmero cuando el espritu la considera con diferentes aspectos. As, la misma extensin es uno, o tres, o treinta y seis, segn que el espritu la considere con referencia a una yarda, un pie o una pulgada.9

9 George Berkeley: A Treatise Concerning the Principle of Human Knowledge (Dublin, 1710), incluido en las obras completas editadas por G. Sampson, vol. I, pgs. 183, 184. 26

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

La reaccin de los matemticos puede juzgarse por Leibniz, quien desech despectivamente la sabidura de Berkeley: El hombre de Irlanda que impugna la realidad de los cuerpos parece que ni da razones adecuadas ni se explica suficientemente. Sospecho que pertenece a esa clase de hombres que desean ser conocidos por sus paradojas.10 La crtica que Berkeley hizo de los fundamentos del clculo sigui siendo, sin embargo, durante mucho tiempo un reto para los matemticos. Durante la primera parte del siglo XIX, la actitud de la mayora de los matemticos no vari gran cosa, aun cuando Kant les caus alguna impresin en lo relativo a su manera de pensar. Gauss no crea en el carcter apriorstico de nuestras nociones de la geometra proclamado por Kant. La euclidicidad del espacio era para Gauss una proposicin emprica: He llegado cada vez ms a la conviccin de que la necesidad de nuestra geometra no puede ser demostrada. Hasta que se haga esto, debemos equiparar a la geometra; no con la aritmtica, que

27

DIRK

J.

STRUIK

conserva su carcter puramente apriorstico, sino ms bien con la mecnica.11 Gauss tom incluso las mediciones geodsicas de un tringulo (formado por las cumbres de las montaas Brocken, Hohenhagen e Inselsberg) para averiguar si la suma de los ngulos es de 180, y comprob que, dentro de los lmites de la observacin, esta suma es efectivamente de 180. Riemann, la figura central de la matemtica del siglo XIX, manifest claramente: Cundo es verdadero nuestro entendimiento del mundo? Cuando la interconexin (Zusammenhang) de nuestras concepciones (Vorstellungen] corresponde a las interconexiones de las cosas.12 Y Weierstrass, en su discurso inaugural de 1857, despus de sealar que la matemtica griega haba establecido las propiedades de las secciones cnicas mucho antes de que se descubriera que eran tambin las rbitas de los planetas, agreg que abrigaba
10 B. Russell, op. cit., pg. 72. 11 Carta de Gauss a Olibes, 1817. Gauss: Werke, vol. VIII (1900) pg. 177. 12 B. Riemann: Ges. Math. (1892), pg. 523. Riemann muri en 1866. 28

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

la esperanza de que habra ms funciones con propiedades tales como las que Jacobi atribuye con encomio a su funcin tetha, la cual nos ensea en cuantos cuadrados puede descomponerse todo nmero, cmo puede rectificarse el arco de la elipse, y la cual es capaz -siendo la nica funcin que puede hacerlo- de representar la verdadera ley de la oscilacin del pndulo.13

13 Karl Weierstrass: Mathematische Werke (Berlin, 1894-1927), vol. I, pg. 226. 29

DIRK

J.

STRUIK

EL ESCLARECIMIENTO DE LOS FUNDAMENTOS DEL CLCULO Cuando en el transcurso del siglo XIX la matemtica lleg a niveles cada vez ms profundos de generalizacin y abstraccin, y estableci una tcnica ms y ms complicada, empez a presentarse a los ojos de muchas personas como una estructura independiente, como una creacin exclusiva de la mente humana. La ciencia sola desarrollarse en el saln acadmico, separada del proceso social. Se descuidaba as su funcin social y la matemtica particip ms que las otras ciencias en este divorcio de la vida. La creciente especializacin del matemtico individual tendi a reforzar este aislamiento. La reconciliacin del materialismo con el idealismo en Kant encontr partidarios entre los
30

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

matemticos, y la afirmacin de Kant respecto al carcter apriorstico de la geometra euclidiana14 fue durante muchos aos un poderoso obstculo para la aceptacin de la geometra no euclidiana. En la introduccin de Hermann Grassmann a su obra Ausdehnungslehre, publicada en 1844, encontramos cierto matiz kantiano en su creencia de que la matemtica es solamente una cuestin de pensamiento: El pensar existe solo en relacin con un ser que se alza frente a l y del que es una imagen (ein Sein, era ihm gegenuber tritt y durch das Denken abgebildet wird], pero este ser es para las ciencias reales una entidad independiente que existe por s misma fuera del pensar, aunque para las ciencias formales es planteado por el pensar mismo, que nuevamente se contrapone como un segundo acto del pensar. Puesto que la verdad en general consiste en la conformidad del pensar con el ser, en las ciencias formales estriba especialmente en

14 Tal era, en todo caso, la interpretacin comn de la doctrina de Kant, interpretacin basada en la "esttica trascendental". Hay otros pasajes de Kant que permiten una interpretacin menos apodctica, v. g. el Schematismus des reinen Verstandesbegriffe. 31

DIRK

J.

STRUIK

la conformidad del segundo acto del pensar con el ser planteado por el primer acto, y por ende, en la conformidad de ambos actos del pensar. Por consiguiente, en las ciencias formales, la prueba no trasciende del pensar mismo a otra esfera, sino que radica puramente en la combinacin de los diferentes actos del pensamiento. Las ciencias formales, por lo tanto, no pueden apartarse de los principios (Grundstze], como las ciencias reales, sino que sus fundamentos son formados por las definiciones. Las ciencias formales estudian, sea las leyes generales del pensamiento, sea la entidad especial planteada por el pensar. Las primeras corresponden a la dialctica (a la lgica) y la segunda a la matemtica pura.15 A este aislamiento de la matemtica con respecto a la vida podemos atribuir tambin lo que Klein ha llamado el "nuevo humanismo" de Jacobi,16 que vea el nico fin de la ciencia en el "honor del espritu humano", sin reclamar para ella ninguna funcin social:

15 H. Grassmann: Die Ausdehnungslehre, en Werke, vol. 1, introduccin. 16 Naturwissenchaftlich gerichteter Neuhumanismus. 32

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

Cierto es que Monsieur Fourier tena la opinin de que el principal objetivo de la matemtica consista en la utilidad pblica y en la explicacin de los fenmenos naturales, pero un filsofo como l debera haber sabido que el nico objetivo de la ciencia es el honor del espritu humano, y que, desde este punto de vista, una cuestin relativa a los nmeros vale tanto como una cuestin relativa al sistema del mundo.17 En este perodo comenz una nueva y minuciosa crtica de los fundamentos del clculo. Se comprendi la vaguedad que rodeaba a concepciones tales como lmite, continuidad, convergencia e infinitesimal, vaguedad que no haba sido eliminada ni por la posicin "mstica" de Newton y Leibniz, ni por la "racional" de D'Alembert, ni por la "algebraica" de Lagrange.18 Esto condujo realmente a teoremas falsos, los cuales a su vez, podan haber llevado a errneas aplicaciones en la mecnica y la fsica. El programa de esclarecimiento de los fundamentos del clculo
17 C. J. G. Jacobi: Werke, vol. 1, pg. 454, carta del 2 de julio de 1830.

33

DIRK

J.

STRUIK

fue llevado a cabo con xito por Cauchy, Abel, Riemann, Weierstrass y otros muchos matemticos, con el resultado de que a partir de entonces pudiera usarse el clculo con confianza. Fcil es ver cmo los matemticos, profundamente consagrados a la realizacin de este programa de sutil razonamiento, pudieron tener la impresin de que se entregaban libremente a un juego de la mente humana. Fcil es ver tambin, retrospectivamente, que estaban edificando el clculo como un instrumento ms perfecto para establecer relaciones objetivas, y gracias a su obra el clculo puede aplicarse ahora con gran confianza a problemas extraordinariamente sutiles de la mecnica celeste, de la fsica matemtica y de la teora de probabilidades. Esta labor sobre los fundamentos del clculo constituy slo un aspecto, aunque muy importante, de todo el replanteamiento de los principios de la matemtica que se inici en el siglo XIX y ha continuado hasta nuestros das. Ello condujo, en la segunda mitad del siglo XIX, a una verdadera lucha entre diferentes opiniones concernientes a la naturaleza de la matemtica. "Qu son los nmeros?",
18 Los trminos se deben a Karl Marx. Vase D. J. Struik: "Marx y la 34

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

preguntaba Dedekind. "Qu es un lmite?", preguntaba Du Bois-Reymond. "Cual es la relacin de la matemtica con la lgica?", preguntaba Frege. Tales preguntas atrajeron una atencin renovada sobre las antiguas dificultades de Zenn y Eudoxio, as como en cuanto a las de Newton y Lagrange con respecto a la naturaleza del clculo. La introduccin de nuevas y sutiles concepciones matemticas -el corte de Dedekind, la lgica matemtica, la teora de los agregados- pareci colocar a la matemtica a ritmo acelerado como una ciencia de pensamiento puro, relacionada slo incidentalmente con la naturaleza. La matemtica, para muchos de sus investigadores, pareca no ser otra cosa que un esquema formal, y de aqu slo haba un paso a la creencia de que la matemtica no era nada ms que un juego. Ya en 1882, Du Bois-Reymond lanz una advertencia contra esta posicin: Un esqueleto de anlisis puramente formalista y literal, al que conducira la separacin del nmero y los signos analticos de la cantidad, degradara esta ciencia -que, en verdad, es una ciencia natural- hasta reducirla a un simple juego de
matemtica", Science and Society, 1947-48, vol. 12, pgs. 181-196. 35

DIRK

J.

STRUIK

signos, en el que podran asignarse significados arbitrarios a los signos escritos, como a las figuras del ajedrez o a los naipes de la baraja.19 Hacia esta misma poca, Benjamn Peirce haba definido la matemtica como "la ciencia que extrae conclusiones necesarias",20 recalcando el razonamiento formal a expensas del contenido. Su hijo, C. S. Peirce, que fue uno de los hombres que establecieron la lgica matemtica, lleg ms lejos. Para l, la matemtica era "el estudio de construcciones ideales": Puesto que las observaciones recaen simplemente sobre objetos de la imaginacin, los descubrimientos de la matemtica son susceptibles de alcanzar total certidumbre.21 Esto constitua el reverso directo del antiguo sentimiento materialista de los grandes matemticos de los pasados siglos, puesto que basaba la verdad
19 P. Du Bois-Reymond: Die allgemeine Funktionentheorie (Tubinga, 1882), pgs. 53-54. 20 B. Peirce: "lgebra asociativa lineal". American Journal of Mathematics, vol. VI (1881), pg. 97. 21 Century Dictionary, artculo "Matemticas". Vase J. B. Shaw: Lectures on the Philosophy of Mathematics (Chicago, Open Court, 1918), pg. 59. 36

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

de la matemtica en su ausencia de correspondencia con la realidad objetiva. Era otra versin de la interpretacin de "juego de ajedrez" contra la cual haba prevenido Du Bois-Reymond. Bajo tal interpretacin, la inmensa aplicabilidad de la matemtica a la mecnica y a la fsica se convirti solamente en una notable coincidencia. Posteriormente, Bertrand Russell, el jefe de la escuela logstica que llev a cabo el programa de Peirce, defini la "matemtica pura" como "la clase de todas las proposiciones de forma p implica q",22 reduciendo todas las proposiciones de la matemtica a proposiciones de lgica. La escuela formalista, que se concentr en la tarea de demostrar que la estructura matemtica puede obtenerse mediante una serie de deducciones hipotticas tomadas de axiomas no interpretados, no vio a menudo en la matemtica nada ms que eso, aunque Hilbert, su fundador, vio claramente el contenido real en la forma abstracta. Y el jefe de la escuela intuicionista, Brouwer, interpret tambin la matemtica como un producto exclusivamente del cerebro:

22 B. Russell: Principles of Mathematics (Cambridge, 1903), pg. 3. 37

DIRK

J.

STRUIK

La matemtica es una creacin libre, independiente de la experiencia: emana de una sola intuicin original apriorstica, que puede llamarse, o constancia en cambio, o unidad en la realidad.23 Esta "intuicin original" corresponde, como la base de un mtodo abstracto de construccin matemtica, a una dialctica de la realidad, y en la obra de Brouwer condujo a descubrimientos matemticos. Sin embargo, neg significacin matemtica a considerables secciones de la matemtica, y en realidad, no slo mutil su aplicabilidad, sino que las priv tambin de algunos de sus mejores resultados. Ello suscit la ira de Hilbert: "Nadie nos arrojar del paraso que Cantor cre para nosotros''.24 Hilbert fue especialmente quien, en la labor que realiz en busca de un fundamento impecable de la totalidad de la matemtica, desarroll un aparato puramente formal de signos y reglas de operacin, pero recalc siempre la
23 L. E. J. Brouwer: Over de grondslagen der wiskunde (Amsterdam-Leipzig, 1907), pg. 179. 24 D. Hilbert: "Ueber das Unedliche", Jahresb. Deutsch. Mathem. Ver., vol. 36 (1927), pg. 207. 38

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

armona entre forma y contenido, entre teora y prctica, entre signo humano y mundo objetivo. La propensin de ciertos matemticos a sacrificar el contenido a la forma o a considerar su ciencia como separada de la naturaleza, fue -y sigue siendoparte integrante de un movimiento acadmico general que encuentra en las concesiones al idealismo, la solucin, no slo de sus inquietudes cientficas y filosficas, sino tambin de algunas de sus preocupaciones sociales.25 El hecho de que en ciertos crculos de matemticos -es decir, aquellos que se interesaban por las cuestiones de fundamentacin- existiera una tendencia a cultivar la forma ms bien que el contenido y a reducir las matemticas a un mero esqueleto de proposiciones, fue recibido como una nueva liberacin. El propio Russell fund toda una filosofa en su "atomismo lgico", que con toda modestia le pareca "la misma clase de progreso que el que introdujo en la ciencia Galileo''.26 Esta tentativa de Russell y otros por

25 Cf. E. Colman: Predment i metod sovremmenoj matematiki (Mosc, 1936, 316 pginas) especialmente el captulo X. 26 B. Russell: Scientific Method in Philosophy (Londres, Oxford, 1914), pg. 4. 39

DIRK

J.

STRUIK

entender el universo partiendo de un esquema formal de lgica27 sirvi para que, por conducto de Mach y Avenarius, se recayera eventualmente en el idealismo subjetivo de Berkeley,28 y llev a Moritz Schlick a la conviccin de que el espacio y el tiempo son subjetivos,29 a Rudolf Carnap a la creencia de que muchas enunciaciones, tales como "el tiempo es infinito", no son enunciaciones acerca del mundo, sino slo acerca de la manera en que empleamos el lenguaje,30 y finalmente a L. Wittgenstein al descubrimiento de que la matemtica slo es una tautologa.31 Esto significa, segn las palabras del profesor Mannoury, que es muy sencillo escribir un libro matemtico perfecto, como por ejemplo: a = a = a = a332

27 Esta superestimacin del papel de la lgica formal aparece tambin en la fundamentacin "lgica" de la teora de la probabilidad en la escuela de Keynes. 28 M. Conrforth: Science Versus Idealism (Londres, Lawrence, 1947). 29 Schlick: Allgemeine Erkenntnisslehre (Berln, 1925), pgina 224. 30 R. Carnap: Logical Syntax of Language (Nueva York, Harcourt, 1937). 31 L. Wittgenstein: Tractatus logico-philosophicus (1922), pgs. 154, 160, de la versin inglesa. 32 G. Mannoury: Mathesis en mystiek (Amsterdam, 1925), pg. 32. 40

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

Vemos todas estas concesiones al formalismo y al idealismo en el ltimo ejemplo como el resultado de la separacin de la escuela y la vida, comn bajo el capitalismo moderno. Pero tendencias similares existen, no slo en el terreno filosfico, sino tambin en el histrico. La matemtica es descrita a menudo como una sucesin pura de ideas y desarrollada sin ninguna referencia al escenario social en el que se manifest. Como resultado, no se hace el menor esfuerzo por dar respuesta a algunas de las ms importantes funciones. Por qu se interrumpi el elemento creador en la matemtica griega con el crecimiento del imperio romano? Por qu se origin el clculo en el siglo XVII en Europa, y no en Bagdad bajo los califas? Montucla, en el siglo XVIII, intent todava situar la historia de la matemtica en un escenario ms amplio, mostrando su relacin con la mecnica y la astronoma, pero gran parte de esta actitud desapareci en el siglo XIX, aunque dej algunos rastros en Cantor.33 Uno de los mtodos de las conferencias de Klein sobre la historia de la matemtica en el siglo xix consiste en
33 Moritz Cantor: Vorlesungen ber Geschichte der Mathematik (cuatro volmenes, Leipzig, 1900-1908). 41

DIRK

J.

STRUIK

que rara vez omite sealar las relaciones entre la matemtica y las ciencias aplicadas e incluso presta atencin a las tendencias filosficas y sociolgicas.34 Frente al mtodo idealista de abordar el estudio de la matemtica,35 la concepcin materialista recalca: a) La influencia decisiva de los factores econmico-sociales en el moldeamiento del carcter general de la productividad matemtica (o de su falta de productividad) en un escenario histrico dado. Ya hemos esbozado cmo puede conducirse ese estudio. b) La imposibilidad de separar la forma y el contenido, entrelazados en todos los tiempos, ya que el contenido dirige igualmente el progreso de la forma y decide su importancia y supervivencia. Esta relacin de forma y contenido impregna la totalidad de la matemtica.

34 F. Klein: Vorlesungen ber die Entwicklung der Mathematik in 19. Jahrhundert (Berln, 1926-27), vol. I. 35 Una crtica similar de los mtodos idealistas y formalistas se encuentra en E. Colman, loc. cit., y tambin en E. Colman: "La crisis actual en las ciencias matemticas", Science at the Cross Roads (Londres, 1931), pgs. 215-229. 42

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

Cierto es que el matemtico crea sus smbolos y las leyes de operacin a los que aqullos estn sujetos. Parece ser un agente libre, un Dios que crea su propio mundo. Sus nicas leyes son las de la consecuencia: su estructura debe estar libre de contradicciones internas y nunca puede conducir a l l. Muchos matemticos, como hemos visto, se detienen aqu y sacan la conclusin de que estn dedicados a un juego de signos desprovistos de sentido o incluso a un juego de ficciones (como ha pretendido el filsofo Vaihinger).36 Otros, llevados por la necesidad inherente a la estructura, pretenden que sta representa alguna caracterstica de la mente humana o piensan que estn consagrados a una tautologa. Pero la forma y el contenido son inseparables y estn entrelazados incesantemente. Hay una matemtica "con sentido", que se diferencia de un juego. Es aplicable a los procesos de la naturaleza, no de una manera, sino de muchas. Conduce de un aspecto general a otro y establece conexiones entre diferentes actitudes o
36 El punto de vista de Vaihinger ha sido combatido por el matemtico E. Study, en Die realistische Weltansicht und die Lechre vom Raume

43

DIRK

J.

STRUIK

diferentes campos. Puede ocurrir que el lado formal triunfe durante algn tiempo y entonces la construccin libre parece prevalecer, hasta que el contenido se empareja con la forma y dicta a su vez la trayectoria del progreso. La historia de la matemtica muestra cmo el contenido triunfa a la larga. Nuestra matemtica actual, con todas sus abstracciones y estructuras aparentemente libres, tiene una ramificacin y una interconexin internas, y una aplicabilidad a los procesos de la naturaleza como jams ha tenido. La busca de la consecuencia debe reflejar las leyes del mundo externo. El criterio final de la verdad debe ser siempre su correspondencia con la realidad. Una teora es cierta cuando sus teoremas pueden describir o predecir acontecimientos del mundo real. Esto se comprende fcilmente por lo que se refiere a los comienzos de la matemtica, pero cul es la situacin tratndose de la matemtica moderna, que acepta como criterio de la verdad la ausencia de contradicciones? Existe alguna relacin entre el criterio objetivo (el "filosfico") de la verdad y el criterio matemtico?

(Brunswick, 1923). Study hace una fogosa exposicin de la tesis de que existe un mundo exterior independiente de la conciencia. 44

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

No es este el lugar de examinar las diferentes formulaciones que se han dado a la lgica matemtica. Sin embargo, debemos indicar que la lgica no consiste en el libre juego de smbolos, en una serie de convenciones de creacin humana, sino que es de por s fundamental aspecto del mundo real tal como se refleja en la mente humana. Nos encontramos nuevamente con la cuestin de forma y contenido. Tmese, por ejemplo, el concepto de identidad, x equivale a y, con sus leyes de reflexividad x = x, de simetra (si x = y, entonces y = x), y de transitividad (x = y y y = z, luego x = z). Esto significa sobre el papel la suposicin de que podemos reconocer un signo siempre que se presenta. Al mismo tiempo, expresa una cualidad esencial del mundo, a saber, la invariacin de un objeto. El mundo fluye eternamente, de modo que dos cosas nunca son iguales y ni siquiera una sola cosa sigue siendo la misma. Con todo, es posible separar aspectos especiales de este mundo y tratarlos como si no cambiaran. El profesor Levy ha llamado a estos aspectos "aislados" y los "'aislados" pueden permanecer invariantes y convertirse en objeto de discurso. Una lnea recta conserva su identidad para todos nosotros y para todas las
45

DIRK

J.

STRUIK

generaciones, lo mismo que ocurre con el nmero 4, la esfera, o una integral. La pelota, que me ha dado la concepcin de una esfera, puede moverse, mojarse o pudrirse, pero la esfera misma es una concepcin invariante. Las leyes de identidad expresan el hecho de que yo puedo llegar a conclusiones exactas conservando sin modificaciones a travs del discurso el elemento "aislado". Es evidente que estas leyes de lgica formal crean la posibilidad del entendimiento y de la actividad humanas, pero no establecen en modo alguno un divorcio entre la matemtica y el mundo real. Antes al contrario, hacen posible que la matemtica presente una imagen de la realidad.37 La lgica formal nos permite establecer relaciones entre objetos ("aislados") matemticos y no matemticos; pero despus de todo se trata de relaciones trilladas (lo que no quiere decir que su estudio sea trivial) y, aun cuando su uso pueda permitir

37 Comprese las "mquinas lgicas en N. Wiener, Cybernetics, or Control and Communication in the Animal and the Machine (Nueva York, 1948), pgs. 147-148. Este notable libro, que supera las limitaciones del materialismo mecnico mediante un anlisis del moderno concepto de mquina, contribuye tambin a una comprensin materialista de la matemtica. 46

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

establecer proposiciones cada vez ms complicadas, difcilmente harn de la matemtica una ciencia creadora. La antigua ciencia oriental, con su estrecha conexin entre la matemtica y la realidad, era ya infinitamente ms rica. En qu consiste, pues, el secreto de la matemtica creadora? En otras palabras, cul es su contenido? Por qu no es la matemtica simplemente una tautologa impresionante como ha preguntado y negado Poincar38 y como ha preguntado y confirmado Wittgenstein?

38 H. Poincar: La Science et l'hypothse (Paris, 1918), captulo I. 47

DIRK

J.

STRUIK

LA MATEMATICA, CREACION INCESANTE La matemtica, como aspecto del mundo real, participa de su dialctica. La dialctica implica creacin incesante. Por su misma naturaleza, la matemtica es, pues, creadora, trascendiendo constantemente las tautologas que pueden surgir en su estructura. Podemos expresar esto diciendo que la matemtica se basa en algo ms que la lgica formal. La lgica de la matemtica, y especialmente de la matemtica en su desarrollo, es una lgica dialctica. Gran parte de la labor realizada en los ltimos 30 aos para la fundamentacin de la matemtica ha sido estimulada por la necesidad de expresar en formulacin exacta el significado de este elemento creador de la matemtica. Los intui48

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

cionistas han recalcado el principio de la induccin completa; los formalistas han introducido los "axiomas trascendentales" y se han opuesto enrgicamente a las tentativas de los logsticos por reducir la matemtica a una tautologa. La lgica matemtica moderna, en comparacin con la antigua lgica aristotlica, se ha enriquecido mucho ms en el proceso. Sin embargo, es dudoso que pueda encontrarse un sistema de verdades axiomticas que permita explicar todos los aspectos de la matemtica: la realidad tiene ms facetas que las que un Horacio axiomaticista suea en su filosofa. El formalismo de los axiomas se ha sublevado contra las tentativas por reducir la matemtica a una tautologa, como lo prueban las investigaciones de K. Godel y otros. Aunque todas las escuelas de matemtica se han anotado resultados, an no se han agotado todas las posibilidades de la matemtica, la cual se ha negado hasta ahora y probablemente se negar siempre a quedar encerrada dentro de una serie de axiomas y de reglas interdependientes. Engels hizo notar que los juicios de la lgica dialctica de Hegel, a pesar de la arbitrariedad de su clasificacin, expresan modos universales de obte49

DIRK

J.

STRUIK

ner nueva informacin, apareciendo una vez ms el desarrollo del pensamiento como el desarrollo de la obtencin de informacin objetiva.39 Estos juicios pueden considerarse como determinaciones de singularidad, particularidad y universalidad. Esto puede proporcionarnos, en efecto, un cuadro de la forma en que se han desarrollado las concepciones matemticas. Por ejemplo, nuestra moderna nocin de geometra, nacida, primeramente, de la observacin de que las rotaciones conservan las propiedades mtricas de una figura (preeuclidiana), lo cual es una determinacin de singularidad. En segundo lugar, se descubri que ciertas propiedades se mantienen invariantes bajo diferentes transformaciones, tales como las proyectivas, afines y rotacionales (principios del siglo XIX), lo cual es una determinacin de particularidad, y, en tercer lugar, toda geometra es la teora de las invariantes de cierto grupo (programa de Erlanger, 1872), lo cual puede considerarse como una determinacin de universalidad. Tales consideraciones pueden
39 F. Engels: Dialectics of Nature (Nueva York, 1940), pginas 237240. 50

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

captarse en lenguaje formal, como lo prueba una secuencia como la siguiente: 1) siete es primo; 2) hay muchos primos; 3) el nmero de primos es infinito. El progreso de la matemtica se lleva a cabo a lo largo de muchos senderos, todos los cuales pueden considerarse como juicios dialcticos,40 y algunos de los ms frtiles pueden describirse as: a) Pasando de lo especfico a lo general v. g., de la teora de las ecuaciones cuadradas, cbicas, etc., a la teora de Galois: El mismo tema de la matemtica ya no puede describirse como si se tratara simplemente de forma y nmero. Estas concepciones constituyen an el fundamento de toda la matemtica, pero temas tales como la geometra proyectiva, la topologa, la teora del grupo, rebasan esta clasificacin. Asimismo han desaparecido los lmites entre la matemtica y la lgica. b) Pasando de lo discontinuo a lo continuo, de lo finito a lo infinito, v. g., de sumas a integrales, de los

40 Cf. J. B. S. Haldane: The Marxist Philosophy and the Sciences (Londres, 1938), cap. II, "Matemtica y cosmologa". 51

DIRK

J.

STRUIK

nmeros racionales a los reales, o al uso del principio de la induccin matemtica: La trascendencia de lo finito a lo infinito ha sido uno de los pasos ms creadores que se han dado en el desarrollo, no slo de la matemtica, sino del entendimiento en general. "Lo infinito ha removido ms profundamente que cualquier otra cuestin la mentalidad humana, ha operado de manera ms estimulante que cualquier otra idea sobre el espritu del hombre, y, sin embargo, necesita ser dilucidado ms que cualquier otra concepcin", escribi Hilbert.41 La tentativa de Hilbert por demostrar que lo infinito puede ser eliminado, no slo de la matemtica -tentativa hecha ya por Eudoxio- sino tambin de las ciencias naturales -"lo infinito no se realiza en ninguna parte"- no parece convincente: lo infinito tiene una manera propia de derribar todos los lmites establecidos por el hombre, en un perodo histrico dado, como base de su entendimiento. c) Pasando de la cantidad a la cualidad, v. g., de la geometra mtrica a la proyectiva, y, por ende, a la
41 Hilbert, op. cit., nota 23. 52

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

topologa. Al pasar de los nmeros positivos a los negativos, introducimos en la aritmtica la nocin de direccin unidimensional, y al pasar de los nmeros reales a los complejos, introducimos un simbolismo para denotar un cambio de direccin bidimensional: La matemtica, aunque nacida del estudio del nmero y de la forma, se ha emancipado de tal manera de sus orgenes, que pocos matemticos se muestran ya inclinados a definir su ciencia como la del nmero y la forma. La misma lgica del quantum ha conducido a la cualidad de muchas maneras. Leibniz fue quizs el primero que se percat de este aspecto del desarrollo de la matemtica. "Creo que necesitamos otro anlisis, propiamente geomtrico o lineal, que nos exprese directamente el sitio, como el lgebra expresa la magnitud" (carta a Huygens, 1679).42 Sin embargo, se ha manifestado una tendencia demostrar que la matemtica puede construirse solamente sobre los nmeros naturales, curiosa
42 Vase H. Grassmann: Werke, vol. II (1894), pg. 417. La respuesta directa a la observacin de Leibnitz ha sido el anlisis vector y tensor, pero su indicacin tiene un alcance mucho mayor. 53

DIRK

J.

STRUIK

vindicacin del punto de vista de Hegel de que el fin y la nocin de la matemtica es la cantidad, junto con una repudiacin de su criterio de que en la matemtica no hay desarrollo y relacin de ideas.43 d) El principio de la permanencia de las leyes formales, v. g., cuando pasamos de la aritmtica al lgebra de los nmeros reales, y luego al lgebra de los sistemas de nmeros complejos e hipercomplejos, y del dominio "real" al "ideal". Este principio fue formulado por Hermann Hankel44 en estas palabras: "Cuando dos formas, expresadas en smbolos generales de la arithmetica universalis, son iguales entre s, lo sern tambin cuando los smbolos dejen de denotar cantidades simples y, por ende, las operaciones reciban tambin otro contenido." e) El principio de la permanencia de las relaciones matemticas, llamado as por V. Poncelet, quien se inspir en el descubrimiento de la geometra proyectiva (el "principio de continuidad", por
43 Hegel: Phenomenologie des Geistes (Lasson, 1927), pg. 37. 54

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

ejemplo, permiti a Poncelet pasar de los teoremas geomtricos conocidos a otros nuevos o relacionar entre s los teoremas conocidos): Una aplicacin especial de este principio fue la labor realizada en geometra con elementos imaginarios, que condujo a Cayley y Klein al descubrimiento de que la geometra mtrica forma parte de la geometra proyectiva, despus de que Poncelet haba derivado la segunda de la primera. Tambin podemos situar bajo este principio la concepcin fundamental del isomorfismo, que nos permite interpretar de diferentes maneras el mismo sistema de relaciones formales entre elementos abstractos. De ello se tienen ejemplos en la polaridad de la geometra proyectiva y en la prueba aportada por Hilbert sobre el carcter no contradictorio de la geometra euclidiana aplicando sta a un lgebra lineal por medio de coordenadas. Aqu, la forma de un sistema corresponde a una multiformidad de contenidos, y slo recibe su vida del contenido.
44 Theorie der complexcn Zahlensysteme (1867), pg. 11. 55

DIRK

J.

STRUIK

f) El principio de conservacin del lenguaje matemtico, v. g., cuando pasamos de tres sistemas paramtricos aplicables al espacio a cuatro sistemas paramtricos, utilizando nuevamente trminos tales como "punto" y "linea" para un "espacio" de cuatro dimensiones. Se ha escrito mucho acerca de la confusin que existe en el uso del lenguaje tambin en la matemtica. La lgica matemtica ha introducido smbolos para eliminar palabras tales como "o", "y", "todos" y "hay". Esta tendencia ha oscurecido a veces el carcter creador del uso de las palabras. Atribuyendo concepciones ms amplias a palabras tales como "punto", "espacio" y "vector" se ha facilitado considerablemente la investigacin en nuevos campos. Un buen ejemplo se encuentra tambin en el uso de expresiones tales como "espacio funcional", "funciones ortogonales" y "densidad de probabilidad". La negativa de los griegos a extender a lo irracional el trmino "nmero" tuvo una influencia perjudicial sobre el desarrollo de su matemtica. Esto no debe considerarse simplemente como un accidente desafortunado. Ms bien fue el
56

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

resultado de la importancia que los griegos concedieron a la geometra abstracta, resultado, a su vez, de la aparente renuencia de algunos de sus prominentes matemticos a aceptar la concepcin oriental de la aritmtica y del lgebra, lo cual slo puede explicarse por la divisin social entre griegos y orientales. Sin embargo, el hecho de que se empleen smbolos y palabras para expresar concepciones matemticas no debe llevar a una asimilacin como la de que "la matemtica es el lenguaje del tamao"45 la cual sobrestima el aspecto formal de la matemtica y trata como incidental su contenido, su aspecto creador como imagen del mundo real. Podra continuarse esta enumeracin de algunos de los principios creadores de la matemtica y analizarse aquellos casos en que se superponen. Cuando estos principios creadores se aplican inconscientemente o semiconscientemente, podemos hablar de intuicin matemtica.46 El
45 L. Hogben: Mathematics for the Million (Nueva York, Norton, 1937), pg. 68. 46 "El rigor y la fecundidad son dos aspectos complementarios de la misma realidad: cuando concentramos toda nuestra atencin en uno 57

DIRK

J.

STRUIK

sentimiento de armona con el universo que experimenta el matemtico creador expresa la concordancia de sus pensamientos con el mundo. Aqu, pisa un terreno comn al del artista y el mstico. Por consiguiente, el carcter deductivo con el que se presenta ante el pblico la matemtica bien organizada no debe impedirnos ver el carcter esencialmente inductivo en el que se han obtenido sus resultados. Esto equivale, en ltima instancia, a considerarla como un estudio de la naturaleza -aun cuando slo se trate de algunas de sus caractersticas ms abstractas, menos susceptibles de experimentacin fuera de los niveles elementales y ajenas a la transformacin histrica-, que proporciona la respuesta bsica a la cuestin tantas veces citada de Poincar: La posibilidad misma de la ciencia matemtica parece una contradiccin insoluble. Si esta ciencia solo es deductiva en apariencia, de dnde le viene ese rigor absoluto que a nadie se le ocurre
perdemos de vista el otro" (R. Duval y G. T. Guillbaud: Le Raisonnement Mathmatique, (Pars, 1945, pg. 147). El estudio de esta intuicin e inventiva matemtica ha sido iniciado recientemente por J. Hadamard:

58

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

discutir? Si por el contrario todas las proposiciones que establece pueden obtenerse unas de otras mediante las reglas de la lgica formal, por qu no se reduce la matemtica a una inmensa tautologa? 47 Slo aadiremos aqu que el "rigor absoluto" no existe. Los criterios del rigor en la matemtica son de carcter histrico: lo que pareca riguroso a Euclides o a Gauss no nos lo parece a nosotros. Y cabe esperar -los axiomticos modernos parecen confirmarlo- que, aun en el caso de que la matemtica pudiera reducirse a una tautologa a los ojos de una generacin, volvera a evadirse de los confines de su prisin en una fecha ulterior.

An Essay on the Psycology of Invention in the Mathematical Field (Princeton, 1945, 143 pginas). 47 H. Poincar, op. cit., pgs. 9-10. 59

DIRK

J.

STRUIK

LA EXPERIMENTACION DIRECTA Y LOS DESCUBRIMIENTOS MATEMTICOS La prueba de la verdad en la matemtica -su carcter no contradictorio- es la prueba de su aplicabilidad al mundo real. Esta no es una afirmacin que puede probarse como un teorema: la prueba entre idealismo y materialismo no puede decidirse sobre el papel o en teora, sino que tiene que decidirse tambin en la prctica de la vida. Los hechos de que la matemtica es posible, de que es aplicable a la naturaleza y de que tiene una funcin social estn todos ellos entrelazados. Esto no constituye un punto de vista utilitario, porque la matemtica slo puede desarrollarse cuando puede ser explorada sin perseguir conscientemente aplicaciones inmediatas, ni
60

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

significa tampoco que la matemtica sea una ciencia emprica, como pretenda Mill. En tanto que la matemtica sea emprica, no puede atribursele la categora de ciencia. Esto no excluye el hecho de que los descubrimientos matemticos han sido obtenidos por medio del experimento directo. En primer lugar, cada generacin tiene que aprender por s misma y sometindolos a la prueba directa de la realidad los conceptos fundamentales de la matemtica. Nuestra conviccin de la validez eterna de los teoremas de Pitgoras o del hecho de que 2 x 2 = 4, no se basa en alguna concepcin a priori ni puede ser quebrantada por cualquier matemtico habilidoso que en un gran libro repleto de frmulas saque la conclusin de que estos teoremas son simples convencionalismos. Nuestra conviccin se basa en el hecho de que los teoremas corresponden a propiedades del mundo real ajenas a nuestra conciencia, las cuales pueden ser comprobadas y cuya comprobacin es accesible a todas las personas desde su temprana juventud. La demostracin de los teoremas de Pitgoras y las tentativas por probar que 2 x 2 = 4 que han existido desde los das de Leibniz sirven para conectar estas verdades con
61

DIRK

J.

STRUIK

otras todava ms elementales y todava ms fciles de probar. La creacin de una estructura matemtica es necesaria e indispensable para el descubrimiento de otras verdades menos obvias y ms difciles de probar. En los tiempos modernos se han hecho relativamente pocos descubrimientos matemticos por medio del experimento y esos descubrimientos se han logrado en gran parte indirectamente al intentar explicar los fenmenos de la fsica. Un ejemplo lo constituye la superficie ondular de Fresnel, descubierta al estudiar la doble refraccin en medios cristalinos. Otros resultados indirectos de la experimentacin son las numerosas soluciones de las ecuaciones diferenciales obtenidas en el estudio de los problemas elctricos o mecnicos. Ciertas propiedades de la factorizacin de grandes nmeros han sido descubiertas por procedimientos mecnicos y el reciente desarrollo de las mquinas calculadoras puede conducir a ms descubrimientos. Algunos teoremas geomtricos han sido descubiertos por medio de modelos de yeso y alambre (v. g., el teorema de Henrici, de 1874, sobre la movilidad de las lneas rectas en un hiperboloide). Tales casos, en la matemtica moderna, son raros y
62

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

hasta ahora nunca han sido de importancia fundamental. El hecho de que relativamente pocos descubrimientos matemticos modernos son el resultado de la experimentacin directa no puede utilizarse para aducir que, cualquiera que haya sido el origen de la matemtica antigua, la moderna es en todo caso un producto puro de la mente humana. No significa que la matemtica haya llegado a una etapa en que puede desarrollarse en gran medida dentro del marco de su propia estructura sin esperar su comprobacin por medio de la experimentacin. La situacin puede compararse con la de la construccin de nuevos instrumentos (lentes, filtros de ondas, etc.), que pueden disearse sobre el papel con la confianza absoluta de que ejecutarn la tarea que de ellos se espera, debido a nuestro exacto conocimiento de las leyes de la fsica. Este criterio matemtico especfico de la verdad nos permite descubrir sobre el papel, con lpiz y pluma, y por medio del razonamiento, relaciones que son una imagen de las relaciones objetivas si el conjunto de axiomas de que partimos es esa imagen. Para el razonamiento matemtico no es necesario, como ya sabemos, tomar en consideracin en la
63

DIRK

J.

STRUIK

investigacin futura el significado objetivo de los axiomas, aun cuando esto pueda ejercer influencia sobre la seleccin de los asuntos a investigar. Puede tomarse libremente un punto como "elemento A" y una lnea como "elemento B". La eleccin de los axiomas en casi todos los tipos de matemticas actualmente estudiados estar de acuerdo con ciertas reacciones objetivas. A este respecto, estamos de acuerdo con A. Tarski, quien es, por su parte, un lgico: As, se oye y hasta se lee de vez en cuando que no puede atribuirse ningn contenido definido a los conceptos matemticos, que en la matemtica no sabemos realmente acerca de qu estamos hablando y que no nos interesa si nuestras afirmaciones son o no verdaderas. Tales juicios deben ser vistos con desconfianza. Si en la construccin de una teora nos conducimos como si no entendiramos el significado de los trminos de esta disciplina, eso no quiere decir en modo alguno que esos trminos carezcan de significacin... Es de suponer que a nadie le

64

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

interesara un sistema formal respecto del cual no seamos capaces de dar una sola interpretacin.48 Podemos aadir que hasta la misma subsistencia de los matemticos como grupo (no necesariamente como individuos) depende del hecho de que la matemtica tenga sentido. En caso contrario, en las nminas de las universidades y escuelas superiores dejara de haber sitio para ellos. Puede que algunos ricos estuvieran dispuestos a contratar a matemticos como contratan ahora jugadores de ajedrez o expertos en bridge, y tal vez otros se interesaran por ayudar a los matemticos como artistas. Sin embargo, sabido es que los artistas encuentran pocos protectores bajo el capitalismo, muchos menos que los hombres de ciencia. El papel social constructivo que la matemtica desempe en la edificacin del capitalismo comercial e industrial fue esencialmente lo que hizo que se fomentara su estudio, aun cuando tuviera que adoptar formas cada vez ms abstractas para llegar a planos ms profundos de la realidad.

48 A. Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (Nueva York, Oxford, 1941), pg. 129. 65

DIRK

J.

STRUIK

LA APLICABILIDAD UNIVERSAL Muchos matemticos del siglo XIX crean en una matemtica "pura" cultivada solamente por el "honor del espritu humano" y en un campo "aplicado" ms o menos distinto, que sola considerarse como menos digno de esfuerzo. El cuadro del Tiziano "El amor sagrado y el profano", de la galera Borghese de Roma, parecales a algunos de ellos que representaba "la matemtica pura y la aplicada". Esta distincin va perdiendo rpidamente sentido como forma fundamental de clasificacin, aunque siga siendo un modo conveniente de denotar tipos de especializacin. Toda teora matemtica "pura" ha encontrado, o puede encontrar pronto, su campo de aplicabilidad. El matemtico que sigue sobre el papel el
66

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

razonamiento estrictamente terico de su ciencia puede descubrir en cualquier momento que en realidad ha estudiado las leyes de algn campo de la fsica, la qumica o la estadstica. El ejemplo clsico lo constituye la teora de las secciones cnicas, creada por los griegos probablemente con el resultado de su investigacin de la triseccin del ngulo o la duplicacin del cubo, investigacin que, dos mil aos despus, result ser el estudio de las rbitas de los planetas. Un ejemplo moderno de ndole similar es el clculo tensor, descubierto como un estudio de la invariacin de las formas diferenciales cuadrticas, que varias dcadas despus contribuy a proporcionar una descripcin del universo con arreglo a la teora de la relatividad de Einstein. Ahora sabemos tambin que los tensores expresan nociones fundamentales en la dinmica, la elasticidad y la hidrodinmica. El clculo tensor puede aplicarse asimismo a las mquinas elctricas giratorias y a la comparacin de los colores, y algunas de sus concepciones ms elementales han encontrado ya su camino en la psicologa. Tales ejemplos pueden multiplicarse centenares de veces. Una de las concepciones ms abstractas de la matemtica moderna es la medida de Lebesgue,
67

DIRK

J.

STRUIK

que a algunos matemticos les pareci la misma culminacin de su ciencia como juego puro del espritu.49 Sin embargo, ahora sabemos que constituye la clave para la comprensin de la teora de la probabilidad y de la estadstica, y esto a su vez es indispensable para la explicacin de fenmenos tan distintos como el movimiento browniano de las partculas en suspensin lquida y la conducta de largo alcance de los sistemas mecnicos.50 Jacobi observ ya cmo las funciones theta describen relaciones profundamente ocultas en la teora del nmero con los movimientos del pndulo. Ahora, la teora del nmero, uno de los campos ms abstractos de la matemtica, basada en la llamada funcin theta de Riemann, encuentra su camino en problemas de ingeniera elctrica as como en algunas partes de la fsica. El lgebra matriz proporciona la base de la mecnica del quantum y de la conducta de los tomos en accin. Y Hilbert ha
49 La crtica de algunas conclusiones idealistas de los matemticos rusos con respecto a este tema y otros afines se encuentra en E. Colman: Predmet i metod sovremmenoj matematiki, pg. 290. Vase tambin su Kriticky vyklad symbolycke metody moderni (Praga, 1948), pg. 299.

68

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

indicado que ciertas leyes de la gentica, en el caso de la pequea mosca drosophila, obedecen a los axiomas concernientes a la nocin de "entre", as como a los axiomas euclidianos lineales de congruencia. Por lo tanto, es posible sostener, como a veces se cree (y la concepcin idealista subjetiva de la matemtica debe conducir necesariamente a ello) que el amplio radio de aplicabilidad de la matemtica a la naturaleza y a la sociedad es simplemente una coincidencia. La aplicabilidad de la matemtica es demasiado general, demasiado universal, para tomar en serio semejante alegato. Cuando aumenta en tales proporciones el nmero de esos "accidentes", "coincidencias" y "golpes de suerte" debemos buscar una explicacin ms racional. Todos los hombres de ciencia estn consagrados a la tarea cooperativa de descubrir el comportamiento del mundo, y aun cuando a veces puedan divergir considerablemente los caminos que siguen y los resultados que obtienen, la unidad fundamental del universo hace posible la armona
50 Vase N. Wiener: Cybernetics, etc., cap. II, que muestra la conexin entre la obra de Gibbs sobre la mecnica esttica y la de Lebesgue sobre integracin. 69

DIRK

J.

STRUIK

eventual de todos los resultados. El autor est convencido de que todos los hombres de ciencia serios comparten la creencia en esta unidad fundamental de todas las cosas que existen y de que esa creencia les comunica su profunda conviccin en que sus investigaciones estn repletas de sentido. Tanto la prctica como la teora han justificado as ampliamente nuestra creencia de que toda la actividad matemtica es valiosa en el sentido de que proporciona una imagen de algn aspecto del mundo real. Ello parece coincidir con la opinin de Leibniz, segn la expres Schrecker: Mientras que segn los utilitarios, el conocimiento es verdadero porque es til, sera ms adecuado, a juicio de Leibniz, decir que si el conocimiento es verdadero tiene que ser til y que, por consiguiente, la utilidad solo es una confirmacin, pero no un elemento constitutivo de la verdad. El conocimiento verdadero, en

70

LA MATEMITICA, SUS ORGENES Y SU DESARROLLO

efecto, representa el orden real y objetivo del universo.51 Debido a esta ntima relacin entre pensamiento y naturaleza, entre experimento y teora, revelada por la matemtica moderna, Hilbert se mostr dispuesto a aceptar la nocin de la "armona preestablecida" formulada por Leibniz; pero en la relacin entre la matemtica terica y sus aplicaciones vio todava algo ms que esta "armona preestablecida": Sin la matemtica, es imposible la astronoma y la fsica de nuestro tiempo: estas ciencias, en sus partes tericas, se disuelven, por as decir, en la matemtica.52 A esta unidad del pensamiento y de la naturaleza es a lo que ha conducido el desarrollo de la matemtica moderna.

51 P. Schrecker: "Leibniz and the arts of Inventing Algorithms", Journal of the History of Ideas, vol. VIII (1947). pgs. 107-116, especialmente 115116. 52 D. Hilbert: "Naturerkennen und Logik", Gecsammelte Abbandlungen (1930), pgs. 378-387. A veces se afirma que, segn Hilbert, la matemtica es un juego desprovisto de sentido. Este trabajo muestra que tal afirmacin no expresa la cabal comprensin que Hilbert tiene de la matemtica. 71