Académique Documents
Professionnel Documents
Culture Documents
2004
Oscar Gonzlez Gilmas
EL CLCULO INFINITESIMAL LEIBNICIANO: UNA SNTESIS DE LAS
PERSPECTIVAS DE BRUNSCHVICG E ISHIGURO
Signos Filosficos, enero-junio, ao/vol. VI, nmero 011
Universidad Autnoma Metropolitana - Iztapalapa
Distrito Federal, Mxico
pp. 97-120
El clculo infinitesimal...
Signos Filosficos, vol. VI, nm. 11, enero-junio, 2004, pp. 97-120
egn Yvon Belaval, el Nova Methodus pro Maximis et Minimis que public
Leibniz en 1684 fue el resultado de la iluminacin sbita que l haba tenido al leer
*
Profesor del Departamento de Lgica y Filosofa de la Ciencia, Universidad del Pas Vasco,
gilmas@euskalnet.net
RECEPCIN: 25/01/03
97
ACEPTACIN: 23/07/03
En 1993, Eberhard Konobloch public la edicin crtica de un texto que Leibniz dej en Pars en
1676 y que se crea perdido. Ese texto que Brunschvicg no conoci, se titula Quadratura arithmetica
circuli ellipseos et hyperbolae cujus corollarium est trigonometria sine tabulis (VandenhoeckRuprecht, Gttingen, 1993) y en l Leibniz ofrece una perspectiva novedosa sobre esta cuestin.
Entre otras cosas corrige y pretende demostrar con rigor el mtodo de los indivisibles, haciendo
ver la equivalencia existente entre un mtodo indirecto de clculo de cuadraturas y otro directo que
utiliza los infinitamente pequeos. Esa idea de equivalencia constituye para Leibniz una slida
justificacin del clculo diferencial que trata de elaborar por entonces. Cfr., Parmentier, 2001: 53-54.
3
4
98
El clculo infinitesimal...
99
del cono y del cilindro a partir del tringulo y del paralelogramo, y teniendo en
cuenta que la superficie del paralelogramo es el doble de la del tringulo, supuestas la misma base y altura, Cavalieri observ la anomala o desproporcin de que
el volumen del cono fuera un tercio del cilindro. Para corregir esta anomala y
buscar la proporcin entre los dos slidos y los elementos que los generan, propuso que stos fueran considerados, no como el resultado de un corte que siguiera
el eje del cono o del cilindro, sino de otro tipo de corte, por planos equidistantes y
paralelos a la base. Ello implicaba el recurso a lo infinitamente pequeo, o a lo
indivisible, conforme al espritu arquimediano.
La nueva tcnica de clculo consista en cuadrar o cubicar, partiendo de
esos elementos caractersticos que se obtienen en las secciones paralelas a la
base. Esta tcnica tiene que ver de manera indirecta con la integracin, sin llegar
a serlo todava, por que establece una relacin entre magnitudes desconocidas y
magnitudes conocidas aunque no determina una magnitud total respecto a las
partes geomtricas elementales que componen la figura. Como la suma de los
elementos infinitamente pequeos de la figura no poda ser expresada de forma
matemtica, por carecer del instrumental analtico preciso, dicha tcnica, pese a
situarse, al principio, en el mbito de lo continuo, en la prctica era reemplazada
por la tcnica de mostrar geomtricamente la relacin entre dos sumas infinitas
de elementos finitos en nmero ilimitado, la cual s poda ser expresada matemticamente mediante figuras.7
La dificultad matemtica surga para Cavalieri desde el inicio del procedimiento analtico, porque ni las figuras ni los cuerpos, as concebidos, eran una
yuxtaposicin de planos, ni los planos de lneas, ni las lneas de puntos. En este
sentido, los elementos de las figuras o de los cuerpos eran indivisibles. Como
los principios de la geometra de Euclides eran los puntos, las rectas, las lneas
y los planos, la nueva geometra de los indivisibles se encontraba con una importante dificultad conceptual.
Veamos el problema general con un ejemplo. La razn entre el cono y el
crculo poda hallarse si se poda encontrar la razn entre la suma (agregado)
de todos los crculos decrecientes en el cono (infinitos en nmero) y la suma de
todos los crculos iguales del cilindro (cuyo nmero es tambin infinito). En el
caso del cono, estos crculos son decrecientes desde la base hasta el vrtice y
forman una progresin aritmtica, la de los cuadrados de los trminos. En el caso
7
100
El clculo infinitesimal...
de otros cuerpos se obtendran progresiones diferentes. El mtodo general consista en establecer la relacin entre esta suma de trminos crecientes o decrecientes y la suma de los trminos iguales que forman la figura uniforme y
conocida de la misma base y altura.8
Este mtodo, a pesar de recurrir en principio al infinito, en ltima instancia lo
eliminaba. Sin embargo, se mantena en el mbito de la intuicin geomtrica y de
la representacin de lo continuo. En definitiva, la figura era presentada como una
figura completa, compuesta por esos elementos indivisibles.
El nudo del problema terico generado por la geometra de los indivisibles
consista en el paso de entidades unidimensionales a entidades bidimensionales, al
sustituir un elemento lineal por un elemento superficial: para mayor complicacin,
ste ltimo poda tener forma cuadrada, circular, etctera, segn se tratara de
conos, pirmides, etctera; pero el paso determinante era la sustitucin de una
lnea por una superficie. Por consiguiente, al considerar un rea como una suma
de rectas se estaba razonando entorno a figuras finitas del espacio sobre la base
de considerarlas formadas por elementos infinitamente pequeos.
Pascal advirti que este recurso a lo infinitamente pequeo estaba en la base
del mtodo de Cavalieri. Al estudiar a fondo la cicloide (roulette) y sus problemas derivados (naturaleza de la curva, cuadratura total de su rea, volumen,
centro de gravedad, etctera), Pascal fue el primero que, segn Brunschvicg,
introdujo los principios bsicos del anlisis infinitesimal, a pesar de que en sus
clculos no manejaba de forma explcita la nocin de infinito. Para ello, determin, de manera rigurosa, los lmites de las sumas de un nmero infinitamente grande de cantidades infinitamente pequeas, resolviendo a la vez los problemas de
los diferentes tipos de integracin a base de calcular volmenes geomtricos. La
nocin pascaliana equivalente a la de integral vena dada por la suma de lneas,
planos y senos, y el mtodo de integracin tena su equivalente en las sumas
piramidales.9 Su mtodo, directo y geomtrico, le dispensaba de la necesidad de
buscar un algoritmo, tarea sta que ocup especficamente a Leibniz.
En efecto, con ocasin de la lectura de uno de los tratados geomtricos de
Pascal, Leibniz tuvo una primera intuicin de su concepto de diferencial, de manera concreta, en la figura del tringulo caracterstico, supuesto infinitamente
101
pequeo, que encabeza la figura del lema del Trait des sinus du quart de
cercle. El lema dice as:
Lemme
Soit ABC un quart de cercle, dont le rayon AB soit considre comme axe, et le
rayon perpendiculaire AC comme base; soit D un point quelconque dans
larc, duquel soit men le sinus DI sur le rayon AC; la touchante DE, dans
laquelle soient pris les points E o lon voudra, do soient menes les
perpendiculaires ER sur le rayon AC; je dis que le rectangle compris du sinus
DI et de la touchante EE, est egale au rectangle compris de la portion de la
base (enferme entre les paralleles) et le rayon AB.
(Demostration) Car le rayon AD est au sinus DI
10
Siendo ABC un cuarto del crculo cuyo radio se considera el eje, y el radio perpendicular AC la
base; siendo D un punto cualquiera del arco, desde el cual se traza el seno DI sobre el radio AC;
siendo tambin la tangente DE, en la que se toman, as mismo, donde se quiera los puntos E, a partir
de los cuales se trazan las perpendiculares ER sobre el radio AC; digo que el rectngulo comprendido
entre el seno DI y la tangente EE es igual al rectngulo comprendido por la porcin de la base
(comprendida entre las paralelas) y el radio AB. (Demostracin) Porque el radio AD es al seno DI
como EE es a RR o EK, lo cual es claro porque los tringulos rectngulos DIA, EKE son
semejantes y porque el ngulo EEK o EDI es igual al ngulo DAI (la traduccin es ma).
102
El clculo infinitesimal...
La consideracin que Leibniz hizo del tringulo caracterstico supuso su primer paso ms all
del mtodo vulgar de los indivisibles. Desde el punto de vista terico, esa consideracin permite
restablecer la homogeneidad, rota en apariencia por los supuestos de Cavalieri, entre los elementos
de las sumas y las sumas mismas (la traduccin es ma).
103
Ello implica que, con respecto al mbito de lo infinitamente pequeo, las relaciones se conservan al pasar de lo finito a lo infinitesimal, precisamente porque se
trata con magnitudes homogneas. El tipo de similitud que se concibe no depende
ya, por tanto, de que las magnitudes estn dadas, y de esa manera lo exacto entra
con pleno derecho en el mbito de lo infinitesimal.
Algunos de los resultados obtenidos por esta tcnica inventada por Leibniz
ya eran conocidos por Christian Huygens, y haban sido expuestos cinco aos
antes mediante el mtodo de las tangentes de Isaac Barrow (1670). Pero Leibniz
fue ms all, al dejar abierta la posibilidad de que las diferenciales generaran la
suma total (o integral), a la vez que poda darse el paso inverso. Esta posibilidad
ya haba sido anunciada en el problema conocido como de Beaune, o problema
de la inversa de las tangentes, que guarda analoga con los problemas clsicos de
cubicacin y cuadraturas.
Pero a Leibniz no le bastaba con poder obtener resultados, fueran nuevos o
ya conocidos, mediante su nuevo mtodo. Estas nuevas tcnicas matemticas
haban de ser justificadas. En realidad, deban obtener un estatuto lgico concreto dentro del proyecto general leibniciano de la Caracterstica Universal. Al
tratar de afrontar esta exigencia Leibniz fue mucho ms all en el desarrollo de
sus concepciones, inventando un autntico procedimiento de clculo, basado en
un algoritmo combinatorio. En esto radica la autntica aportacin de Leibniz,
como veremos a continuacin.
La geometra infinitesimal leibniciana pudo consolidarse gracias a su gran generalidad y simplicidad, y no slo por su capacidad para resolver problemas concretos, fuera de matemticas o de fsica. Para ello, Leibniz no slo tuvo que
afrontar problemas matemticos, sino tambin importantes cuestiones filosficas.
104
El clculo infinitesimal...
Carta de Leibniz a Tournemire en 1714, en G.W. Leibnitii Opera Omnia , ed. L. Dutens, vol. III,
p. 442. En lugar de estimar las magnitudes infinitesimales como 0, tal como hacen Fermat, Descartes, e incluso Newton [...], es necesario suponer que esas magnitudes son algo, que difieren entre
s y que en el nuevo anlisis pueden sealarse de diferentes maneras [...] Yo no las considero, por
consiguiente, como nada, ni siquiera como infinitamente pequeas en un sentido riguroso, sino como
cantidades incomparablemente o indefinidamente pequeas, y ms que una magnitud dada, o
asignable, inferiores a otras de las que son las diferencias, lo cual hace que el error sea menor que
ningn error asignable o dado, y en consecuencia sea nulo (la traduccin es ma).
105
ordenadas (indivisibles de Cavalieri), sea mediante la induccin de series de nmeros (Juan Wallis).
Este descubrimiento leibniciano de un anlisis matemtico general, que se
sintetiza en el algoritmo diferencial del Nova Methodus, se logr en primer lugar
a base de superar diversas dificultades tcnicas, en parte gracias a la escuela
inglesa de Barrow, cuyos resultados fueron mejorados. Por otro lado, al operar
con series infinitas Leibniz retom las ideas bsicas de Pascal (1665) acerca de
las relaciones entre los clculos aritmticos y el clculo de los indivisibles.
Con su artculo Nova Methodus (1684), gestado desde su poca de Pars
(1675), y gracias a sus investigaciones acerca del tringulo caracterstico, Leibniz
propuso un nuevo algoritmo matemtico para tratar de manera conjunta problemas muy diversos. No obstante, es importante tener presente que dicho texto
forma un cuerpo nico con los principios metafsicos del leibnicianismo, y que es
con esa mirada como debemos acercarnos a sus textos matemticos, cuestin
que tratar de perfilar en el ltimo apartado.
Pero antes de pasar a ello y de estudiar los comentarios de Ishiguro, es
importante tener presente que el artculo donde Leibniz desarroll los principios
fundamentales del clculo diferencial, hoy en da tan famoso, en su poca fue
acogido con una indiferencia generalizada y no fue comprendido por sus contemporneos. En ello influyeron varios factores: por un lado, la presentacin poco
intuitiva y puramente combinatoria elegida por Leibniz; y por otra parte, la propia
dificultad del nuevo concepto de diferencial, as como, al parecer, una serie de
accidentes tipogrficos, y otros. Todo ello dio lugar a un texto de difcil inteleccin. En la medida en que este texto no deba superar la extensin de un artculo,
Leibniz no poda sino ocultar las races de su nuevo mtodo. Sea como fuere,
slo lectores como los hermanos Bernouilli (a partir de 1687), y posteriormente Guillaume F. A. M. de LHpital y Pierre Varignon llegaron a comprender este
artculo y las memorias posteriores de Leibniz. Hasta el mismo Huygens no lleg
a entender, de forma plena, el proyecto leibniciano.
Las investigaciones de Yvon Belaval sobre el papel del clculo infinitesimal
en el sistema leibniciano le hacen pensar, siguiendo a Dietrich Mahnke y a
Brunschvicg, que las races del algoritmo diferencial se remontan a los primeros
trabajos de Leibniz y, en concreto, a la Dissertatio de Arte Combinatoria (1666),
en la que ya se apuntaba su proyecto de una Caracterstica Universal. En esa
memoria juvenil Leibniz afirmaba que las matemticas y su estudio eran un medio para progresar en el arte de razonar, el cual depende de la lgica, es decir, de
106
El clculo infinitesimal...
107
sino uno de sus primeros resultados, la representa de alguna manera mediante el uso de la magnitud,
es decir, el nmero, la figura, el peso [...]. La superioridad de mi clculo infinitesimal proviene de la
lgica. Sin renegar nunca de esa lgica, escribe Belaval comentando ese texto, Leibniz aspira por el
contrario a perfeccionarla. La elaboracin de Arte Combinatoria le orienta hacia la Caracterstica. Y
Len Brunsvicg lo explica muy bien: La base histrica del leibnizianismo debe buscarse all donde la
caracterstica mejor ha manifestado de forma inmediata su vitalidad y fecundidad, es decir, en el
establecimiento del algoritmo diferencial. Dietrich Mahnke es ms preciso, [continua Belaval]: Y
aqu y ahora, ese pensamiento sobre la Caracterstica combinatoria se convierte en el origen de las
ideas leibnizianas sobre, por una parte, el completo logicismo de las matemticas, y por otra, sobre
la creacin de una matemtica simblica al lado de la matemtica nacida del logicismo. [Para
finalizar con una cita de Couturat]: En eso consiste el mrito esencial de la invencin de Leibniz y
su principal ventaja sobre el mtodo de fluxiones de Newton. Por lo tanto, puede decirse que el
clculo infinitesimal es un eslabn, el mejor logrado e ilustre de la Caracterstica Universal (la
traduccin es ma).
108
El clculo infinitesimal...
revelador The Analyst, or, A discourse addressed to an infide (1734), aunque encuentre ya prefigurado en su perspectiva epistemolgica en su Treatise concerning the Principles of Human Knowledge
(1710, segunda edicin de1734 y en la que se supone que ese opsculo iba a constituir la cuarta
parte). El texto Of infinites al que me refiero a continuacin est en la edicin de Luce y Jessop, vol.
IV, pp. 235-238. Tambin en Berkeley, 1982, que es la que cito.
109
110
El clculo infinitesimal...
Berkeley, 1982: 48. Es dificil pensar que alguien que hable de lneas infinitamente pequeas no
quiera decir nada con ello, pero si se refiere a cantidades finitas reales est cayendo en dificultades
inextricables (la traduccin es ma).
17
Pero si las lneas son divisibles al infinito, yo me pregunto cmo puede existir un punto? O, si
se admite la existencia de puntos, me pregunto cmo se puede pensar que sea la misma cosa aadir
un punto indivisible y aadir por ejemplo la differentia de una ordenada en una parbola, diferencia
que es por poco un punto ya que como tal es divisible en un nmero infinito de cantidades reales,
cada una de las cuales puede ser a su vez subdividida in infinitum y as a seguidamente, al menos si
creemos al Sr. Leibniz (la traduccin es ma).
111
112
El clculo infinitesimal...
rigueur doit avoir sa source dans lintermin, sans quoi je ne vois pas des
moyens de trouver un fondement le discerner du fini. Cest pourquoi a fin de
eviter ces subtilits, jai cru que pour rendre le raisonnement sensible tout
le monde, il suffisait dexpliquer ici, linfini par lincomparable, cest dire
de concevoir des quantits incomparablement plus grandes ou plus petites
que les notres; ce qui fournit autant quon veut de degrs dincomparables.
Puisque ce qui est incomparablement plus petit, entre inutilement en ligne de
compte legard de celui qui est incomparablement plus grand que lui.19
Hay que tener presente que este texto es del ao 1702, y apunta de manera
ya consolidada a la idea de que cuando habla de un infinitesimal hay que tener
presente que Leibniz est pensando en una magnitud variable y no una magnitud
fija. La evolucin de esa nocin es manifiesta si nos retrotraemos a su primer texto
acerca del clculo de 1684, el Nova Methodus, en el que todava utilizaba un
trmino usual en la poca, infinite parva, para designar el de infinitesimal. En ese
texto20 describa la tangente como una lnea recta entre dos puntos a una distancia
infinitamente pequea de una curva, pero en esa descripcin la nocin de diferencial estaba definida sin la ayuda del infinitesimal.21 Pero nos dice Ishiguro que a
partir de 1695, en la ya aludida carta a Nieuwentijt, Leibniz da a entender que
los infinitsimos son en realidad entidades tericas y de hecho da pruebas de
que los utiliza como tales. Por ejemplo, maneja los infinitsimos en el caso de
los segmentos infinitamente pequeos de una lnea, as como para sus cuadrados
19
1961./Abrev. (G.M.) G.M. IV. pg. 91. [...] he querido mostrar que no es necesario hacer depender
el anlisis matemtico de controversias metafsicas, y asegurar que no hay en la naturaleza lneas
infinitamente pequeas en un sentido riguroso o (en) comparacin con las nuestras [...]; por otro
lado, siempre me ha parecido que el infinito tomado rigurosamente debe tener su origen en lo inacabado, sin lo cual no veo otros medios para encontrar un fundamento para discernirlo de lo finito.
Por eso, para evitar esas sutilezas y hacer el razonamiento accesible a todo el mundo, bastaba con
explicar aqu el infinito por lo incomparable, es decir, mediante la concepcin de cantidades incomparablemente ms grandes o ms pequeas que las nuestras; esto proporciona tantos grados de
incomparables como se quiera. Ya que lo que es incomparablemente ms pequeo, no se toma en
cuenta en relacin de lo que es incomparablemente ms grande que l (la traduccin es ma).
20
21
113
114
El clculo infinitesimal...
Un ejemplo de esto puede encontrarse en una carta a la princesa Elisabeth de 1678, en la que
115
[...] es necesario considerar [...] que esos incomparables comunes, incluso sin haberlos fijado o
116
El clculo infinitesimal...
Los infinitos o los infinitamente pequeos no significan mas que se pueden tomar las magnitudes tan grandes o pequeas como se quiera, mostrando as que un error puede ser menor que el que
ya se ha asignado (la traduccin es ma).
28
Cfr., Ishiguro, 1986: 189.
117
infinito no deba ser tomado en el anlisis la rigueur. Por ello, utiliz analogas para explicar el infinito por la nocin de incomparable, haciendo depender su
comprensin de lo imaginario y hacer visible el razonamiento. Belaval escribe:
Quant limagerie de grain de sable et de la Terre, de la Terre et du firmament,
etc..., elle ne relve que trs accessoirement dune justification psychologiste;
il sagit chez Leibniz et combien dautres inventeurs! de la revlation,
longuement prpare, dune lumire subite le triangle caracteristique
dans un brouillon de Pascal, dune dcouverte qui, non formule en sa
vraie langue, la langue des calculs, sannonce par quelque figure
philosophico-rhetorica (G.M.V. 385). Reste limagerie des incomparables
soulevait plus dobjections quelle nen dissipait. Il faudra plus dun sicle
pour les ressoudre el passer de lincomparable la fonction (dont Leibniz a
conu lbauche) et la derive. Aprs Varignon (6), Euler (7), vient
Langrage; un de ses titres rsume le sicle: Thorie des fonctions analytiques
contenant les principes du calcul differentiel, dgags de toute consideration
dinfinement petits, devanouissants, de limites et rduits lanalyse
algbrique de quantits finies.29 (Belaval, 1986: 44-45)
Los matemticos del siglo XVIII, entre ellos Jean Le Rond DAlambert o
Lazare Carnot, reprocharon a Leibniz el peligro que encarna el uso de la nocin
de incomparable para explicar lo infinitesimal (o infinitamente pequeo). El problema para muchos matemticos fue que lo infinitesimal no viniera precedido por
29
La imaginera del grano de arena y de la Tierra, de la Tierra y del firmamento, etc., es una
imaginera que no responde mas que muy accesoriamente a una justificacin psicologista; se trata en
Leibniz como en tantos otros inventores de una revelacin que ha sido preparada con mucha
antelacin, de una luz sbita el triangulo caracterstico en un borrador de Pascal, de un
descubrimiento que al no haberse formulado en su verdadera lengua, la lengua de los clculos, se
expresa mediante alguna figura filosfico-retrica (G.M. 385). Por lo dems, esa imaginera de los
incomparables planteaba ms objeciones que las que resolva. Har falta ms de un siglo para
resolverlas y pasar de lo incomparable a la funcin (que Leibniz ya esboz) y a la derivada. Despus
de Varignon y Euler, viene Lagrange; el ttulo de una de sus obras resume el siglo: Teora de las
funciones analticas conteniendo los principios del clculo diferencial, eliminados de toda consideracin relativa a los infinitamente pequeos y lmites, y reducidos al anlisis algebraico de cantidades finitas (la traduccin es ma).
118
El clculo infinitesimal...
una definicin con lo cual el clculo manifestaba una cierta ambigedad, ya que
poda ser tanto un mtodo de aproximacin como un clculo riguroso. Tratar por
ltimo cmo se puede resolver esta objecin de gran inters, sintetizando las
posturas de Bruschvicg y de Ishiguro.
Como ya seal, el anlisis leibniciano no est sometido a controversias
metafsicas al estilo de las de Berkeley porque el nuevo tratamiento del infinito, y
no de la infinitud, que l propone siguiendo el estilo de Arqumedes, se concreta
en un algoritmo que presupone siempre el principio de continuidad. De esta
manera, en los clculos exactos del clculo diferencial se expresa siempre un
permanente movimiento, lo cual no equivale evidentemente a decir que esas
determinaciones infinitesimales sean fijas. Los signos y las relaciones matemticas no poseen ya un referente substancial, de modo que el anlisis del infinito
puede penetrar y expresar tambin, mediante el clculo, las leyes de la naturaleza. Tal es el caso de la dinmica leibniciana, en la que se concibe el movimiento
como proceso y no como simple movimiento local.
Por tanto argumenta Belaval, lo infinitesimal posibilita una nueva conceptualizacin del punto como lnea infinite parva seu evanescens y del reposo como
motus evanescens. Es decir, el reposo es un caso particular de la ley general,
como en el caso estrictamente matemtico la igualdad es un caso particular de la
desigualdad. Todo ello le permite tambin rectificar las leyes de choque cartesianas, ya que gracias a los infinitesimales se pueden concebir los cuerpos duros
como elsticos y, por tanto, como deformables.30
El infinito actual est presente en la materia, en el tiempo, en el movimiento,
y en esa medida el conocimiento matemtico est orientado a consumarse en una
fsica, como afirm Leibniz en una carta dirigida a Huygens,31 ya que su destino
natural es ocuparse de lo dinmico. Conforme a estas propuestas, la fsica puede
apropiarse de los conceptos del anlisis infinitesimal y comunicarles su sentido
expresivo, como dice Granger en introduisant limage des tres comme foyers
dinamiques. 32
En definitiva, la Caracterstica Universal tiene como expresin ms lograda
el clculo infinitesimal. El nuevo clculo, en tanto forma algortmica, es ptimo,
30
31
32
Granger, 1981: 6. Introduciendo la imagen de los seres como centros dinmicos (la traduccin
es ma).
119
BIBLIOGRAFA:
Belaval, Yvon, (1986), La place de Nova Methodus dans le systme leibnizien, en Studia
Leibnitiana, Sonderheft, nm. 14, pp. 38-48.
__________, (1970), Leibniz critique de Descartes, Pars, Gallimard.
Berkeley, Georges, (1982), Of infinites, en Revue Philosophique, nm.1, pp. 46-57.
Brunschvicg, Leon, (1972), Les tapes de la philosophie mathmatique, Pars, Blanchard.
Granger, Giles-Gaston, (1981), Philosophie et mathmatiques leibniziennes, en Revue de
Mtaphysique et de Morale, vol. I, pp. 6-15.
Ishiguro, Hide, (1986), La notion dite confuse de l infinitesimal chez Leibniz, en Studia
Leibnitiana, Sonderheft, nm. 14, pp. 183-196.
Koyr, Alexandre, (1977), Estudios de Historia del pensamiento cientfico, Madrid, Siglo XXI.
Leibniz, Gottfried Wilhelm, (1961), Leibnizens matematische Schriften, 7 vols., Hildesheim,
Gerhardt.
__________, (1768), Leibnitii Opera Omnia, edicin de L. Dutens, Ginebra.
__________, (1962),Der Briefwechsel von G.W. Leibniz mit Mathematikern, Hildseheim,
Gerhardt.
__________, (1987), Nova methodus / Un nuevo mtodo para los mximos y los mnimos,
as como para las tangentes, que no ser detiene ante las cantidades fraccionarias o
irracionales, y es un singular gnero de clculo para estos problemas, Madrid, Tecnos.
__________, (1989), Filosofa para princesas, Madrid, Alianza.
Parmentier, Marc, (2001), Dmonstrations et infiniment petits dans la Quadratura arthmetica
de Leibniz, en Revue dHistoire des Sciences, vol. LIV, nm. 3, pp. 275-289.
Pascal, Blaise, (1954), Oeuvres Completes, Ed. Chevalier, Pars, La Pliade.
120