Introduccin

La MATEMTICA ha sido parte integral de la formacin intelectual y el patrimonio del

hombre durante al menos veinticinco aos. Durante este largo perodo de tiempo, sin
embargo, no se ha llegado a un acuerdo general sobre la naturaleza del tema, ni tampoco
se ha dado una definicin universalmente aceptable.

A partir de la observacin de la naturaleza, los antiguos babilonios y egipcios

construyeron un cuerpo de conocimientos matemticos que utilizaron para hacer ms
observaciones. Tales quizs introdujo mtodos deductivos; ciertamente la matemtica de
los primeros pitagricos era de carcter deductivo. Los pitagricos y Platn observaron
que las conclusiones a las que llegaron deductivamente estaban de acuerdo en una me-
dida notable con los resultados de la observacin y la inferencia inductiva. Incapaces de
dar cuenta de lo contrario para este acuerdo, fueron llevados a considerar la matemtica
como el estudio de la realidad ltima, eterna, inherente a la naturaleza y al universo, ms
que como una rama de la lgica o una herramienta de la ciencia y la tecnologa. Una
comprensin de los principios matemticos, decidieron, debe preceder a cualquier inter-
pretacin vlida de la experiencia. Esta opinin se refleja en el dictamen pitagrico que
todo es nmero, y en la aseveracin atribuida a Platn que Dios siempre juega a ser
gemetra.

Posteriormente, los escpticos griegos cuestionaron la posibilidad de alcanzar

cualquier conocimiento de tal carcter absoluto, ya sea por la razn o por la experiencia.
Sin embargo, la ciencia aristotlica ha demostrado que, por medio de la observacin y la
lgica, se puede llegar al menos a una representacin coherente de los fenmenos, y, por
consiguiente, la matemtica se convierte en un patrn idealizado de relaciones deducti-
vas. Derivado de los postulados consistentes con los resultados de la induccin a partir
de la observacin, se la encontr til en la interpretacin de la naturaleza.

La visin escolstica, que prevaleci durante la Edad Media, fue que el universo
es "ordenado" y simplemente inteligible. En el siglo XIV pareca bastante claro que las
perspectivas cualitativas peripatticas del movimiento y la variacin podan ser mejor
reemplazadas por un estudio cuantitativo. Estos dos conceptos, con un renacimiento del
inters por las visiones platnicas, produjeron en los siglos XV y XVI una renovacin de
la conviccin de que la matemtica es en cierto modo independiente del conocimiento
experiencial e intuitivo y anterior a l. Tal conviccin est marcada en el pensamiento de
Nicols de Cusa, Kepler y Galileo, y en cierta medida aparece en el de Leonardo da Vin-
ci.

Esta concepcin de la matemtica como base de la arquitectura del universo se

modific a su vez en los siglos XVI y XVII. En matemticas, la causa del cambio fue el
uso menos crtico y ms prctico del lgebra que haba sido adoptado por los rabes, a
principios del siglo XIII, y luego se desarroll en Italia. En las ciencias naturales, el cam-
bio se debi al aumento del mtodo experimental. La certidumbre de las matemticas de
la que Descartes, Boyle y otros hablaron se interpret as como una consistencia que se
encuentra ms bien en el carcter de su razonamiento que en cualquier necesidad onto-
lgica que presentara a priori.

El centrar la atencin en los procedimientos y no en las bases de las matemticas

se enfatiz en el siglo XVIII por un extraordinario xito en la aplicacin del clculo a
problemas cientficos y matemticos. Una actitud ms crtica fue inaugurada en el siglo
XIX por los persistentes esfuerzos por encontrar un fundamento satisfactorio para las
concepciones involucradas en este nuevo anlisis de lo infinito. Se restableci el rigor
matemtico y se descubri que los postulados de Euclides no son juicios sintticos cate-
gricos, como sostena Kant, sino simples suposiciones. Se ha descubierto que tales pre-
misas pueden ser elegidas de forma tan libre y arbitraria -sujeto a la condicin de que
sean mutuamente compatibles- que se les puede permitir contradecir la aparente eviden-
cia de los sentidos. Hacia finales del siglo, como resultado de la tendencia aritmetizadora
en el anlisis matemtico, se descubri adems que el concepto de infinito, que trascien-
de toda intuicin y anlisis, podra introducirse en las matemticas sin menoscabar la
consistencia lgica del tema.

Si los supuestos de la matemtica son bastante independientes del mundo de los

sentidos, y si sus elementos trascienden toda experiencia, el tema se reduce, en el mejor
de los casos, a pura lgica formal y, en el peor, a tautologas simblicas. La tendencia
simblica formal y aritmetizadora en matemticas ha tenido un notable xito en el estu-
dio de lo continuo. Esto ha llevado a paradojas tercas, hecho que ha despertado un cre-
ciente inters por la naturaleza de la matemtica: su alcance y lugar en la vida intelec-
tual, la fuente psicolgica de sus elementos y postulados, la fuerza lgica de sus proposi-
ciones y su validez como interpretaciones del mundo de la percepcin sensorial.

La vieja idea de que la matemtica es la ciencia de la cantidad, o del espacio y el

nmero, ha desaparecido en gran medida. La intuicin no explotada del espacio, reali-
zada, conduce a contradicciones, un hecho que altera la visin kantiana de los postula-
dos. Sin embargo, el matemtico es guiado, aunque no controlado, por el mundo exterior
de la percepcin sensorial. La teora matemtica de la continuidad se origin en la expe-
riencia directa, pero la definicin del continuo adoptada al final por el matemtico tras-
ciende la imaginacin sensorial. A partir de esto, los formalistas matemticos concluyen
que como no hacemos uso de la intuicin en las definiciones y premisas matemticas, no
es necesario que interpretemos los axiomas o tengamos alguna idea de la naturaleza de
los objetos y relaciones involucrados. Los intuicionistas, sin embargo, insisten en que los
smbolos matemticos implicados deben expresar significativamente pensamientos.
Aunque hay dos (o ms) puntos de vista de los motivos para creer en la exactitud inata-
cable de las leyes matemticas, el reconocimiento de que los conceptos matemticos son
sugeridos, aunque no definidos, por la intuicin, explica fcilmente que los resultados
del razonamiento matemtico deductivo estn en aparente acuerdo con los de la expe-
riencia inductiva. La derivada y la integral tenan sus fuentes en dos de los aspectos ms
obvios de la naturaleza -multiplicidad y variabilidad- pero al final son definidas como
abstracciones matemticas basadas en el concepto fundamental del lmite de una suce-
sin infinita de elementos. Una vez que hemos rastreado este desarrollo, el poder y la
fecundidad de estas ideas cuando se aplica a la interpretacin de la naturaleza ser fcil
de entender.

El clculo tuvo su origen en las dificultades lgicas encontradas por los antiguos
matemticos griegos en su intento de expresar sus ideas intuitivas sobre las razones o
proporciones de las lneas que vagamente reconocan como continuas en trminos de
nmeros que consideraban discretos. Se involucr casi inmediatamente con el concepto
lgicamente insatisfactorio (pero intuitivamente atractivo) del infinitesimal. El rigor
griego del pensamiento, sin embargo, excluy al infinitamente pequeo de las demostra-
ciones geomtricas y sustituy el mtodo evasivo, pero engorroso, de agotamiento. Los
problemas de variacin no fueron atacados cuantitativamente por los cientficos griegos.
No se pudo desarrollar ningn mtodo que hiciera para la cinemtica lo que el mtodo
de agotamiento haba hecho para la geometra -indica un escape de las dificultades ilus-
tradas por las paradojas de Zenn. El estudio cuantitativo de la variabilidad, sin embar-
go, fue emprendido en el siglo XIV por los filsofos escolsticos. Su enfoque era en gran
parte dialctico, pero tambin recurran a la demostracin grfica. Este mtodo de estu-
dio hizo posible en el siglo XVII la introduccin de la geometra analtica y la representa-
cin sistemtica de las cantidades variables.

La aplicacin de este nuevo tipo de anlisis, junto con el uso libre del sugestivo
infinitesimal y la aplicacin ms extensa de conceptos numricos, condujeron en poco
tiempo a los algoritmos de Newton y Leibniz, que constituyen el clculo. Aun en esta
etapa, sin embargo, no haba una concepcin clara de la base lgica del tema. El siglo
XVIII se esforz por encontrar esa base, y aunque tuvo poco xito a este respecto, lo hizo
en el esfuerzo liberando en gran medida el clculo de las intuiciones de movimiento con-
tinuo y magnitud geomtrica. A principios del siglo siguiente, el concepto de la derivada
se hizo fundamental, y con las definiciones rigurosas de nmero y del continuo estable-
cidas en la segunda mitad del siglo, se complet un fundamento slido. Unos veinticinco
aos de esfuerzo para explicar un vago ciclo instintivo de continuidad culminaron as en
conceptos precisos que estn definidos lgicamente pero que representan extrapolacio-
nes ms all del mundo de la experiencia sensorial. La intuicin, o la cognicin inmedia-
ta putativa de un elemento de experiencia que aparentemente falla en la expresin ade-
cuada, al final cedi, como resultado de la investigacin reflexiva, a esos constructos
mentales abstractos bien definidos que la ciencia y la matemtica han encontrado tan
valiosos como ayudas a la economa del pensamiento.

Las definiciones fundamentales del clculo, las de la derivada y la integral, estn

ahora tan claramente establecidas en los libros de texto sobre el tema, y las operaciones
que las implican son tan fcilmente dominadas, que es fcil olvidar la dificultad con la
que estos conceptos bsicos fueron desarrollados. Frecuentemente se ha alcanzado una
comprensin clara y adecuada de las nociones fundamentales subyacentes a una rama
del conocimiento comparativamente tarde en su desarrollo. Esto nunca ha sido ms acer-
tadamente demostrado que en el surgimiento del clculo. La precisin de la afirmacin y
la facilidad de aplicacin que las reglas del clculo dieron tempranamente eran en una
medida responsable del hecho de que los matemticos eran insensibles a las delicadas
sutilezas requeridas en el desarrollo lgico de la disciplina. Ellos trataron de establecer el
clculo en trminos de las concepciones encontradas en la geometra y el lgebra tradi-
cionales que se haban desarrollado a partir de la intuicin espacial. Durante el siglo
XVIII, sin embargo, la dificultad inherente de formular los conceptos subyacentes se hizo
cada vez ms evidente, y entonces se hizo costumbre hablar de la "metafsica del clcu-
lo", lo que implica la insuficiencia de las matemticas para dar una exposicin satisfacto-
ria de las bases. Con la clarificacin de las nociones bsicas -que en el siglo XIX se daba
en trminos de terminologa matemtica precisa- un rumbo seguro fue guiado entre la
intuicin del concreto en la naturaleza (que puede estar al acecho en la geometra y el
lgebra) y el misticismo de especulacin imaginativa (que puede prosperar en la metaf-
sica trascendental). La derivada, a lo largo de su desarrollo, se hall, as, precariamente
situada entre el fenmeno cientfico de la velocidad y el nomeno1 filosfico del movi-
miento.

La historia de la integral es similar. Por un lado, ha ofrecido amplias oportunida-

des a las interpretaciones del pensamiento positivista en trminos de aproximaciones o
de compensacin de errores - opiniones basadas en la naturaleza aproximativa admitida
de las mediciones cientficas y en la doctrina aceptada de los efectos superpuestos. Por
otra parte, la metafsica idealista ha considerado al mismo tiempo como una manifesta-
cin que, ms all del finitismo de la percepcin sensorial, hay un infinito trascendente
que puede ser asintticamente aproximado por la experiencia y la razn humanas. Slo
la precisin de su definicin matemtica -la obra del siglo pasado- permite que la deri-
vada y la integral mantengan su posicin autnoma como conceptos abstractos, tal vez
derivados de, pero sin embargo independientes de, la descripcin fsica y la explicacin
metafsica.

En este punto puede no ser indeseable discutir estas ideas, con referencia tanto a
las intuiciones y especulaciones de las que se derivaron como a su formulacin final y
rigurosa. Esto puede servir para recordar vvidamente el carcter preciso de las concep-
ciones contemporneas de la derivada y de la integral y, por lo tanto, para aclarar sin
ambigedad el terminus ad quem de todo el desarrollo.

La derivada es el dispositivo matemtico utilizado para representar las propie-

dades puntuales de una curva o funcin. Por lo tanto, tiene como anlogos en la ciencia
las propiedades instantneas de un cuerpo en movimiento, como la velocidad del objeto
en cualquier momento dado. Cuando la ciencia se refiere a un intervalo de tiempo, la

1 En la filosofa de Immanuel Kant, es un trmino problemtico que se introduce para referir a un

objeto no fenomnico, es decir, que no pertenece a una intuicin sensible, sino a una intuicin
intelectual o suprasensible.
velocidad media sobre este intervalo se define adecuadamente como la razn entre el
cambio en la distancia recorrida durante el intervalo y el propio intervalo de tiempo.

Esta razn se representa convenientemente mediante la notacin . En la medida en que

las leyes de la ciencia se formulan por induccin sobre la base de la evidencia de los sen-
tidos, a primera vista no puede haber tal cosa en la ciencia como una velocidad instant-
nea, es decir, en la que la distancia y los intervalos de tiempo son cero. Los sentidos son
incapaces de percibir, y la ciencia es consecuentemente incapaz de medir, ms que cam-
bios reales de posicin y tiempo. El poder de cada rgano de los sentidos est limitado
por un mnimo de percepcin posible. Por lo tanto, no podemos hablar de movimiento o
velocidad, en el sentido de una observacin cientfica, cuando la distancia o el intervalo
de tiempo correspondiente se hace tan pequeo que no se excita el mnimo de sensacin
involucrado en su medicin -mucho menos cuando se asume el intervalo como cero.

Si, por el contrario, la distancia recorrida es considerada como una funcin del
tiempo transcurrido, y si esta relacin se representa matemticamente por la ecuacin
= (), el mnimo de sensacin ya no opera contra la consideracin del abstracto co-

ciente de diferencias
. Esto tiene un significado matemtico no importa cun pequeo

el tiempo y los intervalos de distancia pueden ser, siempre, por supuesto, que el interva-
lo de tiempo no sea cero. La matemtica no conoce un intervalo mnimo de magnitudes
continuas -y la distancia y el tiempo pueden ser considerados como tales, en la medida
en que no hay evidencia que lleve a considerarlos de otro modo. Los intentos de propor-
cionar una definicin lgica de un mnimo tan infinitesimal que sea consistente con el
cuerpo de matemticas en su conjunto han fracasado. Sin embargo, el trmino "velocidad
instantnea" parece implicar que el intervalo de tiempo debe ser considerado no slo
como arbitrariamente pequeo, sino como realmente cero. As, el trmino predica el caso
mismo que la matemtica se ve obligada a excluir debido a la imposibilidad de la divi-
sin por cero.

Esta dificultad ha sido resuelta por la introduccin de la derivada, un concepto

basado en la idea del lmite. Al considerar los valores sucesivos del cociente de diferen-

cias , las matemticas pueden continuar indefinidamente para hacer que los intervalos

sean tan pequeos como les plazca. De esta manera una secuencia infinita de valores,

1 , 2 , 3 , , , (los valores sucesivos de la razn
) es obtenida. Esta secuencia puede

ser tal que cuanto ms pequeos sean los intervalos, ms cerca la razn se aproximar
a cierto valor fijo , y tal que tomando el valor de suficientemente grande, la diferencia
| | puede hacerse arbitrariamente pequea. Si este es el caso, se dice que este valor
es el lmite de la sucesin infinita, o la derivada () de la funcin distancia (), o la
velocidad instantnea del cuerpo. Hay que tener en cuenta, sin embargo, que no se trata
de una velocidad en el sentido ordinario y no tiene contrapartida en el mundo de la na-
turaleza, en el que no puede haber movimiento sin cambio de posicin. La velocidad
instantnea as definida no es la divisin de un intervalo de tiempo por un intervalo de

distancia, por mucho que la notacin convencional
= () pueda sugerir una razn.

Este simbolismo, aunque notablemente til en la realizacin de las operaciones del clcu-
lo, resultar de una mala interpretacin por parte de Leibniz de la base lgica del clculo.

La derivada se define as no en trminos de los procesos ordinarios del lgebra,

sino por una extensin de stos para incluir el concepto del lmite de una sucesin infini-
ta. Aunque la ciencia no puede extrapolar ms all de la experiencia, haciendo as que
los intervalos sean indefinidamente pequeos, y aunque tal proceso puede ser "inade-
cuadamente adaptado a la naturaleza", la matemtica tiene la libertad de introducir el
nuevo concepto de lmite, sobre la base de la definicin lgica dada anteriormente. Se
puede, por supuesto, hacer esta nocin an ms precisa eliminando las palabras "alcan-
zar", "suficientemente grande" y "arbitrariamente pequeo", como sigue: se dice que es
el lmite de la sucesin anterior si, dado cualquier nmero positivo (aunque sea peque-
o), se puede encontrar un nmero entero positivo tal que para > la desigualdad
| | < sea satisfecha.

En esta definicin no se hace ningn intento de determinar el llamado "fin" de la

sucesin infinita, o de tratar la posibilidad de que la variable pueda "alcanzar" su lmi-
te . El nmero , as definido abstractamente como la derivada, no debe ser considerado
como una "razn ltima", ni puede ser invocado como un medio de "visualizar" una ve-
locidad instantnea o de explicar en un sentido cientfico o metafsico, el movimiento o la
generacin de magnitudes continuas. Son consideraciones tan poco claras e interpreta-
ciones injustificadas que, como veremos, han envuelto a los matemticos desde el tiempo
de Zenn y sus paradojas en controversias que a menudo desvirtuaron su energa. Por
otra parte, sin embargo, son precisamente estas nociones sugestivas las que estimulan las
investigaciones que resultan en la elaboracin formal del clculo, a pesar de que esta
misma elaboracin termin por excluirlas como lgicamente irrelevantes.
 As como el problema de definir las velocidades instantneas en trminos de la
aproximacin de las velocidades promedio deba conducir a la definicin de la derivada,
as la definicin de longitudes, reas y volmenes de configuraciones curvilneas produ-
cira la formulacin de la integral definida. Este concepto, sin embargo, tambin deba
ser definido de tal modo que se excluyera la intuicin geomtrica que le dio nacimiento.
Como parte de la bsqueda griega de la unidad en la multiplicidad, veremos que se in-
tent inscribir sucesivamente dentro de un crculo polgonos de un nmero cada vez
mayor de lados con la esperanza de "agotar" finalmente el rea del crculo, es decir, de
asegurar un polgono con tan gran nmero de lados que su rea sera igual a la del crcu-
lo. Este intento ingenuo estaba por supuesto condenado al fracaso. El mismo proceso, sin
embargo, fue adoptado por los matemticos como bsico en la definicin del rea del
crculo como el lmite de la secuencia infinita formada por las reas 1 , 2 , 3 , , ,
de los polgonos de aproximacin. Esto proporciona otro ejemplo de extrapolacin ms
all de la intuicin sensorial, en la medida en que no existe un proceso mediante el cual
la transicin de la secuencia de reas poligonales al rea limitante del crculo pueda ser
"visualizada". Por supuesto, una subdivisin infinita est excluida del mbito de la expe-
riencia sensorial por el hecho de que existen umbrales de sensacin. Debe ser desterrado
tambin de la esfera del pensamiento, en el sentido fisiolgico, en la medida en que la
psicologa ha demostrado que para un acto de pensamiento se requiere un mnimo men-
surable de tiempo. La definicin lgica por s sola sigue siendo un criterio suficiente para
la validez de este valor lmite .

Para liberar el proceso limitador que acabamos de describir de la intuicin geo-

mtrica inherente a la nocin de rea, la matemtica se vio obligada a dar una definicin
formal a un concepto que no debera referirse a la experiencia sensorial de la que haba
surgido. (Esto sigui a un largo perodo de indecisin, cuyo rumbo seguiremos breve-
mente). Despus de la introduccin de la geometra analtica se hizo habitual, para en-
contrar el rea de una figura curvilnea, sustituir la serie de polgonos aproximantes por
una secuencia de sumas de rectngulos aproximantes, como se ilustra en el diagrama
(figura 1). El rea de cada uno de los rectngulos podra representarse por la notacin
( ) , y la suma de stos por el simbolismo = =1 ( ) . El rea de la figura
podra entonces ser definida como el lmite de la secuencia infinita de sumas , cuando
el nmero de subdivisiones aumentaba indefinidamente y cuando los intervalos se
acercaban a cero. Habiendo establecido el rea de esta manera con la ayuda de la repre-
sentacin analtica de la curva, se convirti en un simple asunto descartar la intuicin
geomtrica que condujo a la formacin de estas sumas y definir la integral definida de
() sobre la intervalo desde = a = aritmticamente como el lmite de la secuen-
cia infinita de sumas = =1 ( ) , (donde las divisiones , se toman para cubrir
el intervalo de a ) a medida que los intervalos se hacen indefinidamente peque-
os. Esta definicin invoca, adems de las operaciones ordinarias de la aritmtica, slo el
concepto del lmite de una sucesin infinita de trminos, precisamente como lo hace la
de la derivada. La realizacin de este hecho, sin embargo, sigui slo despus de muchos

siglos de investigacin por los matemticos. La misma notacin (), que ahora se
emplea habitualmente para representar esta integral definida, es de nuevo el resultado
del desarrollo histrico del concepto ms que de un esfuerzo por representar la formula-
cin lgica final. Es sugestiva de una suma, ms que del lmite de una secuencia infinita;
y en este sentido est ms de acuerdo con las opiniones de Leibniz que con la intencin
de la definicin moderna.

Figura 1

La integral definida se define as independientemente de la derivada, pero New-

ton y Leibniz descubrieron la notable propiedad que constituye lo que comnmente se
conoce como teorema fundamental del clculo, es decir, que la integral definida () =

() de la funcin continua () tiene una derivada que es esta misma funcin,
() = (). Es decir, el valor de la integral definida de () de hasta puede encon-
trarse en general a partir de los valores, para = y = , de la funcin () de la cual
() es la derivada. Esta relacin entre la derivada y la integral definida ha sido llamada
"la idea raz de todo el clculo diferencial e integral". La funcin (), cuando as se de-
fine, se denomina a menudo integral indefinida de (), pero debe reconocerse que no es
en este caso un lmite numrico dado por una secuencia infinita, como es la integral de-
finida, sino que es una funcin de la cual () es la derivada.

La funcin () a veces tambin se llama la primitiva de (), y el valor de

() () se toma ocasionalmente como la definicin de (). En este caso, la

relacin () = lim ( ) es entonces el teorema fundamental del clculo, en

lugar de la definicin de la integral definida.

Aunque el reconocimiento de esta sorprendente relacin inversa, junto con la

formulacin de las reglas de procedimiento, puede considerarse como la invencin del
tema, no se debe suponer que los inventores del clculo estuvieran en posesin de los
sofisticados conceptos de la derivada y la integral, tan necesarios en el desarrollo lgico
del nuevo anlisis. Ms de cien aos de investigacin deban ser necesarios antes de al-
canzar su definicin final en el siglo XIX.

El propsito de este ensayo es trazar el desarrollo de estos dos conceptos desde

su incipencia en la experiencia sensorial hasta su elaboracin final como abstracciones
matemticas, definidas en trminos de lgica formal por medio de la idea del lmite de
una secuencia infinita. Encontraremos que la historia del clculo ofrece un ejemplo
inusualmente llamativo de la lenta formacin de conceptos matemticos por la emanci-
pacin de todos los datos sensoriales de las ideas nacidas de nuestras intuiciones prima-
rias. La derivada y la integral son, en ltimo anlisis, sintticamente definidas en trmi-
nos de consideraciones ordinales y no de aquellas de cantidad y variabilidad continuas.
Son, sin embargo, los resultados de intentos de esquematizar nuestras impresiones sen-
soriales de estas ltimas nociones. Esto explica por qu el clculo, en las primeras etapas
de su desarrollo, estaba ligado a conceptos de geometra o movimiento, y con explica-
ciones de lo indivisible y lo infinitamente pequeo; pues estas ideas son sugeridas por la
intuicin ingenua y la experiencia de la continuidad.

Hay en el clculo un concepto adicional que merece una breve consideracin en

este punto, no tanto a causa de exigencias lgicas en la estructura actual del clculo como
para aclarar su desarrollo histrico. Las sucesiones infinitas consideradas anteriormente
en las definiciones de la derivada y de la integral se obtuvieron continuando, en el pen-
samiento, a disminuir ad infinitum los intervalos entre los valores de la variable inde-
pendiente. Consideraciones que en la ciencia fsica llevaron a la teora atmica fueron en
varios perodos en el desarrollo del clculo aducidas en matemticas. Esto hizo que pa-
rezca probable que como en la subdivisin real de la materia (que tiene la apariencia de
ser continua) llegamos a partculas u tomos finales, as tambin en magnitudes matem-
ticas continuas podemos esperar (mediante sucesivas subdivisiones llevadas a cabo en el
pensamiento) obtener los intervalos o diferenciales ms pequeos posibles. La derivada
se definira en este caso como el cociente de dos de tales diferenciales, y la integral sera
entonces la suma de un nmero (tal vez finito, tal vez infinito) de tales diferenciales.

No hay, desde luego, nada intuitivamente irrazonable en semejante punto de vis-

ta; pero el criterio de la aceptabilidad matemtica es la consistencia lgica de s mismo,
ms que la razonabilidad de la concepcin. Esta visin de la naturaleza del diferencial,
aunque posee un valor heurstico en la aplicacin del clculo a los problemas de la cien-
cia, ha sido juzgada inaceptable en matemticas porque no se ha formulado todava una
definicin satisfactoria que sea consistente con los principios del clculo como formulado
anteriormente, o que puede ser la base de una exposicin alternativa lgicamente satis-
factoria. Con el fin de conservar la facilidad operativa que ofrece el punto de vista dife-
rencial, el concepto de diferencial ha sido definido lgicamente, no en trminos de ato-
mismo matemtico, sino derivado como una nocin del de la derivada. La diferencial
de una variable independiente debe considerarse como nada ms que otra variable
independiente; pero la diferencial de una funcin = () se define como aquella
variable cuyos valores estn determinados de tal modo que para cualquier valor dado de

la variable la razn
ser igual al valor de la derivada en el punto en cuestin, es

decir, = (). Los diferenciales as definidos son slo nuevas variables, y no infini-
tesimales fijos, o indivisibles, o "diferencias ltimas", o "cantidades menores que cual-
quier cantidad dada", o "ceros cualitativos", "fantasmas de cantidades fallecidas", como
se han considerado varias veces en el desarrollo del clculo.

Poincar ha dicho que si los matemticos se hubieran quedado presa de la lgica

abstracta, nunca habran llegado ms all de la teora de nmeros y de los postulados de
la geometra. Era la naturaleza la que empujaba a los matemticos a los problemas del
continuo y del clculo. Por lo tanto, es comprensible que las persistentes especulaciones
atomistas del pensamiento fsico hayan tenido una contrapartida en los intentos de re-
presentar, por medio de elementos indivisibles, el espacio descrito por la geometra. El
desarrollo posterior de las matemticas, sin embargo, ha demostrado que tales nociones
deben ser abandonadas, con el fin de preservar la coherencia lgica del tema. La base de
los conceptos que condujeron a la derivada y a la integral se encontr primero en la
geometra, y a que a pesar del carcter concluyente de sus pruebas, este tema era consi-
derado una idealizacin abstracta del mundo de los sentidos.

Recientemente, sin embargo, se ha percibido ms claramente que la matemtica

es el estudio de las relaciones en general y no debe verse obstaculizada por ninguna no-
cin preconcebida, derivada de la percepcin sensorial, de lo que deberan ser esas rela-
ciones. Por lo tanto, el clculo ha sido emancipado gradualmente de la geometra y se ha
hecho dependiente, a travs de las definiciones de la derivada y de la integral, de la no-
cin de los nmeros naturales, idea de la que pueden derivarse todas las matemticas
puras tradicionales, incluida la geometra. Los matemticos sienten ahora que la teora
de los agregados ha proporcionado los fundamentos necesarios para el clculo, que los
hombres haban buscado desde los tiempos de Newton y Leibniz. Es imposible predecir
con confianza, sin embargo, que este es el paso final en el proceso de abstraer de las
ideas primitivas del cambio y de la multiplicidad todas aquellas incidencias irrelevantes
con las cuales la intuicin vincula estos conceptos. Es una tendencia natural del hombre
a hipotetizar aquellas ideas que tienen un gran valor para l, pero una apreciacin justa
del origen de la derivada y de la integral har claro cun injustificadamente optimista es
cualquier punto de vista que considere que el establecimiento de estas nociones trae a su
fin ltimo el desarrollo de los conceptos del clculo.
 Concepciones en la Antigedad

LOS PUEBLOS PREHELNICOS son usualmente considerados pre-cientficos en su acti-

tud hacia la naturaleza, en la medida en que palpablemente carecan de la confianza
griega en su racionalidad esencial, as como el sentimiento asociado de que bajo la des-
concertante heterogeneidad y el incesante flujo de acontecimientos se encontraran ele-
mentos de uniformidad y permanencia.

La bsqueda de los universales, que los griegos mantuvieron tan persistentemen-

te, aparentemente no tuvo atraccin alguna para los egipcios y los babilonios. As tam-
bin el pensamiento matemtico de estos pueblos -acerca de los cuales, entre los del
mundo antiguo, se nos informa mejor- no guardaba semejanza significativa con la nues-
tra, en cuanto careca de la tendencia, esencial al mtodo matemtico y cientfico, hacia el
aislamiento y la abstraccin de ciertas similitudes de sus confusamente variados conco-
mitantes en la naturaleza y en el pensamiento. Sin estos elementos de invariancia para
servir de premisas de la inferencia, no apreciaban en consecuencia las caractersticas que
distinguen la matemtica de la ciencia, a saber, su naturaleza lgica y la necesidad de las
pruebas deductivas.

Sin embargo, adquirieron una gran cantidad de conocimiento de las relaciones

espaciales y numricas; y cuanto ms familiar se nos vuelve su obra, ms inspira nuestra
admiracin. Sin embargo, fue en gran medida el resultado de investigaciones empricas,
o en la mejor de las generalizaciones fueron el resultado de la induccin incompleta de
casos simples a ms complicados. La regla egipcia para calcular el volumen de una pi-
rmide cuadrada -de la que se obtuvo el ms notable de todos los resultados egipcios, la
regla para determinar el volumen de un tronco de una pirmide cuadrada- fue proba-
blemente el resultado de este mtodo de procedimiento. Que la demostracin no pudiera
ser correcta, en nuestra comprensin de las implicaciones matemticas de este trmino,
se desprende del hecho de que este resultado para el caso general requiere el uso de con-
sideraciones infinitesimales o de lmite que, si bien constituyen el punto de partida de la
historia de la derivada e integral, no se encuentran en ningn registro antes del perodo
griego.
 Ms fundamental que esta falta de pruebas deductivas de los resultados inferidos
es el hecho de que en toda esta obra egipcia las reglas se aplicaban solamente a casos
concretos con nmeros definidos. No haba concepcin en su geometra de un tringulo
como representativa de todos los tringulos, una generalizacin abstracta necesaria para
la elaboracin de un sistema deductivo. Esta falta de libertad e imaginacin es evidente
tambin en la aritmtica egipcia, en la cual el concepto de nmero abstracto, como tal, no
entr, y en la que, con la excepcin de 2/3, todas las fracciones racionales se expresaban
como sumas de fracciones unitarias.

La matemtica babilnica se asemeja ms a la egipcia que a la griega, pero con un

mayor nfasis en el lado numrico y por lo tanto un lgebra ms altamente desarrollada
que la de Egipto. Aqu tampoco debemos buscar la estructura lgica o la prueba, los ca-
sos ms complicados son reducidos a ms simples, y as "probados", o ms bien tratados
como anlogos sin prueba; y debemos recordar que este trabajo, al igual que el egipcio,
trata nicamente casos concretos. En relacin con la astronoma babilnica, encontramos
que se estudiaron problemas que implican variacin continua, pero slo hasta el punto
de tabular los valores de una funcin (como el brillo de la luna, por ejemplo) para los
valores del argumento (tiempo) medidos a intervalos iguales, y de este calcularon el m-
ximo (intensidad) de la funcin. Los griegos fueron los primeros, sin embargo, en anali-
zar sistemticamente la idea de magnitud continua y desarrollar conceptos que condu-
cen a la integral y la derivada.

Nuestra informacin sobre la historia de las matemticas en el intervalo entre la

de las mejores matemticas egipcias y babilnicas y los primeros trabajos en Grecia es
desafortunadamente fragmentaria. Que estas civilizaciones orientales influyeron en la
cultura griega es claro; pero la naturaleza y alcance de su contribucin es indeterminado.
Como quiera que sea, hay un cambio evidente en el espritu tanto en la ciencia y las ma-
temticas, ya que estas se desarrollaron en Grecia. La mente humana fue "descubierta"
como algo diferente del cuerpo circundante de la naturaleza y capaz de discernir seme-
janzas en una multiplicidad de acontecimientos, de abstraerlas de sus entornos, de gene-
ralizarlas y de deducir de ellas otras relaciones coherentes con la experiencia ulterior. Es
por esta razn que consideramos el mtodo matemtico y cientfico como originario de
la raza helnica; pero decir que la matemtica y la ciencia griegas eran autctonas sera
olvidar la deuda del tema con Egipto y Babilonia. Es probable que la nueva perspectiva
de los helenos fuera el resultado del flujo de civilizaciones que se produce en este mo-
mento, lo que imprime sobre las crecientes fortunas griegas el sello de numerosas cultu-
ras.

Tales es el primer griego mencionado en relacin con esta "revolucin intelec-

tual", que produjo matemticas elementales y que iba a revelar esas dificultades en la
concepcin, cuyo estudio y resolucin produciran en los prximos veinticinco aos el
tema que nosotros ahora llamamos clculo. Se dice que l fue un gran viajero, que
aprendi geometra de los egipcios y astronoma de los babilonios, y que al regresar a
Grecia instruy a sus sucesores en los principios de estos temas. Proclo dice de su mto-
do de ataque fue "en algunos casos ms general, en otros casos ms emprico". Las de-
mostraciones de Tales, por lo tanto, pueden haber apelado hasta cierto punto a la evi-
dencia de los sentidos, y de hecho sus teoremas eran aquellos cuya verdad se reconocera
por la ejecucin de alguna construccin prctica.

Sin embargo, a Tales se le atribuye el establecimiento de la matemtica como dis-

ciplina deductiva. Sin embargo, no construy un cuerpo de conocimientos matemticos
ni aplic su mtodo al anlisis del problema del continuo. Estas tareas parecen haber
sido realizadas por Pitgoras, el segundo matemtico griego del que tenemos informa-
cin sustancial. De acuerdo con Proclo, "transform el estudio de la geometra en una
educacin liberal, examinando los principios de la ciencia desde el principio y probando
los teoremas de una manera inmaterial e intelectual"; pero, admitindolo, es imposible
atribuirle cualquier grado de certidumbre de otros logros matemticos o cientficos a
Pitgoras el individuo, ya que nunca en la antigedad se lo poda distinguir de su escue-
la y es difcilmente posible hacerlo ahora. El conocimiento adquirido por la escuela esta-
blecida por Pitgoras se consideraba estrictamente esotrico, con el resultado de que
cuando la naturaleza general del pensamiento pitagrico se hizo evidente, despus de la
muerte del fundador alrededor del 500 a.C., ya era imposible atribuir a un solo miembro
cualquier contribucin. Sin embargo, el proceso de abstraccin iniciado por Tales fue
evidentemente completado por esta escuela.

Sin embargo, una nueva dificultad entr en el pensamiento griego, ya que los
conceptos matemticos pitagricos, abstrados de las impresiones sensoriales de la natu-
raleza, se proyectaban a su vez en la naturaleza y se consideraban los elementos estruc-
turales del universo. As, los pitagricos intentaron construir el cielo entero a partir de
nmeros, siendo las estrellas unidades que eran puntos materiales. Ms tarde identifica-
ron los slidos geomtricos regulares, con los cuales estaban familiarizados, con las dife-
rentes clases de sustancias en la naturaleza. La geometra era considerada por ellos como
de naturaleza inmanente, y los conceptos idealizados de la geometra les parecan reali-
zarse en el mundo material. Esta confusin de lo abstracto y de lo concreto, de la concep-
cin racional y de la descripcin emprica, caracterstica de toda la escuela pitagrica y
de muchos pensamientos posteriores, afectar significativamente en el desarrollo de los
conceptos del clculo. A menudo se ha descrito inexactamente como misticismo, pero tal
estigmatizacin parece ser algo injusta. La deduccin pitagrica a priori ha tenido un
notable xito en su campo, un intento (injustificado, ahora se reconoce) que fue aplicado
a la descripcin del mundo de los acontecimientos, en lo que las interpretaciones hilozoi-
cas2 jnicas a posteriori tuvieron muy poco avance. Este ataque al problema fue altamen-
te racional y no fracas por completo, aunque fue una inversin del procedimiento cien-
tfico, en el sentido de que fue de la induccin secundaria a la deduccin.

Un resultado muy importante de la bsqueda pitagrica de la unidad en la natu-

raleza y la geometra fue la teora de la aplicacin de reas. Esto se origin con los pita-
gricos, si no con el propio Pitgoras, y se convirti en fundamental en la geometra
griega, en la que ms tarde llev al mtodo de agotamiento, el equivalente griego de
nuestra integracin. El mtodo de aplicacin de reas les permiti decir de una figura
delimitada por lneas rectas que era mayor que, equivalente o menor que una segunda
figura. Tal superposicin de un rea sobre otra constituye el primer paso en el intento de
hacer exactamente definible la nocin de rea, en la cual una unidad de rea se dice que
est contenida en una segunda rea un nmero dado de veces. La matemtica moderna
ha hecho fundamental el concepto de nmero ms que el de congruencia, con el resulta-
do de que la palabra "rea" ya no recuerda vivamente esa comparacin de dos superfi-
cies que es esencial en esta conexin y que siempre fue superior en el pensamiento grie-
go. Los matemticos griegos no hablaban del rea de una figura, sino de la razn de dos
superficies, una definicin que no poda ser precisada antes de que se hubiese desarrolla-
do un concepto satisfactorio de nmero debido al problema de la inconmensurabilidad.
Los pitagricos no posean tal concepto. Esta contribucin no se hizo hasta la ltima mi-
tad del siglo XIX, y fue para proporcionar, en ltima instancia, la base de todo el clculo.
Sin embargo, a los pitagricos, con toda probabilidad, debemos el reconocimiento de la

2El hilozosmo es una doctrina filosfica segn la cual la materia est dotada de la capacidad de
actuar propia de los animales.
necesidad de algn concepto de este tipo -un descubrimiento que puede considerarse
como el primer paso, un terminus a quo, en el desarrollo de los conceptos del clculo.

La insuficiencia de la visin pitagrica de la razn de magnitudes se hizo eviden-

te primero a los seguidores de esta escuela en la aplicacin de la doctrina, no a las reas,
sino ms bien a la comparacin anloga de lneas que presupone nuestra nocin de lon-
gitud. Tales investigaciones llevaron a los pitagricos a un descubrimiento intensamente
desconcertante. Si se aplicase el lado de un cuadrado a la diagonal, no se podra descu-
brir una medida comn que expresara una en trminos de la otra. En otras palabras, es-
tas lneas se mostraron inconmensurables. Justo cundo este descubrimiento tuvo lugar
y si fue hecho por Pitgoras mismo, por los primeros pitagricos, o por miembros poste-
riores de la escuela son puntos discutibles en la historia de las matemticas. Tambin se
ha sostenido que Pitgoras deba a los hindes su conocimiento de lo irracional y de los
cinco slidos regulares, as como gran parte de su filosofa.

La cuestin de cmo se descubri o demostr la inconmensurabilidad es tambin

difcil de responder con seguridad. El mtodo de aplicacin sugerira como una forma de
prueba el equivalente geomtrico del proceso de encontrar el mayor divisor comn, pero
hay otro aspecto del pensamiento pitagrico que apunta a un tipo diferente de razona-
miento. Una creencia predominante en la unidad y armona de la naturaleza y el cono-
cimiento haba llevado a los pitagricos no slo a explicar diferentes aspectos de la natu-
raleza mediante varias abstracciones matemticas, como ya se ha sugerido, sino tambin
a intentar identificar los reinos de nmero y magnitud. Con el trmino nmero, sin em-
bargo, los pitagricos no entendieron la abstraccin a la que damos este nombre, sino
que lo usaron para designar "una progresin de la multitud comenzando desde una uni-
dad y terminando una regresin en ella". Los nmeros enteros eran, por lo tanto, fun-
damentales, los nmeros eran conjuntos de unidades y, como suceda con sus formas
geomtricas, eran de naturaleza inmanente, cada uno teniendo una posicin y ocupando
un lugar en el espacio. Si las abstracciones geomtricas eran elementos de las cosas
reales, el nmero era el ltimo elemento de estas abstracciones y, por lo tanto, de los
cuerpos fsicos y de toda la naturaleza. Esta hipotizacin del nmero haba llevado a los
pitagricos a considerar una lnea compuesta por un nmero entero de unidades. Sin
embargo, esta doctrina no poda aplicarse a la diagonal de un cuadrado, ya que no im-
portaba cun pequea fuera elegida una unidad como medida de los lados, la diagonal
no podra ser una "progresin de multitud" a partir de esta unidad. La prueba de este
hecho, dada por Aristteles (y que posiblemente es la de los pitagricos), se basa en la
distincin entre lo impar y lo par, que los propios pitagricos haban subrayado.

La inconmensurabilidad de las lneas permaneci siempre como un obstculo pa-

ra la geometra griega. El hecho de que causara una fuerte impresin en el pensamiento
griego es indicado por la historia, repetida por Proclo, que el pitagrico que revel el
hecho de la incomensurabilidad sufri como resultado la muerte por naufragio. Se de-
muestra tambin, y de manera ms fiable, por la prominencia dada a la doctrina de los
irracionales por Platn y Euclides. Nunca se le ocurri a los griegos inventar un nmero
irracional para eludir la dificultad, aunque desarrollaron como parte de la geometra
(encontrada, por ejemplo, en el dcimo libro de los Elementos de Euclides) la teora de las
magnitudes irracionales. No generalizando su sistema numrico siguiendo las lneas su-
geridas ms adelante por el desarrollo del anlisis matemtico, el nico escape para los
matemticos griegos al final fue abandonar el intento pitagrico de identificar el reino
del nmero con el de la geometra o de la magnitud continua.

Sin embargo, el esfuerzo por unir los dos campos no fue abandonado antes de
que la intuicin hubiera buscado otra forma de salir de la dificultad. Si no hay un seg-
mento de lnea finito tan pequeo que la diagonal y el lado puedan expresarse en trmi-
nos de l, no puede haber una mnada o unidad de tal naturaleza que se necesite un
nmero indefinido de ellas para la diagonal y para el lado del cuadrado?

No sabemos con certeza si los pitagricos mismos invocaban o no lo infinitamen-

te pequeo. Sabemos, sin embargo, que el concepto del infinitesimal haba entrado en el
pensamiento matemtico, a travs de una doctrina elaborada en el siglo V a.C., como
resultado de la especulacin griega sobre la naturaleza del mundo fsico. Despus del
fracaso de los primeros intentos jnicos de encontrar un elemento fundamental para
construir todas las cosas, surgi en Abdera la doctrina materialista del atomismo fsico,
segn la cual no hay una physis, ni siquiera un pequeo grupo de sustancias de las cuales
todo est compuesto. La escuela de Abdera sostuvo que todo, incluso la mente y el alma,
est formado por tomos que se mueven en el vaco, siendo estos tomos partculas in-
divisibles duras, cualitativamente iguales, pero de incontables formas y tamaos, dema-
siado pequeos para ser percibidos por impresiones sensoriales.

No hay nada lgico o fsicamente inconsistente en esta doctrina, que es una anti-
cipacin cruda de nuestro propio pensamiento qumico; pero el ms grande de los ato-
mistas griegos, Demcrito, no se detuvo aqu: l tambin era un matemtico y llev la
idea a la geometra. Como sabemos ahora del Mtodo de Arqumedes, que fue descubier-
to como un palimpsesto en 1906, Demcrito fue el primer matemtico griego en deter-
minar los volmenes de la pirmide y el cono. Cmo obtuvo estos resultados no lo sa-
bemos. La frmula para el volumen de una pirmide cuadrada era probablemente cono-
cida por los egipcios, y Demcrito en sus viajes pudo haber aprendido de ella y generali-
zado el resultado para incluir todas las pirmides poligonales. El resultado para el cono
sera entonces una inferencia natural del resultado de incrementar indefinidamente el
nmero de lados en un polgono regular que forma la base de una pirmide. Esta expli-
cacin correspondera a otras que implican concepciones infinitesimales similares, que
sabemos que Demcrito sostena y que posteriormente influyeron en Platn.

Aristteles y Euclides le atribuyen un atomismo matemtico, y sabemos por Plu-

tarco que se percat de si las secciones circulares paralelas infinitesimales de las cuales el
cono puede ser considerado compuesto son iguales o desiguales: si son iguales, el cono
sera ser igual al cilindro circunscrito; pero si eran desiguales, se identificaban como pa-
sos. No sabemos cmo resolvi esta apora, pero se ha sugerido que utiliz la idea de
lminas circulares infinitamente finas, o indivisibles, para encontrar los volmenes de
conos y cilindros, anticipando y usando el teorema de Cavalieri para estos casos especia-
les. Demcrito parece haber discriminado claramente entre tomos fsicos y matemticos
-como lo hizo su posterior seguidor Epicuro, aunque Aristteles no hizo tal distincin y
segn el relato mucho posterior de Simplicio se dice que Demcrito sostuvo que todas
las lneas son divisibles hasta el infinito. Sin embargo, como la mayor parte del trabajo de
Demcrito se ha perdido, no podemos ahora reconstruir su pensamiento. Que estaba
interesado en otros problemas matemticos que se refieren al infinitesimal lo conocemos
a partir de los ttulos de obras ahora perdidas, pero a las que se refiere Digenes Laercio.
Una de ellas parece haber sido sobre ngulos horn [cuernos] (los ngulos formados por
curvas que tienen una tangente comn en un punto), y otra sobre lneas y slidos irra-
cionales (inconmensurables). Puede inferirse, por lo tanto, que la dificultad pitagrica
con lo inconmensurable le era probablemente familiar, y es posible que tratara de resol-
verla mediante alguna teora del atomismo matemtico. Se ha sostenido que Demcrito
era un matemtico demasiado bueno para haber tenido algo que ver con una teora como
la de las lneas indivisibles; pero es difcil imaginar cmo un tomo matemtico debe ser
concebido si no como un indivisible. En todo caso, cualquiera que haya sido su concep-
cin de la naturaleza de los infinitesimales, la influencia de Demcrito ha persistido. La
idea de la magnitud infinitesimal fija se ha aferrado tenazmente a la matemtica, fre-
cuentemente invocada por la intuicin cuando la lgica aparentemente no ofreci una
solucin, y finalmente fue desplazada en el siglo pasado por los conceptos rigurosos de
la derivada y la integral.

Que el infinitesimal no fue bien recibido en la geometra griega despus de la

poca de los pitagricos y Demcrito pudo haber sido en gran parte debido a una escue-
la de filosofa que haba surgido en Elea, en la Magna Grecia. La escuela Eletica, aunque
no esencialmente matemtica, aparentemente estaba familiarizada con, y probablemente
influenciada por, la filosofa matemtica pitagrica; pero se convirti en un oponente del
principio principal de este pensamiento. En lugar de proclamar la constitucin de los
objetos como un agregado de unidades, seal las aparentes contradicciones inherentes a
tal doctrina, manteniendo contra la visin atmica la unidad esencial y la inmutabilidad
del mundo. Parmnides, el lder de la escuela, confirm este monismo insidioso, quizs
con un poco de escepticismo derivado de su predecesor iconoclasta, el poeta-filsofo
Xenfanes.

En una defensa indirecta de esta doctrina, los eleticos procedieron a demoler,

con hbil dialctica, la base de las escuelas de pensamiento opuestas. Los argumentos
ms dainos fueron ofrecidos por Zenn, el estudiante de Parmnides. Despus de pre-
sentar la objecin obvia a la monada pitagrica indefinidamente pequea -que si tiene
cualquier longitud, un nmero infinito constituir una lnea de longitud infinita; y si no
tiene longitud, entonces un nmero infinito tampoco tendr longitud- aadi el siguien-
te dictamen general contra los infinitesimales: "Lo que, aadido a otro, no lo hace ms
grande, y quitado de otro no lo hace menor, no es nada". Sin embargo, ms crticos y
sutiles que stos son sus cuatro famosas paradojas sobre el movimiento. Ha habido mu-
chas especulaciones sobre el propsito de los argumentos de Zenn, falta de evidencia
que hace imposible decidir de manera concluyente contra quin fueron dirigidos: si con-
tra los pitagricos, o los atomistas, o Herclito, o si eran meros sofismas. El hecho de que
se tratara de meros rompecabezas dialcticos quizs sea indicado por el pasaje de Plutar-
co de la vida de Pericles:

Tambin la lengua de dos filos del poderoso Zenn, quien,

Diga lo que uno quisiera, podra argumentar que es falso.
 Por otra parte, hay alguna razn para suponer que estos argumentos se presenta-
ron en relacin con un propsito ms significativo. No es improbable que Zenn, aunque
no era ni un matemtico ni un fsico, propuso las paradojas para sealar la debilidad en
la definicin pitagrica de un punto como unidad que tiene posicin y en la multiplici-
dad pitagrica resultante que no distingua claramente entre lo geomtrico y lo fsico.