Professional Documents
Culture Documents
Guilford Press
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
S&S Quarterly, Inc. and Guilford Press are collaborating with JSTOR to digitize, preserve and extend access to
Science &Society.
http://www.jstor.org
181
182
SCIENCE
AND SOCIETY
183
184
SCIENCE
AND SOCIETY
185
186
SCIENCE
AND SOCIETY
did notmoveamongprofessional
mathematicians.18
A morelikelyreason
is thatCauchy'sway of definingthe derivative
thatof
was essentially
so thatMarxdid notconsiderhis methoda newone.
D'Alembert,
WhateverMarx*reasonswereto ignoreCauchy'swork,his feeling
was shared
of dissatisfaction
withthewaythe calculuswas introduced
of his day.
mathematicians
by someof theleadingyounger
professional
hisstudyofmathematics,
In thesameyear(1858)in whichMarxresumed
in hiscase while
RichardDedekindat Zrichfeltsimilardissatisfaction,
thatin his lesfirst
stated
in
he
the
calculus.
teaching
Writing 1872,
evidenceto explainthenotionof a
sonshe had recourseto geometrical
limit;thenhe wenton:
calculuscan
But thatthisformof introduction
into thedifferential
thisfeeling
no onewilldeny.Formyself
makenoclaimtobeingscientific,
thatI made the fixedresolveto
of dissatisfaction
was so overpowering
on thequestiontill I shouldfinda purelyarithmetic
keep meditating
ana perfectly
rigorousfoundationfor the principlesof infinitesimal
calculus.14
of
This led Dedekindto a newaxiomaticapproachto theconception
and irrational
whichwasone ofthegreatpioneering
continuum
number,
Someyears
of mathematics.
in whatwe call the arithmetization
efforts
laterone of theotherpioneersof the new methodsof rigorin matheexclaimed:
matics,Paul Du Bois Reymond,
in its published
would deny that-especially
What mathematician
the conception
form-the conceptionof limitand its closestassociates,
theinfinitely
ofthelimitless,
small,theirrational,
largeand theinfinitely
etc.,still lack rigor?The teacherin writand wordis used to hurry
in orderto roam
thisquestionableentranceto analysis,
quicklythrough
on thewellblazedroadsof thecalculus.15
Uiemorecomfortably
underthe
It wasnotuntilthelastdecadesof thenineteenth
century,
and
as wellofWeierstrass
ofDedekindand Du BoisReymond,
influenc
of
the
of
the
calculus
Cantorthatthe thorough
overhauling
principles
13 The preface to the sixth edition of Boucharlat's book (1856), which Marx consulted, though mentioning in detail the work of Newton, Leibniz, D'Alembert and
Lagrange, is silent about Cauchy. One of the firstwidely used textbooks which explicitly used Cauchy's methods was C. Jordan, Cours d'analyse, which appeared in
1882.
MR, Dedekind, Stetigkeitund Irrationalzahlen (1872). Translated in "Essays on the
Theory of Numbers" (Chicago, 1901), p. 1 f.
15 P. Du Bois Reymond, Die allgemeine Funktionentheorie,i. (1882), p. 2. The
author was the brother of the physiologistEmil, who framed the slogan of agnosticism: "Ignorabimus."
187
tookplacewhichunderlies
andhasshownthatCauchy's
modernmethods,
can
lead
to
full
work
This
approach
rigor.
appearedtoolate to influence
Marx and Engels.16
The resultis thatMarx'reflections
on thefoundationsof the calculusmustbe appreciatedas a criticism
of eighteenth
methods.
We
feel
that
his
however
work,
century
developedcontemof
but
with
of
the
leadingmathematicians
poraneously
independently
to
the
now
contributes
thesecondhalfof thenineteenth
even
century,
of themeaningof the calculus.
understanding
We shouldneverforget,
of course,thatMarx neverpublishedhis
and
is
that
not
evenan indicationthathe intendedpubthere
material,
lication,eventhoughEngelsseemsto have playedwiththe idea. Marx
in sparehours,forrelaxation,oftenin hours
workedon mathematics
of sickness,
guidedby somebookswhichhe happenedto have in his
whichintroducedthe principlesof diflibrary,such as Boucharlat's,
in an unsatisfactory
ferentiation
way.He lookedforelucidationin the
sourcesquotedin Boucharlatand similarbooks,whichled himto Newton,Leibnitz,D'Alembertand Lagrange.His noteswere in the first
afterreadingthoseclassicsin
place intendedforhis own clarification,
Struckby theunsatisfactexts.
often
obscure
understand
the
to
attempts
in
characteristic
tried
in
these
he
formulations
books,
way to
tory
himself.
for
difficulties
out
the
straighten
whichMarx triedto overcomeare at presentas real
The difficulties
elaborated
as in histime,evenifour formalapparatusis morecarefully
old
of Elea
difficulties
as
Zeno
These
are
as
and practically
foolproof.
and as youngas the latestphilosophicalor physiological
attemptto
howrestcan passintomotion,and howmotioncan lead to
understand
the conception
rest.This is the reasonwhyMarx studiedso carefully
of a functionand the relatedconceptionof the diof the derivative
He foundthatthereare threemain methodsby whichthese
ferential.
havebeendeveloped.Marxclassified
them,calledthemthe
conceptions
method
and
the
rational
the
(connectedwith the
algebraic
mystical,
and
D'Alembert
and
namesof Newton-Leibnitz,
Lagrangerespectively),
the derivative,
thenopposedto themhis own mode of understanding
and thecalculusin general.Let us explainthedifficulty
thedifferential,
the function
wayscriticized
y=x8 in thedifferent
by
by differentiating
Marx.
information
on theworkof thegreatGerman
l It is evendoubtfulif anypertinent
reachedMarxand Engels.
of thesecondhalfof thenineteenth
mathematicians
century
as wellas physics
The Englandof theirdayswas an excellentplace to studycapitalism,
and biology,but it was backwardin mathematics,
and chemistry
exceptin somespeand algebra.
cializedbranchesof geometry
188
SCIENCE
AND SOCIETY
- x changes
1) Newton-Leibnitz*
("The mysticaldifferential
calculus").17
into x + xt in Newton,into x + dx in Leibnitz;we followLeibnitz.Then
y changesintoni=j> + dyand
yi =y + dy- (x + dx)*- x*+ 3x2dx + 3x (dx)*+ (dx)*.
as comparedwith3x2dx,theymay
Since (*)2 and (dx)*are infinitesimal
be dropped,and we obtainthe correctformula
dy 3x2dx.
does not disappearif we first
and the mystery
This is highlymysterious,
dividedyby dx
dy/dx= 3x2+ 3xdx+ (dx)2
and thenlet h = dx be zero. It is truethatwe obtainthe rightformula
but as Marx remarks:
here
ofAis not permittedbeforethe firstderivedfunction,
thenullification
3x' has been liberatedfromthefactorh by division,hence(y' - y)/h = 3*2
The
the finitedifference.
+ 3xh+ h2.Only thencan we annul (aufheben)
coefficient
differential
dy/dx= 3x2 must thereforealso originallybe dedy= 3x2dx.
velopedbeforewe can obtainthedifferential
In otherwords,we knewin advance whattheanswermustbe, and build
up some reasoningto make it plausible. It was this loose way in which
Newtonand Leibnitzusuallyfoundedthecalculuswhichled BishopBerkeley
in TheAnalysts
of 1734. Here he askedwhetherthedx
to hisfamouscriticism
are zero or not zero, called them"ghostsof departedquantities"and conwho believedtheseabsurditiescould reasoncluded thatno mathematician
ably object to the miraculoustenetsof religion.It has not been the only
in science have been exploitedfor
case in which foundationdifficulties
idealistand obscurantist
reasons.
Mathematiciansfeltthe difficulty
and triedto cope withit by suggesting
moreexact waysof foundingthe calculus.18The mostimportantcontributionswerethoseofD'Alembertand Lagrange.
In Marx' words:
("The rational
2) D'Alembert
calculus").19
differential
D'Alembertstartsdirectlyfromthe startingpointof Newtonand Leibnitz
xi = x + dx
but he makes immediatelythe fundamentalcorrectionxi = x + Ax,that
17Leibnitz issued his firstpublication on the calculus in 1684, Newton his in 1693.
18See e.g. F. Cajori, A History theConceptions Limitand Fluxionin GreatBritain
of
of
from
Newtonto Woodhouse
(Chicago and London, 1919).
19D'Alembert on "Diffrentiel"in Diderot's
(1754)
Encyclopdie
189
which
but primafaciefiniteincrement,
means,Axbecomesan undetermined,
he calls A. The transformation
of thisA or Ax intodx (he used the Leibnitz
notation,likeall Frenchmen)is onlyfoundas thelast resultof thedevelopment or at least just beforeclosinghour (knappvor Torschiusi),while it
of thecalculus:
appears as startingpointwiththe mysticsand theinitiators
h
A
xi - x
Now, by placing h = o, the expression|/(x + A) - f(x)j/h changes
h
into-J-:
:--*-/
is verymuchakinto Cauchy's
The wayin whichD' Alembertdifferentiates
method.We writeat presentwithCauchy
dy lim /(* + A) -/(*).
A
dx h+o
Marx' objectionto this methodis that thoughit is formallycorrect,the
derivative/ (x) is alreadypresentin 3 x2+ 3xh + A2,that is, beforedifIt is simplythe firsttermof a sum, 3 x2+ 2 xh+ A2,and
ferentiation.
D'Alembert'smethodonlyconsistsin devisinga way in which to get rid
of the member(or members)of the sum whichfollows3 x2.Marx calls this
(separation);while the correctmethodshould be Entwicklung
Loswicklung
(development):
is the same as in Leibnitzand Newton,but the
The derivationtherefore
fromits further
algebraicway separated
ready-madederivativeis in strictly
but a separationof the/'(*), here 3x221
There is no development
context.20
fromitsfactorAand thememberswhichappear nextto it in theothermembersmarchingon in rankand file.What has reallybeen developedis theleft
hand symbolicside,namelydx,dyand theirratio,the symbolicdifferential
=
coefficient
dy/dxor o/o(ratherin the otherway o/o dy/dx),whichin its
turnagain provokedsome metaphysicalshudders,thoughthe symbolwas
mathematicallyderived. D'Alembert had, by strippingthe differential
calculusfromitsmysticalgarb,made an enormousstepahead.
Marx' evaluationofD'Alembert'sworkas "an enormousstepahead" still
ofmathestands.This is themoreremarkable,sinceevenmodernhistorians
maticshave a way of glossingoverit. Marx nextproceedsto Lagrange.
3)
calculus").
Lagrange (" lhe purely algebraic differential
= *+ 3*2*
+ A'
+ 3*A
*-(* + h)%
10"losgewickeltvon ihremsonstigenZusammenhang."
11"Es ist keine Entwicklung,
sonderneine Loswickimgdes/ (*)."
190
SCIENCE
AND SOCIETY
ofAas thederivative:
Lagrangesimplydefinesthecoefficient
j = /'(*) = 3x2,or moregenerallyby Taylor'stheoremfora general/(x):
ax
+ dh
+ g + . . .
yx= f{x+ h)-, (or/*)
j, -/()-,
/(*i) -/(*) - J>i- J>- * - * - (*i - *) M + **i + x')
fMjzM
. ym
. 4 + XXl
+A
- X
X'
X' - X
191
x2ss3x2m
+
+
-sss^ssx2
o
dx
In thismethod,writesMarx,we obtainfirsta preliminary
derivative,
namely
x2+ xxi + x2, and this passes by x = x' into the definite
derivative.
This
i*
passingfromx' to x does away withany "infinitesimal"
approximation,
showsthat the derivativeis actuallyo/o,obtainedwhen xi - x is actually
zero:
Here we see in striking
form:
to
obtain
the
derivative
we must place x' = *, hence x' - x = o
Firstly;
in thestrict
mathematical
sense,withouta traceof only infinitesimal
approximation.
Secondly:
Throughthe factthatx' has been placed = *, hence x' - x = o,
nothingsymbolicentersinto the "derivative."The quantityx', originally
introducedby the variationof *, does not disappear,it is onlyreduced
to its
minimalboundaryx. It remainsan elementintroducedas new into the
whichby itscombinationpartlywithitself,partlywiththe
originalfunction,
x of the originalfunctionproducesat the end the "derivative,"that is the
"derivative"reducedto itsminimumvalue.
preliminary
. . . The transcendental
or symbolicaccident(o/o = dx/dy= 3x2)occurs
on
the
left
hand
but
it has alreadylostitsterror,
as it appearsnow
side,
only
only as the expressionof a processthatalreadyhas shownits real content
on therighthand side of theequation.24
At themomentthatx' = x thequotientAy/Axbecomes0/0.Since in this
expression0/0everytraceofitsoriginand ofitsmeaninghas disappearedit
is replacedby the symboldy/dx,
in whichthe finitedifferences
Ayand A*
or vanished(verschwundene)
appear in symbolical formas liquidated(aufgehobene)
At thismomentalgebradisappearsand thedifferential
differences.
calculus,
whichoperateswiththesymbolsdy/dx,
begins.
In orderto understandMarx' intentions
better,we translateherepartof
theletterwhichEngelswrotehimAugust18, 1881,afterhe had read Marx'
manuscript:
When we say thatin y = f(x) the x and y are variables,thenthisis, as
long as we do not move on, a contentionwithoutall further
consequences,
and x andy stillare, pro tempore,constantsin fact.Only whentheyreally
change,thatis insidethefunction,
theybecomevariablesin fact.Only in that
- notofboth
case is it possiblefortherelation
quantitiesas such,but oftheir
- whichstillis hidden in the
variability
originalequation,to reveal itself.
28"nur als Faktor, womit die durch das Binom
abgeleiteten Funktionen usserlich
behaftetsind."
*4"Das transzendentaleoder symbolische
Unglck ereignet sich nur auf der linken
Seite, hat aber seine Schreckenbereitsverloren,da es nun als Ausdruck eines Prozesses
erscheint,der, seinen wirklichenGehalt bereits auf der rechten Seite der Gleichung
bewhrthat."
192
SCIENCE
AND SOCIETY
have claimedfor
We see hereat last clearly,what manymathematicians
a long time,withoutbeing able to presentrationalreasonsforit, that the
dx and dyare derived.
is theoriginal,thedifferentials
derivative
193
whichmeansthat {<f>
(* + h) - <f>
(*)} /h tendsto a limitwhen h tendsto
zero. What does thismean?We are told that0 (y) tends to the limit/ as y
tendsto zero,if,whenany positivenumber8, howeversmall,is assigned,we
can choose^o(5) so that |4 (y) - /| < wheno <y J>o($).26
is exact, in the sense that we have a correctand subtle
This definition
to
criterium testany limit.But 4>{y) alwayshoversnear thelimit,sincewe
are told thaty "tends" to zero. Similarly,4>f(*) is definedby meansof an
h which"tends" to zero. The questionis, is the eventh = o ever reached?
it. The usual moderntextbookdefinition
Marx notonlyaffirms
it,he stresses
because it is satisfiedwitha pragmatic
does not take thisquestionseriously,
whichallowsus to recognizea limitwhenit appears.27
criterium
The resultis thatmuchteachingof theelementsof thecalculusproceeds
- and I confessto it myself
in myown teaching.First,it is shown
as follows
thata limitcan be approachedas closelyas we like,butneverreached.Then
the derivativeis definedwiththe aid of thisconceptionof limit.And then
suddenlywe begin to work with this derivative,which could never be
as ifit actuallyhad been reached.
reached(as we have beforedemonstrated)
The case h = o, xr = #,thoughpresentin theformalapparatus,is somehow
obscuredin the reasoning.An exceptionis foundin the workof Moritz
Pasch, who in his verycarefulanalysisof the derivativedevelopsa formal
apparatusin whichthereis fullroomforthecase h = o.28
who insiston utmost
Marx therefore
belongedto thatschoolof thinkers
a formalapparatus.His positioncontrasts
clarityof thoughtin interpreting
sharplyto that of those mathematiciansor mathematicalphysicistswho
believe that the formalapparatus is the only thingthat matters.Marx'
who insiststhatsignificant
mathematics
positionwas thatof thematerialist,
mustreflectoperationsin thereal world.
to noticethatthedifferences
betweenMarx' and D'AlemIt is interesting
bert's formalapparatus diminishwhen we consider more complicated
For the casey = sinx the derivative,in the D' Alembertway of
functions.
but byy = log x
is stillobtainedby separation(Loswicklung),
differentiation,
Ax by lettingh pass through
the derivativecan only be obtainedfromAy/
a real change.
28G. H. Hardy, Pure Mathematics
(Cambridge UniversityPress, 6th ed., 1933) esp. p.
116, 198. This definitionoflimitis valid when7 tendsto zero by positivevalue. In a similar
way a definitionof limitcan be reached when^ytends to zero by negativevalues.
27See e.g. F. Cajori, Am. Math. Monthly,xxn (1915), p. 149, concerning variables
reachingtheirlimits:"In moderntheoryit is not particularlya question of argument,but
ratherofassumption.The variable reachesitslimitifwe will thatit shall; it does not reach
its limit,ifwe will thatit shall not." Such a reasoningseems to lead to the conclusionthat
it depends on our will whetherAchilles will reach or will not reach the tortoise.
28M. Pasch, "Der Begriffdes Differentials,"in Mathematik
am Ursprung
(Leipzig 1927)
p. 46-73, esp. p. 61, 68.
194
SCIENCE
AND SOCIETY
195
196
SCIENCE
AND SOCIETY
geometrical
applicationofthedifferential
calculus,thatis,in thegeometrical
representation(Versinnltchung).32