Historia, autora y matemtica

Sogol Thamaem

8 de julio de 2017

NOTA. Original publicado a 10/2/2013 en prosa-msc. Revisiones: 22/8/2013, 12/10/2013.

Algunas impresiones sobre Histria de les Matemtiques

Mi profesor de historia sola decir que todos los grandes haban escrito una ptica
(Euclides, Descartes, Newton, Huygens...), o que si no escribas una no eras nadie. In-
cluso, irnico, comentaba que todos conocan la ley de Snell menos Snell, pues, si
ms no, ste nunca la public en vida (aunque se dice que hay un manuscrito en Ams-
terdam de 1621 al que un tal K. Hentschel dedico un artculo en 2001...).1 Parodiando

1 Una mofa similar recibi el teorema de Pitgoras c , conocido por todas las civilizaciones desde todos

los tiempos; como llegara a decir Felix Klein con idntica sorna: si un teorema lleva el nombre de un
matemtico, es seguro que este matemtico no es su inventor.
P.S. (25/6/2017) Graciosamente he sido incapaz de hallar la fuente original de dicha cita (ni siquiera
su anlogo en ingls o alemn); de hecho, sta ms bien parece una traduccin de la ley de Boyer
acuada por H. Kennedy, cf. [Ke72], que es a su vez un caso particular de la ms conocida ley de
la eponimia de Stigler, cf. [St80], que no es ms que un recuento a modo de homenaje del trabajo
de Robert K. Merton (pionero en sociologa de la ciencia) entorno a su efecto Mateo, que debe su
nombre al pasaje 13:12 del Evangelio segn San Mateo. Para una exposicin ms pausada y amena
de todo ello, cf. Today I Found Out e io9, as como sus correspondientes enlaces. (Huelga decir que si
hubiese sabido de esto antes probablemente no hubiese escrito el artculo).
Otras instancias similares (y de fcil acceso va Google) son:
If a notion bears a personal name, then this name is not the name of the discoverer (V. I. Arnold, On
teaching mathematics, 1997, acuado por su profesor M. Berry como principio de Arnold, que justifica
con las siguientes palabras de su profesor I. G. Petrovskii: genuine mathematicians do not gang up,
but the weak need gangs in order to survive).
Everything of importance has been said before by somebody who did not discover it
(A. N. Whitehead, The Organisation of Thought, 1916, tras comentar como Aristotle [...] came very near
to the theory of the logical variable. But to come very near to a true theory, and to grasp its precise
application, are two very different things; una situacin similar se discute a propsito del estructu-
ralismo o no de Dedekind en [Fe07, Ch. 3], [Co04, Ch. 2]). Aunque este pasaje se suele citar a la
par con las leyes de Stigler y Boyer, lo que aqu est discutiendo Whitehead a mi entender es justo lo
contrario, cuando no otro asunto completamente distinto: que tocar (o casi) un tema no significa enten-
derlo (aunque, y aqu es donde podemos relacionarlo con el opuesto de las susodichas leyes a pesar de
que Whitehead no diga nada al respecto, a veces se le de por ello crdito; e.g., douard Lucas acua el
nombre sucesin de Fibonacci a pesar de ser l y no Fibonacci quien hace un estudio exhaustivo de
la misma).

1
o homenajeando?, pues, a ste, uno de los ms no el nico, por suerte amenos
profesores que he tenido (un showman indiscutible, aunque huelga decir que la materia
se presta muy bien a ello), dir yo ahora, en idntica pose anacrnica, que todo ma-
temtico que se precie ha de construir una funcin patolgica: Hoy son inventadas a
propsito para mostrar que el razonamiento de nuestros ancestros fallaba y nunca ob-
tendremos ms que eso de ellas (aujourdhui, on les invente tout exprs pour mettre
en dfaut les raisonnements de nos pres, et on nen tirera jamais que cela, Poincar,
La logique et lintuition dans la science mathmatique et dans lenseignement, 1899).2
Ciertamente sorprendente, creo, que un concepto capital de la matemtica como lo
es el de funcin no estuviese nada claro todava a finales del XIX. Notables son tambin
el comentario de Hankel (1870)3 que se puede leer en ingls en el recorrido histrico
del concepto en MacTutor,4 o la carta de Hermite a Stieltjies del 20/5/1893: me alejo
con miedo y horror de esta plaga miserable de las funciones continuas que no tienen
derivadas....5 De hecho, hubo que esperar hasta 1925 para llegar a un cierto consenso,6
a pesar de que Dedekind trabajara con ellas sin ningn tipo de problema y con toda
generalidad a finales de 1850,7 apareciendo por primera vez en pblico en su Qu son
y para que sirven los nmeros? (1888).8 Por desgracia, la obra de Dedekind paso bastante
inadvertida por sus coetneos precisamente por ello, por su tratamiento sumamente
abstracto e incorporeo (dir Frobenius),9 precediendo por 30 aos a Noether, quien

Nihil tam absurde dici potest, quod non dicatur ab aliquo philosophorum (no puede decirse
nada tan absurdo que no lo diga ya alguno de los filsofos, Cicern, Sobre la adivinacin, 44 aC, Libro
II, Captulo LVIII, Seccin 119, al discutir diferentes aproximaciones a la oniromanca).
Nullumst iam dictum quod non dictum sit prius (nada hay ya que primero no est dicho, Tere-
necio, El eunuco, 161 aC, Prologo, Verso 41, ante la acusacin de plagio de la versin latina de El adulador
de Menandro, apelando a la universalidad de ciertos arquetipos).
2 La cita tambin aparece en Les dfinitions gnrales en mathmatiques (1904), republicado como Les dfini-

tions mathmatiques et lEnseignement en Science et mthode (1908, Libro II, Captulo II). Todos los textos
estn disponibles en Henri Poincar Papers.
3 Das eine definiert die Funktionen wesentlich im Eulerschen Sinne, das zweite verlangt, y solle sich

gesetzmig mit x ndern, ohne da eine Erklrung dieses dunklen Begriffes gegeben ist, das dritte
definiert sie in der Weise Dirichlets, das vierte gar nicht; alle aber leiten aus ihrem Begriffe Folgerungen
ab, die nicht in ihm enthalten sind. (Untersuchungen ber die Unendlich oft oszillierenden und unstetigen
Funktionen, 1870; republicado en Ostwalds Klassiker der exakten Wissenschaften Nr. 153, 1905; disponible
en umich).
4 Astroseti sola almacenar una traduccin al espaol del mismo, pero lamentablemente hoy por hoy

slo se puede acceder a ella a travs de Wayback Machine y copycats (jamas pens que acabara agra-
decindoles nada a estos ltimos; ser posible que sus intenciones sean anlogas a las de los copis-
tas/amanuenses medievales?).
5 Je me dtourne avec effroi et horreur de cette plaie lamentable des fonctions continues qui nont point

de drives... (Correspondance dHermite et de Stieltjes, d. B. Baillaud et H. Bourget., vol. 2. Gauthier-

Villars, 1905, p. 118; disponible en Internet Archive).
6 Esta es una afirmacin demasiado vaga como para poder respaldarla, y est posiblemente basada en

MacTutor.
7 Cf. [De98, Introduccin, Sec. 3], apelando al manuscrito sobre teora de Galois publicado por Scharlau.
8 Cf. [De98, Introduccin, Sec. 7], donde adems se insina a propsito de una carta a Keferstein que la

obra fue concebida bajo razonamientos propios (o cercanos) a la teora de modelos, adelantndose por
mucho a su poca.
9 seine Permutationen sind zu krperlos, undes ist doch auch unnthig, die Abstraktion so weit zu

2
declaraba repetidamente a sus colaboradores: ya est todo en Dedekind.10
A este respecto, me parece muy oportuno el comentario que encontramos en la en-
trada History of mathematics de la Wikipedia: From ancient times through the Middle
Ages, periods of mathematical discovery were often followed by centuries of stagna-
tion. Beginning in Renaissance Italy in the 16th century, new mathematical develop-
ments, interacting with new scientific discoveries, were made at an increasing pace
that continues through the present day. En cuanto a esas rfagas se refiere: Certainly
many of the ideas which were previously thought to have been brilliant new concep-
tions due to European mathematicians of the sixteenth, seventeenth and eighteenth
centuries are now known to have been developed by Arabic/Islamic mathematicians
around four centuries earlier.11
En efecto, podemos citar varios ejemplos, de grandes descubrimientos que se per-
dieron en la historia. As sucedi con la invencin del cero, que era denotado confusa
y ambiguamente como una ausencia en la cultura babilnica, y al que Brahmagupta
(Brahma-sphuta-siddhanta, 628) no slo materializ con el smbolo 0, sino que le confi-
ri el carcter ya no de smbolo para rellenar un hueco en el sistema de numeracin
posicional, sino de cifra independiente por derecho propio (como queda constatado en
una serie de reglas del tipo 0 + 0 = 0). Sin embargo, Occidente tendra que esperar al
Liber abaci (1202) de Fibonaci para la introduccin de ste, el sistema de numeracin
indo-arbigo, y, con l, el cero, a pesar de que en el proceso ste perder de nuevo su
entidad como cifra (siendo as inadmisibles, o carentes de sentido, expresiones como
3 3 = 0).12 Para comprender el porqu de esta imperdonable tardanza suele citarse a

treiben (cf. [Co04, Ch. 2.3, p. 128]). In order to satisfy this requirement of purity, Dedekind strove to
analyze any new result that might employ any kind of auxiliary means: the result had to be understood
at a deeper level; the proofs had to be transformed until the kernel was found that expressed the
pure content behind the first result. [...] Moreover, the theory ought to be strictly deductive, and of
course auxiliary forms of representation should be replaced by abstract concepts. A reformulation of
any rough first result in these terms would end in definitions of basic concepts characterizing the main
properties of the objects under study, and would thus offer a sound basis for a deductive development
of the whole theory. Once the main definitions had been found, a final effort had to be made in order to
adapt, as closely and directly as possible, all means of proof to those basic properties and language. This
is essentially the method that he applied in the cases of groups, ideals, Dedekind cuts, simply infinite
systems, etc. Of course, it required a disposition to accept new definitions, theoretical approaches,
and means of proof which, as Dedekind learnt, most mathematicians would reject, preferring the
familiar language in which they had been trained ([Fe07, Sec. 4.1, p. 103], donde se proveen varias
fuentes como respaldo).
10 Fr Emmy Noether was das elfte Supplement eine unerschpfliche Quelle von Anregungen und Met-

hoden. Beijeder Gelegenheit pflegte sie zu sagen: es steht schon bei dedekind, cf. [De64, Prefacio].
Aunque podra citar aqu, al estilo de [Co04, Ch. 2, fn. 1], toda una ristra de estudios subrayando la
importancia histrica de Dedekind, me voy a limitar a redirigir a cualquier interesado a [Fe07].
11 J. J. OC ONNOR , E. F. R OBERTSON Arabic mathematics: forgotten brilliance? MacTutor. Por supuesto, otras

culturas como la china e india fueron as mismo origen de ideas de igual calibre y olvido, y no sera
difcil imaginar la existencia de una ruta de conocimiento entre estos epicentros (de hecho, la ruta
India-Islam-Europa est bien establecida, con figuras como la de al-Khwarizm y traductores como
Robertus Castrensis). Para ms detalles al respecto, as como referencias para adentrarse en este campo
de estudio que est ganando cada vez ms traccin, cf. [Ka07].
12 Para una exposicin ms pausada y amena de este pasaje de la historia, vase 50 cosas que hay que saber

sobre las matemticas (2014), captulo 1 (scribd). Cabe mencionar, no obstante, que los nmeros arbigos,

3
Aristteles y su horror vacui,13 la Naturaleza aborrece al vaci, quien cerro las mentes
de un Occidente escolstico durante siglos, hasta bien entradas las revoluciones cien-
tficas iniciadas por Coprnico y culminadas con Newton;14 ejemplo magnifico, ste,
para apostar por la independencia entre la filosofa y la ciencia (ms tarde comentare el
caso de Kant, Hamilton, los logicistas y la geometra proyectiva; menudo poker!).
En el mismo texto (el Brahma-sphuta-siddhanta) hallamos tambin otro de los avan-
ces ms significativos: la introduccin de los nmeros negativos.15 Occidente, no obs-
tante, tendra que esperar hasta Simon Stevin (LArithmetique, 1585), Rafael Bombelli
(LAlgebra, 1572, en la que adems se operaba con complejos por primera vez en la his-
toria, resolviendo con ello los casos irreducibles de la cubica; todo ello desde un punto
de vista esencialmente instrumentalista,16 eso s, si bien la importancia histrica de la
obra la convirti en autoridad por ms de un siglo, completando Leibniz su educacin
en lgebra con ella)17 y las soluciones falsas de Descartes (La Gomtrie, 1637) para
empezar a asumir su uso. Aun as, todava Hamilton (Algebra as the Science of Pure Time,
General introductory remarks, 1837) parece recelar de ellos (aunque su queja deviene
exagerada y no representativa del sentimiento general de los matemticos de la poca),
y no ser hasta Dedekind (1888) que stos sern totalmente formalizados y aceptados.18
Otros ejemplos igualmente emblemticos podemos encontrarlos en la historia del
clculo: el principio de Cavalieri en Liu Hui y Zu Gengzhi ms de mil aos antes que

con la excepcin del cero, son primeramente encontrados en Occidente en una copia del Codex Concilio-
rum Albeldensis seu Vigilanus del 992, a modo de adiccin al libro III de Etymologiae de Isidoro de Sevilla
(cf. [SmKa11, Ch. 8, p. 138]). Tambin es interesante notar que la numeracin con varillas china se ade-
lanta a Brahmagupta en su introduccin del sistema decimal por mucho, cf. [YaSh87, Ka07, Str98].
13 Cf., e.g., C HARLES S EIFE Zero: the biography of a dangerous idea Penguin Books City, 2000.
14 Est-ce que la nature abhorre plus le vuide sur les montagnes que dans les vallons, quand il fait humide

que quand il fait beau? Ne le hait-elle pas galement sur un Clocher, dans un grenier et dans les Courts
(Traits de lquilibre des liqueurs et de la pesanteur de la masse de lair, Conclusion des deux precedens trai-
tez, 1654, apelando a la diferencia de desplazamiento de mercurio en un barmetro en las susodichas
distintas localizaciones/situaciones, en contra de la explicacin al respecto de los defensores del horror
vacui). Usualmente citado en espaol como Y lo aborrece ms en Pars que en Chamonix?, aunque
esto sea probablemente una perfrasis que se ha perpetuado.
15 Aunque a este respecto es nuevamente China y su numeracin con varillas la que lleva la delantera, cf.

[YaSh87, Ka07, Str98].

16 Habra que esperar a Gauss para un entendimiento ms profundo de los mismos con su introduccin

del plano complejo.

17 Lo cierto es que no he encontrado ninguna fuente completamente fiable que la cite como parte de la

formacin de Leibniz (no me importa citar fuentes genricas como MacTutor o Wikipedia para afir-
maciones generales que, para ms inri, voy a respaldar a continuacin va especficos, pero no para
algo tan preciso), si bien he de reconocer que tampoco me he esforzado demasiado por hallarla, ya
que, primero, el propsito de este artculo no requiere que respalde la exactitud de cada una de mis
afirmaciones (aunque parezca haberlo olvidado en esta revisin iniciada a 25/6/2017), por mucho que
ello pueda ayudar (bsicamente porque la intencin original de esta seccin era servir de introduccin
al mero pueril chascarrillo de la siguiente), y, segundo, porque muchas de dichas afirmaciones forman
parte del bagaje cultural (a menudo impreciso, no lo dudo) de cualquier matemtico, pudindolo mejor
suplir con cualquier libro de historia que conmigo.
P.S. En la entrada de Bombelli del Dictionary of Scientific Biography (Vol. 2, libgen) se cita la correspon-
dencia con Huygens como referencia.
18 Cf. [De98, Sec. 1.3].

4
ste,19 la mejor aproximacin de durante 900 aos (hasta su redescubrimiento oc-
cidental en 1585 por Metius) por Zu Chongzhi va un 12288-gono, 355/113,20 el
teorema de Rolle en Bhaskara II...21
Y no slo en el clculo, por supuesto: el gran Bhaskara II ya resolva con toda ge-
neralidad las ecuaciones de Pell en 1150,22 y son Euler y Lagrange, y no Pell, quien
desarrollan rigurosamente su teora;23 el mtodo de la regula falsi, as como la elimina-
cin de Gauss-Jordan, se encuentran con 15 y 20 siglos de diferencia respectivamente
en comparacin con Europa en Los nueve captulos sobre arte matemtico (captulos 7 y 8
resp.);24 la ley de Snell fue primeramente descubierta por Ibn Sahl25 (cuyo trabajo fue
preservado por Ibn al-Haytham, quien fue a su vez estudiado con inters por Snell);26
las propiedades del triangulo de Pascal (o de Tartaglia) fueron discutidas primeramen-
te por Al-Karaji y Omar Jayam, incluyndose entre ellas el binomio de Newton;27 el
algoritmo de Prim (1957, Shortest connection networks And some generalizations, Bell Sys-
tem Technical Journal, Vol. 36, No. 6, pp. 13891401) fue descubierto previamente por
Vojtech Jarnik (1930, O jistm problmu minimlnm, Prce Moravsk Prrodovedeck
Spolecnosti, Vol. 6, No. 4, pp. 5763) y an redescubierto posteriormente por Dijkstra
(1959, A note on two problems in connexion with graphs, Numerische Mathematik, Vol. 1,
pp. 269271), siempre independientemente unos de otros; sin olvidar el que quiz sea
el caso ms esperpntico y actual de todos: en 1975 se celebr por todo lo alto el artcu-
lo de Li-Yorke Period Three Implies Chaos, lo cual no era ms que un mero corolario del
teorema de Sharkovskii (Coexistencia de periodos en una aplicacin continua de la recta en s
misma, 1964).
Teniendo presente los ejemplos dados, as como la tesis de la que se parta (que los
avances de Occidente durante la Edad Moderna fueron previamente concebidos en
Oriente), algn lector podra verse tentado de culpar de ello a la falta de intercam-
bio cultural entre los diferentes continentes debido a las limitaciones en el transporte
y la comunicacin propias de la poca.28 Sin embargo, creo que merece la pena dete-

19 Aunque, para ser honestos, tambin podemos encontrar trazas del mismo en Eudoxo de Cnido y Arqu-

medes de Siracusa antes incluso. Para ms detalles al respecto, as como referencias, vase, e.g., [Str98,
pp. 177-180], [YaSh87, Ch. 3.3.3, pp. 85-87].
20 Cf. [YaSh87, Ch. 3.3.2, pp. 82-84].
21 ste ltimo es ciertamente disputado, aunque cuanto menos se le suele conceder un conocimiento ms

o menos profundo del clculo, cf. [Sm17, Ch. 3.2.3].

22 Cf. [Pu12, p. 164].
23 Cf. J OSHUA A ARON M C G ILL Euler and Lagrange on Pells Equation (online).
24 Cf. [Str98, p. 166]
25 R. R ASHED A pioneer in anaclastics: Ibn Sahl on burning mirrors and lenses Isis, Vol. 81, No. 3, pp. 464491,

1990 (jstor). R. R ASHED Gomtrie et dioptrique au Xe sicle: Ibn Sahl, al-Quhi et Ibn al-Haytham. Paris: Les
Belles Lettres, 1993.
26 H ENTSCHEL , K. Das Brechungsgesetz in der Fassung von Snellius Archive for History of Exact Sciences,

Enero 2001, Vol. 55, No. 4, pp. 297344.

27 Cf. J. J. OC ONNOR , E. F. R OBERTSON Abu Bekr ibn Muhammad ibn al-Husayn Al-Karaji MacTutor
28 Y digo de la poca porque realmente lo siento as, como algo del pasado. Sentimiento impulsado por

proyectos internacionales como PolyMath (cf. F RANCISCO R. V ILLATORO Terence Tao demuestra la con-
jetura de la discrepancia de Erdos La Ciencia de la Mula Francis, B RADY H ARAN Twin Prime Conjecture
Numberphile) o ambiciosos programas de investigacin que han involucrado a toda la comunidad

5
nerse a cuestionar este razonamiento aadiendo a la lista algunos ejemplos ms, ahora
intraculturales:

Liber de ludo aleae: libro sobre juegos de azar escrito en la dcada de 1560 por Car-
dano, autor del prestigioso Ars Magna (1545). Constituye el primer tratado serio
de probabilidades, abordando mtodos de cierta efectividad. Lamentablemente,
no fue publicado hasta 1663, i.e., 9 aos despus de que Pascal publicara su Trait
du triangle arithmtique, muy superior a la obra de Cardano.

Los porismos de Euclides.29 Se dice que contiene una suerte de geometra analtica,
adelantndose as por varios siglos no slo a Descartes y Fermat, sino tambin a
Omar Jayam.

La segunda constante de Planck o constante de Boltzmann (cf. C SAR T OM L -

PEZ Las constantes de Planck y el caballo blanco de Santiago Experientia docet).30 Un
fenmeno algo distinto a los anteriores, es cierto, pero que sigue corroborando
la ley de Stigler y la idea que las atribuciones de autora son como representan-
tes arbitrarios de la clase de equivalencia inventor del fenmeno de turno,31 o,
parafraseando a Nietzsche, momificaciones de la realidad.32

etc., etc., etc.33

como Langlands (1967actualidad), Gorenstein (19722008, por la clasificacin de grupos simples fini-
tos), Hamilton (1982, por la demostracin de la conjetura de Poincar, esbozada por el ruso Perelman
mediante tres publicaciones sin tirada impresa en 2002-3, y expuesta/verificada con detalle por los chi-
nos Huai-Dong Cao y Xi-Ping Zhu en 2006, entre otros), as como el inters internacional de escrutinio
que se despierta cada vez que se anuncia una demostracin de algn problema de importancia, como
sucedi con Otelbaev y las ecuaciones de Navier-Stokes (cf. F RANCISCO R. V ILLATORO La demostracin
de Otelbaev del problema del milenio de Navier-Stokes La Ciencia de la Mula Francis, incluyendo comenta-
rio y referencia de Tao), Deolalikar y P vs NP (cf. F RANCISCO R. V ILLATORO La opinin de Terence Tao
sobre la demostracin de P 6= NP de Deolalikar La Ciencia de la Mula Francis) o Shinichi Mochizuki y la
conjetura abc.
29 Este ejemplo trae a colacin el problema de los documentos perdidos, robados o destruidos, como ha

sucedido con los saqueos arqueolgicos de los templos egipcios (posible razn por la cual se conservan
apenas unos cinco documentos matemticamente significativos) o la quema de libros y sepultura de
intelectuales de Qin Shi Huang. Ojala pueda encontrarse algn da como sucedi con El mtodo de los
teoremas mecnicos de Arqumedes.
30 Algo similar sucedi con la sucesin de Fibonacci (op. cit.), quien apenas le dedicaba un prrafo en su

seccin de matemtica recreativa, siendo en realidad douard Lucas (Recherches Sur Plusieurs Ouvrages
De Lonard De Pise Et Sur Diverses Questions DArithmtique Suprieure, 1877) quien descubri muchas de
sus propiedades (otro tema distinto es quin introdujo en primer lugar la susodicha sucesin, tampoco
siendo Fibonacci el agraciado, cf. [Si85]). De manera semejante, el primer modelo cuntico del tomo
no es de Bohr, como suele afirmarse, sino que este tiene como base al menos cuatro predecesores (cf.
[To13]).
31 O como dicen por ah, cocientar es olvidar diferencias (Pablo Barenbaum, Pruf!) y all scientific disco-

veries are in principle multiples (R. K. Merton, cf. [St80]). O sea, que en historia de la ciencia no existe
genuinamente la nocin de primero, slo la de conglomerado.
32 Cf. El ocaso de los dolos, La razn en la filosofa, 1, donde precisamente crtica la carencia de sentido

histrico.
33 Para ms ejemplos, vase [Dy72], un doloroso clsico contemporneo al respecto.

6
Pues a pesar de lo mucho que me deleitaban esta clase de anacronismos, uno termina
por hartarse de ellos, resultando ciertamente tentador coincidir con Boyer en que Clio,
the muse of history, often is fickle in the matter of attaching names to theorems!, lo que
me lleva a insistir en lo quimrico del concepto de autora (cf. [Pe04])34 y en que no
importa lo bueno que seas si no eres escuchado; tu obra puede caer igualmente en olvi-
do o, con otras palabras, lo bueno no se vende solo, como dicen por ah; el marketing
es necesario, por lamentable que esto sea. Para muestra, un botn: Network effects
might possibly lock an industry into an inferior technology. A technologically inferior
brand might have been the first to enter the market, thus gaining a network advantage
great enough to attain a monopoly. Or, many firms may be in the market, but all fo-
llow a single format that might possibly be technologically inferior. In recording tapes,
Betamax was unable to made headway against VHS. In keyboard layouts, QWERTY
dominates over Dvorak. 36
Sea como fuere, y retomando el cauce perdido, estos ejemplos venan a justificar la
segunda mxima sobre historia de las matemticas arriba citada concerniente al origen
oriental de los descubrimientos occidentales post-medievales, matizacin de la prime-
ra, justificacin de los dos prrafos iniciales y el sorprendente hecho de que sea tan
moderno el fundamental concepto de funcin.
Sin embargo, con las cartas que ya han sido levantadas, uno debiera ser capaz de

34 Pedro Miguel Etxenike, catedrtico de Fsica de la materia condensada en la UPV/EHU y presidente del

Donostia International Physics Center, comenta en la ronda de preguntas de su ponencia Consejos a un

joven cientfico que esto es, a su parecer, algo caracterstico de la ciencia: No tendramos La Gioconda sin
Leonardo da Vinci, ni Chillida-Leku sin Chillida, pero s hubisemos descubierto la estructura de doble
hlice del ADN sin Watson y Crick, hubisemos tenido la relatividad restringida sin Einstein, y quizs,
lo ms probable, esto no lo tengo tan seguro, la generalizada, con muchos ms aos. Lo que a su vez
me recuerda a estas palabras de Hardy (Apologa de un matemtico, 1940): Un matemtico, lo mismo
que un pintor o un poeta, es un constructor de modelos. Si stos son ms permanentes que otros es
porque estn hechos con ideas.
No s si habr sido a propsito, pero ninguno de los dos ejemplos de arte de Etxenike est relacio-
nado con la escritura, lo cual considero bastante acertado y agudo, pues sera fcil contraatacar con los
lemas de Borel-Cantelli y la ley cero-uno de Kolmogrov (o, ms coloquial, el teorema de los infinitos
monos) para desligar esa relacin unvoca entre autor y obra (por supuesto, uno puede hacer lo propio
con cualquier arte, e.g., apelando a su versin digitalizada, pero ah el argumento empieza a volverse
algo engorroso); incluso, aunque desde un punto de vista ahora s meramente formal, uno podra,
con ciertos conocimientos sobre teora ergdica (cf. C SAR T OM L PEZ Muerte trmica del universo,
eterno retorno y fluctuaciones del caos Experientia docet), apelar al teorema de recurrencia de Poincar
para sentenciar: toda obra perdida en el tiempo ser recuperada. Todo cuanto naci, renacer. Volve-
rn a poblar la Tierra las siete maravillas, y con ellas, cualquier otra creacin de la que desconozcamos
su existencia.35 Otra cuestin sera que en ciencia no es tan relevante el autor y que no habra que
esperar tanto tiempo para que estos proyectos se completaran.
35 La influencia de estas ideas no necesariamente en su expresin matemtica, como se intuye en su

Historia de la eternidad es recurrente en la obra de Borges, quien contrapone a menudo el nmero

finito de posibilidades a las hiptesis de un nmero infinito de: universos (El jardn de senderos que se
bifurcan), obras (La Biblioteca de Babel), tiempo (El inmortal), etc. deviniendo en un desolador nihilismo
que revive la angustia y vrtigo ya propugnados en Drcula y la inmnortalidad como maldicin y
que, en ltima instancia, son un canto a la vida.
36 Cf. [HiGlHi05, Ch. 8.6, The Lock-in Issue, pp. 250-253], donde se aclara que dichos ejemplos son algo

controvertidos, lo que no quita que el problema del lock-in sea real.

7
preguntarse: es realmente tan moderno el concepto de funcin?, acaso no se han
empleado las funciones trigonomtricas desde siempre, a instancias de la astronoma?.
Antes vimos, por ejemplo, que a pesar de que habra que esperar a finales del XIX
para poder hablar con todo rigor de los enteros, ya a finales del XVI, cuando Europa
comienza a salir del oscurantismo medieval, se trabaja con ellos en Occidente. Incluso,
de hecho, si nos remontamos a la Antigedad, apreciaremos que stos ya eran en mayor
o menor medida intuidos, e.g., en la resolucin de ecuaciones cuadrticas, formuladas
siempre para evitar su aparicin, pues no se consideraban nmeros. No sera sino hasta
su aceptacin y posterior formalizacin que se dejara de distinguir dichas resoluciones
por casos segn el signo para establecer una nica frmula.
Otros ejemplos de similar evolucin histrica son:

La induccin matemtica y el concepto mismo de rigor y demostracin. As, por

ejemplo, mientras que en Euclides o Al-Khawarizmi las demostraciones son ex-
clusivamente geomtricas,37 Lagrange escribir jactosamente: No encontrare-
mos figuras en este trabajo. El mtodo que expongo no requiere construcciones,
ni argumentos geomtricos o mecnicos, sino nicamente operaciones algebrai-
cas sometidas a un tratamiento regular y uniforme. (Mecnica analtica, prefacio,
1788).38

El lgebra: antes del XVI la cubica ya haba sido resuelta grficamente por Omar
Jayam (Treatise on Demonstration of Problems of Algebra, 1070) y numricamente
por Fibonacci (segundo problema de Johannes de Palermo, publicado en su Flos,
1225), si bien ninguno de ellos trascender;39 el primero por complejo (distin-
guiendo demasiados casos), y el segundo por no explicar el procedimiento por
el cual lleg a su resultado. Ser con los esfuerzos progresivos de Scipione del
Ferro, Tartaglia, Cardano, Ferrari y Bombelli, en el renacimiento italiano, que el
asunto quedar abordado satisfactoriamente de modo analtico, si bien habr que
esperar a Abel, Ruffini y, sobre todo, Galois, para un entendimiento profundo de
la materia.

El anlisis: Eudoxo de Cnido y el mtodo de exhauscin empleado por Arqu-

medes y Liu Hui, Cavalieri y el mtodo de los indivisibles, Bhaskara II, los
Bernulli, Seki Kowa... y el pre-clculo, Newton y el clculo de fluxiones, Leibniz
y los diferenciales, etc. son algunos de los grandes nombres que pueblan su histo-
ria y que no pudieron evitar que Berkeley los cuestionase en The Analyst (1734).40
37 Sobre la preeminencia de la concepcin geomtrica puede ser interesante recordar el ya obsoleto con-
cepto de magnitud en los recorridos histricos de [Re04] y [Se95].
38 Esta obra supone un gran avance en el proyecto newtoniano, que es a su vez continuado por Hamilton,

quien la describe as: the beauty of the method so suiting the dignity of the results, as to make of
his great work a kind of scientific poem (On a general method in dynamics, by which the study of all free
systems of attracting or repelling points is reduced to the search and differentiation of one central relation or
characteristic function Philosophical Transactions of the Royal Society, 1834, pp. 247308; online).
39 Podra incluirse tambin a los babilonios y sus tablas precalculadas, aunque esto desmerecera los tra-

bajos recien citados, mucho ms generales.

40 Subtitulada: A DISCOURSE Addressed to an Infidel MATHEMATICIAN. WHEREIN It is examined

8
 El teorema de Bolzano, presente de manera primitiva y sutil si se quiere en
Fibonacci (op. cit.), y presumiblemente conocido a modo intuitivo an con ante-
rioridad, es demostrado por primera vez, y an con cierta oscuridad, en 1817. La
luz a estos asuntos llegara algo despus, con la aritmetizacin del anlisis de
finales del XIX.

Observamos as que con el proceso de occidentalizacin (internacionalizando con l

los nombres europeos) le sigue un paulatino proceso de formalizacin (que termina
de cristalizar dichos nombres). A este respecto tal vez merecera tener en cuenta que
la visin axiomtica de la matemtica es esencialmente europea (ms concretamente,
griega, por Los elementos de Euclides, si bien stos fueron traducidos y exportados con
mayor o menor rapidez al resto de culturas), y que la mayora de tratamientos extran-
jeros carecan de esta visin, al menos antes que l, como sucede por ejemplo con Los
nueve captulos sobre arte matemtico (usualmente considerado el anlogo chino, si bien
sus exgesis, como la de Liu Hui, s promulgaron un mayor rigor que el contenido en
la propia obra).
Sin embargo, me parece importante matizar, si no paliar, esta alabanza a Euclides,
quien fue duramente criticado a finales del XIX, con reproches tan citados como el de
Hilbert: uno debera ser capaz de decir siempre en lugar de puntos, lneas rectas y
planos, mesas, sillas y jarras de cerveza.41 Sentimiento, ste, compartido por muchos
de sus coetneos, como puede comprobarse en el prefacio de la edicin del CSIC de
sus Fundamentos de la geometra, en el que se citan a Peano, Fano y Pieri. Padoa42 y
Dedekind43 se expresaran similarmente.

whether the Object, Principles, and Inferences of the modern Analysis are more distinctly conceived,
or more evidently deduced, than Religious Mysteries and Points of Faith. Ms sobre la cuestin, en
[Re04, p. 4], [Iv, p. 8].
41 In einem Berliner Wartesaal diskutierte er mit zwei Geometern (wenn ich nicht irre, A. Schoenflies und

E. Ktter) ber die Axiomatik der Geometrie und gab seiner Auffassung das ihm eigentmliche scharfe
Geprge durch den Ausspruch: Man mu jederzeit an Stelle von Punkte, Geraden, Ebenen Tische,
Sthle, Bierseidel sagen knnen. Seine Einstellung, da das anschauliche Substrat der geometrischen
Begriffe mathematisch belanglos sei und nur ihre Verknpfung durch die Axiome in Betracht komme,
war also damals bereits fertig. ([Hi70, Lebensgeschichte, pp. 388-429]).
42 [Lo98, p. 146].
43 Cf. las cartas de Dedekind a Lipschitz (27/7/1876) y a Keferstein (27/2/1890), ambas en [De98]. All

puede leerse tambin, p. 65: Dedekind rechaza las definiciones intuitivas o fenomenolgicas al estilo
eucldeo, y slo acepta definiciones que puedan servir como base de autnticas demostraciones. Hago
notar que este rechazo a esas definiciones ad hoc va fuertemente en contra del intuicionismo kantiano
influido precisamente en parte por Euclides, las demostraciones del cual a menudo se basan ms en la
intuicin geomtrica y la contingencia propia de las entidades con las que trabaja que no en el rigor
axiomtico que se le atribuye, como deja patente desde I.Prop.1, donde se presupone parte de lo que se
quiere demostrar. Ntese adems que las enrevesadas comparaciones de Hamilton entre el lgebra y
el tiempo (por analoga a como la geometra bebe de la intuicin espacial, y que cabria asimilar con la
recta real) estaban fuertemente influidas a su vez por el intuicionismo kantiano, cf. [De98, pp. 33, 65].
Observamos, pues, que esta visin no dista en demasa de la que posteriormente adoptara Hilbert y
el resto del conglomerado matemtico: He indicado que la formulacin de Hilbert es una caracteriza-
cin ajena al mtodo axiomtico en su concepcin clsica. Se basa no en un sector fenomnico deter-
minado del cual obtener unas primeras nociones y propiedades por abstraccin, intuicin, percepcin
sensorial o de cualquier otro tipo [como Euclides], sino del dato previo de una serie de elementos de

9
 Es interesante preguntarse tambin si estas criticas a Euclides (y al intuicionismo
kantiano) por parte de un logicismo temprano guardan alguna relacin con el gradual
descrdito que estaban viviendo ambos debido al nacimiento de las geometras no eu-
clidianas (despus formalizadas y generalizadas en la geometra rienmaniana) o el auge
de la proyectiva.44
En cualquier caso, y llegados hasta aqu (hasta la formalizacin de la matemtica y la
profesionalizacin del matemtico45 de finales del XIX y principios del XX, ordenando
con ello toda la mezcolanza anterior), un lector ingenuo podra preguntarse: y ahora
qu?, ya hemos terminado?, momificamos para siempre estas verdades?.46
Dejando an lado la cuestin de la fundamentacin de las matemticas,47 uno debe
entender que sta nunca48 es definitiva debido a la naturaleza misma de la matemti-
ca; debe entender, digo, que ya hubo otras formalizaciones (quiz menos rigurosas o
generales) antes, y, probablemente, las seguir habiendo despus.49
Por citar algunos ejemplos y opiniones similares al respecto:
La tragedia de este titnico intento de fundamentar todas las matemticas es
que eligieron como punto de partida la teora de conjuntos y, cuando en los aos
1950 y 1960 apareci la teora de categoras como supuesto principio unificador de
todas las matemticas conocidas, decidieron con pleno conocimiento de causa no
seguir ese camino (ese infierno en sus propias palabras) renunciando as a su
propsito inicial. Wikipedia sobre Bourbaki. A pesar de ello, el rigor de su estilo
expositivo se ha convertido en un estndar.

La construccin de los nmeros reales: Few mathematical structures have un-

dergone as many revisions or have been presented in as many guises as the real
numbers. Every generation reexamines the reals in the light of its values and mat-
hematical objectives (comienzo de The real numbers as a wreath product, 1975).
naturaleza cualquiera, a pesar de llamarseles, por tradicin en el terreno geomtrico, puntos, rectas,
planos..., aunque tambin se los podra llamar amor, ley, deshollinador... ([Lo98, p. 120]).
44 Kant haba elevado la mtrica y, con ella, la geometra mtrica euclidiana, al estatuto de forma a priori

de la sensibilidad del sujeto cognoscente. Pero ahora la geometra proyectiva venia a cuestionar estas
consideraciones, en tanto que la nocin de mtrica no resultaba ser un elemento conceptual bsico de
la misma (cf. [Lo98, Geometra proyectiva, pp. 47, 48, 53, 63]). Vase tambin C SAR T OM L PEZ Los
tringulos de luz y el sinttico a priori Cuaderno de Cultura Cientfica.
45 Hago notar que hasta entonces era frecuente un cierto amateurismo, del que Fermat (padre de la teora

de nmeros, copadre con Pascal de las probabilidades, y con Descartes de la geometra analtica) se
erigi como el ms sublime representante, y cuyo ltimo teorema incit a muchos a unirse al carro
(an hoy, como puede comprobarse en Arxiv, ViXra y similares).
46 [Lo98] es muy crtico con esta visin esttica que tiene el gran pblico sobre la matemtica ya desde su

introduccin.
47 Actualmente la mayor parte de la matemtica est formulada en los trminos de la teora de conjun-

tos y, ms en concreto, de ZFC. Que se sepa, nadie ha demostrado su consistencia, lo cual, aunque no
demuestra nada, es un buen indicio para creer en ella, dada su edad (cf. segundo teorema de incom-
pletitud de Gdel).
48 Este nunca puede resultar muy cuestionable, pero de momento no parecen haber indicios de lo con-

trario.
49 No me supone demasiado esfuerzo imaginar un yo del futuro escribiendo un articulo similar en el que

se sustituya la palabra funcin por la funtor.

10
 In most sciences, one generation tears down what another has builf, and what
one has established, the next undoes. In mathematics alone, each generation builds
a new story to the old structure (H. H ANKEL, Die Entwicklung der Mathematik in
den letzten Jahrhunderten, 1884).50

La nocin de esquema y la teora de topos, estrechando an ms los lazos entre

las diferentes disciplinas con la consiguiente reformulacin de lo ya conocido.

La divina funcin
Retomando el primer prrafo de esta salida de tangente, quisiera tratar ahora, co-
mo ya dije, de construir mi propia funcin patolgica. Eso es, al menos, lo que hubiese
querido hacer en su da, cuando no era consciente de lo matemticamente ridculo de
mi artfice, y que, por ejemplo, es superado con creces por las curvas de Peano y Hilbert,
que me eran desconocidas por aquel entonces; estoy hablando, en efecto, de recubrir el
plano (y, ms en general, un espacio n-dimensional) con una curva. Debido, reitero, a
que he perdido todo inters en esta vieja idea, la describir a continuacin slo sucinta-
mente por el valor biogrfico/personal que tiene.51
La idea se inspiraba fuertemente en la funcin de Dirichlet, por lo que, tras dar la
definicin formal de funcin (e ilustrarla con un ejemplo sencillo: la parbola descri-
ta en un plano altura-tiempo por una pelota), tena pensado definir tambin conjunto
denso y hacer notar que Q e I lo son sobre R. Ahora s, defina la funcin de Dirichlet y
haca notar que, como Q e I eran densos sobre R, la representacin grfica de sta (en
la practica, dos rectas, pues aunque estuviesen agujereadas por infinitos puntos, por
ms pequeo que fuera el entorno tomado, debido a la densidad, la distancia entre uno
y otro seguira siendo infinitesimal, cf. Tio Petros y su elaborado dibujo) parecera con-
trariar la definicin de funcin (que hay una nica imagen para cada preeimagen). A
este respecto, anot: las imgenes no son simultaneas, la pelota no est en dos lugares
distintos a un mismo tiempo. Pero, perceptualmente, s.52
A continuacin, introduca el concepto de hiperreal que haba trabajado recientemen-
te en mi TR de bachiller (sin demasiada profundidad, por lo que es de preveer que
lo que diga en adelante contenga errores graves), y aada a la funcin de Dirichlet
una tercera linea: f ( x ) = c, con c distinto de los otros dos valores, x R \ R el
conjunto de los hiperreales puros.53 Estos tres conjuntos son densos sobre R , por lo
50 Ledo de New Directions in the Philosophy of Mathematics, donde adems se cuestiona parcialmente la
validez de estas palabras en base a una serie de contraejemplos; a saber, los diferentes cambios de pa-
radigma que se han vivido, algunos ya comentados aqu. A mi parecer, el apunte de Judith V. Grabiner
es interesante pero excesivo.
51 No es la primera vez que me ensimismo con alguna de estas graciosas funciones, cf. Falseando a Cortazar:

Carta a Julio. Niafre N.o0 (link).

52 Cf. llegan los 48 fps. As, en el ejemplo dado, estaramos viendo la pelota en ambos sitios a la vez con

n fps.
53 Lo de puro es por analoga con los imaginarios. Recurdese que C w R2 y, por tanto, podemos ex-

presar z C como z = ( a, b) := a + ib, con a, b R, de modo que llamamos imaginario puro a un

complejo con a = 0. Cambiando C por R , complejo por hiperreal, e i la unidad imaginaria por un

11
que obtendra una funcin similar a la de Dirichlet pero con tres rectas. A continua-
cin, e imitando la definicin de hiperreal puro, defina un infinitesimal de orden 2:
0 < < x, x R \ R. Por induccin defina asimismo los infinitesimales de orden n
y la correspondiente ampliacin de la funcin de Dirichlet. Con ello obtena una fun-
cin que se representaba grficamente por n N rectas, lo que, aunque no recubre
el plano (Q es numerable, pero R no), nuevamente por la densidad de la recta, lo pa-
recera, siendo as ubicuo en percepcin. Firmaba finalmente con un cndido: He
creado a Dios o, ms bien, y a modo meramente perceptual, una caracterstica de ste
(la ubicuidad) en una pura quimera pseudomatemtica.54

Referencias
[Co04] L EO C ORRY, Modern Algebra and the Rise of Mathematical Structures. Springer
Basel AG, 2nd ed., 2004. (libgen)

[De98] J. W. R ICHARD D EDEKIND, Qu son y para qu sirven los nmeros? (y otros

escritos sobre los fundamentos de la matemtica). Alianza Editorial, 1998. (in-
troduccin de Ferreirs)

[De64] J. W. R ICHARD D EDEKIND, ber die Theorie der ganzen algebraischen Zahlen,
Mit einem Geleitwort von B. van der Waerden. Braunschweig: Vieweg, 1964.
(libgen)

[Dy72] F REEMAN J. D YSON Missed opportunities Bull. Amer. Math. Soc., Vol. 78,
No. 5 (1972), pp. 635-652. (online)

[Fe07] J. M. F ERREIRS D OMNGUEZ, Labyrinth of Thought: A History of Set Theory

and Its Role in Modern Mathematics. Basilea, Suiza. Birkhauser Verlag Ag,
2007. (libgen)

[Hi70] D AVID H ILBERT, Gesammelte Abhandlungen: Band III. Springer, 1970 (libgen)

[HiGlHi05] J ACK H IRSHLEIFER , A MIHAI G LAZER , D AVID H IRSHLEIFER, Price Theory

and Applications: Decisions, Markets, and Information. Cambridge University
Press, 2005. (libgen)

[Iv] C ARLOS I VORRA C ASTILLO, Anlisis No Estndar. (online)

[Ka07] V ICTOR J. K ATZ, The Mathematics of Egypt, Mesopotamia, China, India, and
Islam: A Sourcebook. Princeton University Press, 2007. (libgen)
infinitsimo, lo anterior vale igual.
54 Para rellenar el espacio se me antoj que podra utilizar conjuntos de cardinal transfinita mayor, pero
lo cierto es que me parece que estos hiperreales de orden n ya lo son. Podra, tal vez, considerar los
conjuntos P ( X ), pero creo que ya me he evadido bastante de la matemtica seria con lo aqu expuesto
como para seguir con esta farsa.

12
[Ke72] H. C. K ENNEDY, Who Discovered Boyers Law? The American Mathematical
Monthly, Vol. 79, No. 1 (Jan. 1972), pp. 66-67. Mathematical Association of
America. (jstor)

[Lo98] J AVIER D E L ORENZO M ARTNEZ. La matemtica: de sus fundamentos y crisis.

Tecnos, 1998.

[Re04] L UIS C ORNELIO R ECALDE, La lgica de los nmeros infinitos: un acercamiento

histrico. Matemticas: Enseanza Universitaria, Vol. XII, No. 1. (Jun. 2004).
Escuela Regional de Matemticas. (online)

[Pe04] R AMN P REZ PAREJO , La crisis de la autora: desde la muerte del autor de
Barthes al renacimiento de anonimia en Internet. Espculo: Revista de Estudios
Literarios, No. 26, 2004. (online)

[Pu12] T. K. P UTTASWAMY, Mathematical Achievements of Pre-modern Indian Mathe-

maticians. Elsevier, 2012 (libgen)

[Se95] J. M. PARRA S ERRA , Llgebra vectorial. Una histria que ens cal reescriure.
Butllet de la Societat Catalana de Matemtiques, Vol. 10 (Jul. 1995), pp. 75-
120. (online)

[Si85] PARMANAND S INGH, The So-called Fibonacci numbers in ancient and medieval
India. Historia Mathematica, Vol. 12, No. 3 (1985), pp. 22944. (online)

[Sm17] C RAIG S MORYNSKI, MVT: A Most Valuable Theorem. Springer International

Publishing, 2017. (libgen)

[SmKa11] D AVID E UGENE S MITH , L OUIS C HARLES K ARPINSKI The Hindu-Arabic Nu-
merals The Athenum Press, 1911 (gutenberg)

[St80] S. M. S TIGLER, Stiglers law of eponymy. Transactions of the New York Aca-
demy of Sciences, Series II, Vol. 39 (Science and social structure: a festschrift
for Robert K. Merton, Ap. 1980), pp. 147157. Disponible en: S. M. S TIGLER,
Statistics on the table. Harvard University Press, 1999. (libgen)

[Str98] J R . P HILIP D. S TRAFFIN, Liu Hui and the First Golden Age of Chinese Mathema-
tics. Mathematics Magazine, Vol. 71, No. 3. (Jun. 1998), pp. 163-181. (online)

[To13] C SAR T OM L PEZ, Bohr: cien aos de estados estacionarios. An. Qum,
Vo. 109, No. 3 (2013), pp. 188-192. (online)

[YaSh87] L I YAN , D U S HIRAN, Chinese Mathematics: a Concise History. Clarendon

Press, 1987 (libgen)

13