Dirk Struik - Marx and Mathematics
Dirk Struik - Marx and Mathematics
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
http://about.jstor.org/terms
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.
Guilford Press, S&S Quarterly, Inc. are collaborating with JSTOR to digitize, preserve and extend access
to Science & Society
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS
DIRK J. STRUIK
181
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
182 SCIENCE AND SOCIETY
Marx, in the later days of his life, cast some of his reflections con-
cerning the differential calculus into a readable form and dispatched
the manuscript to Engels. A letter of August 18, 1881 shows that Engels
had studied them:
Marx, who at that time was preoccupied with his wife's sickness-
she died in December of the same year- did not, it seems, return to the
subject in his subsequent correspondence. When, however, Engels re-
ported to Marx (November 21, 1882) on an exchange of letters between
him and their friend Sam Moore on the subject of Marx' mathematical
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 183
theories, Marx made a prompt reply the next day. We return to this
correspondence later in this article.
Marx died before he could add anything more to his ideas. Engels
later thought of publishing Marx' mathematical manuscripts together
with his own on the dialectics of nature. In the preface to the second
edition of the Anti-Dhring (1885) he mentions his own studies in
mathematics and the natural sciences, and adds that he had to dis-
continue them after the death of Marx. He concludes: "there will per-
haps later be an opportunity to collect and to publish the obtained
results, together with the posthumous, and very important, manuscripts
of Marx."6
Engels did not find the time to accomplish this work, and the papers
of Marx and Engels dealing with the exact sciences remained in the
archives. The German Social Democrats, who inherited the papers of
Marx and Engels, were unable to appreciate the dialectics of mathematics,
physics and chemistry. Understanding had to wait until the Russians
began to show the fundamental importance of Marx' and Engels* philo-
sophical work. Lenin's Materialism and Empirio-criticism (1908) was a
trail blazer, but it did not become known outside of strictly Russian
circles until it was published in German, long after the revolution of 1917.
Later the Russians published Engels' Dialectics of Nature; first in
Russian, then (1927) in the original German.
Both Lenin's and Engels' books are now available in English, Lenin's
in a translation of 1927, Engels' in a translation of 1940.
Still later some of the most characteristic of Marx' mathematical
manuscripts were published, but only in a Russian translation.7 Our
study is based on the papers published by the Russians. It is to be hoped
that all of his mathematical note books will eventually be published,
not only in Russian, but also in the original German.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
184 SCIENCE AND SOCIETY
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 185
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
186 SCIENCE AND SOCIETY
It was not until the last decades of the nineteenth century, under the
influenc of Dedekind and Du Bois Reymond, as well of Weierstrass and
Cantor that the thorough overhauling of the principles of the calculus
13 The preface to the sixth edition of Boucharlat's book (1856), which Marx con-
sulted, though mentioning in detail the work of Newton, Leibniz, D'Alembert and
Lagrange, is silent about Cauchy. One of the first widely used textbooks which ex-
plicitly used Cauchy's methods was C. Jordan, Cours d'analyse, which appeared in
1882.
MR, Dedekind, Stetigkeit und 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 physiologist Emil, who framed the slogan of agnosti-
cism: "Ignorabimus."
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 187
took place which underlies modern methods, and has shown that Cauchy's
approach can lead to full rigor. This work appeared too late to influence
Marx and Engels.16 The result is that Marx' reflections on the founda-
tions of the calculus must be appreciated as a criticism of eighteenth
century methods. We feel however that his work, developed contem-
poraneously with but independently of the leading mathematicians of
the second half of the nineteenth century, even now contributes to the
understanding of the meaning of the calculus.
We should never forget, of course, that Marx never published his
material, and that there is not even an indication that he intended pub-
lication, even though Engels seems to have played with the idea. Marx
worked on mathematics in spare hours, for relaxation, often in hours
of sickness, guided by some books which he happened to have in his
library, such as Boucharlat's, which introduced the principles of dif-
ferentiation in an unsatisfactory way. He looked for elucidation in the
sources quoted in Boucharlat and similar books, which led him to New-
ton, Leibnitz, D'Alembert and Lagrange. His notes were in the first
place intended for his own clarification, after reading those classics in
attempts to understand the often obscure texts. Struck by the unsatisfac-
tory formulations in these books, he tried in characteristic way to
straighten out the difficulties for himself.
The difficulties which Marx tried to overcome are at present as real
as in his time, even if our formal apparatus is more carefully elaborated
and practically foolproof. These difficulties are as old as Zeno of Elea
and as young as the latest philosophical or physiological attempt to
understand how rest can pass into motion, and how motion can lead to
rest. This is the reason why Marx studied so carefully the conception
of the derivative of a function and the related conception of the di-
ferential. He found that there are three main methods by which these
conceptions have been developed. Marx classified them, called them the
mystical, the rational and the algebraic method (connected with the
names of Newton-Leibnitz, D'Alembert and Lagrange respectively), and
then opposed to them his own mode of understanding the derivative,
the differential, and the calculus in general. Let us explain the difficulty
by differentiating the function y=x8 in the different ways criticized by
Marx.
l It is even doubtful if any pertinent information on the work of the great German
mathematicians of the second half of the nineteenth century reached Marx and Engels.
The England of their days was an excellent place to study capitalism, as well as physics
and chemistry and biology, but it was backward in mathematics, except in some spe-
cialized branches of geometry and algebra.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
188 SCIENCE AND SOCIETY
the nullification of A is not permitted before the first derived function, here
3x' has been liberated from the factor h by division, hence (y' - y)/h = 3*2
+ 3xh + h2. Only then can we annul (aufheben) the finite difference. The
differential coefficient dy/dx = 3x2 must therefore also originally be de-
veloped before we can obtain the differential dy = 3x2 dx.
In other words, we knew in advance what the answer must be, and build
up some reasoning to make it plausible. It was this loose way in which
Newton and Leibnitz usually founded the calculus which led Bishop Berkeley
to his famous criticism in The Analysts of 1734. Here he asked whether the dx
are zero or not zero, called them "ghosts of departed quantities" and con-
cluded that no mathematician who believed these absurdities could reason-
ably object to the miraculous tenets of religion. It has not been the only
case in which foundation difficulties in science have been exploited for
idealist and obscurantist reasons.
17 Leibnitz issued his first publication on the calculus in 1684, Newton his in 1693.
18 See e.g. F. Cajori, A History of the Conceptions of Limit and Fluxion in Great Britain from
Newton to Woodhouse (Chicago and London, 1919).
19 D'Alembert on "Diffrentiel" in Diderot's Encyclopdie (1754)
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 189
h xi - x A h
into -J- :
:--*-/
The way in which D' Alembert differentiates is very much akin to Cauchy's
method. We write at present with Cauchy
dy lim /(* + A) -/(*).
dx h+o A
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
190 SCIENCE AND SOCIETY
yx = f{x + h) -, (or/*) + dh + g + . . .
Marx then paraphrases Lagrange's method in the words:
In the first method (1), as well as in the rational one (2), the required
real coefficient is fabricated ready made by the binomial theorem and can
be found already as second term of the series expansion, hence in the term
which necessarily contains A1. The whole further differential procedure, be
it as in (1) or be it as in (2), is therefore luxury. Let us therefore shed the
useless ballast. We know once and for all from the binomial expansion that
the first real coefficient is the factor of A, the second one that of A1, etc. These
real differential coefficients are nothing but the derived functions of the original
function in x, expanded binomially in succession . . . The whole real problem
reduced itself to the finding of methods (algebraic ones) of expanding all
kinds of functions of x + A into integral ascending powers of A, which in
many cases cannot be effected without great prolixity of operations. u Up
to now there appears nothing in Lagrange, but what can be found directly
from D'Alembert's method (since this also includes the whole development
of the mystics).
The objection which Marx raised against the classical writers was that all
four had the derivative already prepared before the process of differentiation
really begins. Marx wanted a method which actually folowed the process of
variation of the variable and in this process itself defined the derivative as
o/oy in which case it can be endowed with a new symbol dy/dx. The deriva-,
tive, he claimed, should be derived by a process of differentiation, not be pro-
duced from the beginning by the binomial theorem.
M We now know that often it cannot be done at all, but this requires an extension of the
functional conception beyond Lagrange's horizon.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 191
-sss^ssx2
o dx dx + xx + x2ss3x2m
In this method, writes Marx, we obtain first a preliminary derivative, namely
x2 + xxi + x2, and this passes by x = x' into the definite derivative. This
passing from x' to x does away with any "infinitesimal" approximation, i*
shows that the derivative is actually o/o, obtained when xi - x is actually
zero:
Secondly: Through the fact that x' has been placed = *, hence x' - x = o,
nothing symbolic enters into the "derivative." The quantity x', originally
introduced by the variation of *, does not disappear, it is only reduced to its
minimal boundary x. It remains an element introduced as new into the
original function, which by its combination partly with itself, partly with the
x of the original function produces at the end the "derivative," that is the
preliminary "derivative" reduced to its minimum value.
. . . The transcendental or symbolic accident (o/o = dx/dy = 3x2) occurs
only on the left hand side, but it has already lost its terror, as it appears now
only as the expression of a process that already has shown its real content
on the right hand side of the equation.24
At the moment that x' = x the quotient Ay /Ax becomes 0/0. Since in this
expression 0/0 every trace of its origin and of its meaning has disappeared it
is replaced by the symbol dy/dx, in which the finite differences Ay and A*
appear in symbolical form as liquidated (aufgehobene) or vanished (verschwundene)
differences. At this moment algebra disappears and the differential calculus,
which operates with the symbols dy/dx, begins.
In order to understand Marx' intentions better, we translate here part of
the letter which Engels wrote him August 18, 1881, after he had read Marx'
manuscript:
When we say that in y = f(x) the x and y are variables, then this is, as
long as we do not move on, a contention without all further consequences,
and x and y still are, pro tempore, constants in fact. Only when they really
change, that is inside the function, they become variables in fact. Only in that
case is it possible for the relation - not of both quantities as such, but of their
variability - which still is hidden in the original equation, to reveal itself.
28 "nur als Faktor, womit die durch das Binom abgeleiteten Funktionen usserlich
behaftet sind."
*4 "Das transzendentale oder symbolische Unglck ereignet sich nur auf der linken
Seite, hat aber seine Schrecken bereits verloren, da es nun als Ausdruck eines Prozesses
erscheint, der, seinen wirklichen Gehalt bereits auf der rechten Seite der Gleichung
bewhrt hat."
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
192 SCIENCE AND SOCIETY
The first derivative Ay /Ax shows this relation as it occurs in the course of the
real change, that is in every given change; the final derivative dy/dx shows
it in its generality, pure. Hence we can come from dy/dx to every Ay/ Ax,
while this itself (Ay /Ax) only covers the special case. However, to pass from
the special case to the general relationship the special case has to be liquidated
as such (als solcher aufgehoben werden). Hence, after the function has passed
through the process from x to xf with all its consequences, xr can be quietly
allowed to become x again, it is no longer the old x, which was only variable
in name, it has passed through real change, and the result of the change re-
mains, even if we liquidate it again itself (auch wenn wir sie selbst wieder aufheben).
We see here at last clearly, what many mathematicians have claimed for
a long time, without being able to present rational reasons for it, that the
derivative is the original, the differentials dx and dy are derived.
The difference between Marx' method and D'Alembert's method (and
also that of Cauchy) should not be misunderstood and rejected as trivial or
insignificant (xf - x = A versus xf = x + A). Marx, as I see it, was per-
fectly satisfied that D'Alembert's method is formally correct. However, he
wanted to come to an understanding of the process of differentiation itself.
Is the derivative obtained by letting x (and y) pass through a sequence of
constant values, or is it necessary to let x (andy) really change? Thus under-
stood, we see the old "paradox" of Zeno emerging: can the motion of a point
be obtained by following a sequence of positions of this point at rest? Zeno
showed that a sequence of such positions will never produce motion; he also
showed by a similar reasoning that Achilles will never reach the tortoise.
D'Alembert's method, Marx claimed, represents a mode of thought which
does not do justice to the actual event which happens when a function is
differentiated. What happens is a real change, and this is better understood
when we first write Ay /Ax as a function of x and an entirely new x', and then
let x = xr. Moreover, A = x' - x does not only approach zero, A becomes
zero. Emphasis is placed on the fact that the derivative only appears when
both Ay and Ax are absolutely zero. This never became clear with the
"mystics" Leibnitz-Newton, and appeared as an accidental thing in D'Alem-
bert-Lagrange.25 It is so little understood that in some popular texts, such
as Hogben's Mathematics for the Million, the impression is given that the
process of differentiation is only approximately true. But even in our modern
textbooks, though they use a formal apparatus which is unimpeachable,
some of the thought behind the apparatus is not fully clarified.
Let us take, as an example, the textbook Pure Mathematics of G. H. Hardy,
who is one of our greatest living mathematicians. The derivative is explained
in the Cauchy-D'Alembert way:
,M _ lim 0(s + A) - 4>(x)
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 193
which means that {<f> (* + h) - <f> (*)} /h tends to a limit when h tends to
zero. What does this mean? We are told that 0 (y) tends to the limit / as y
tends to zero, if, when any positive number 8, however small, is assigned, we
can choose^o(5) so that |4 (y) - /| < when o <y J>o($).26
This definition is exact, in the sense that we have a correct and subtle
criterium to test any limit. But 4> {y) always hovers near the limit, since we
are told that y "tends" to zero. Similarly, 4>f (*) is defined by means of an
h which "tends" to zero. The question is, is the event h = o ever reached?
Marx not only affirms it, he stresses it. The usual modern textbook definition
does not take this question seriously, because it is satisfied with a pragmatic
criterium which allows us to recognize a limit when it appears.27
The result is that much teaching of the elements of the calculus proceeds
as follows - and I confess to it myself in my own teaching. First, it is shown
that a limit can be approached as closely as we like, but never reached. Then
the derivative is defined with the aid of this conception of limit. And then
suddenly we begin to work with this derivative, which could never be
reached (as we have before demonstrated) as if it actually had been reached.
The case h = o, xr = #, though present in the formal apparatus, is somehow
obscured in the reasoning. An exception is found in the work of Moritz
Pasch, who in his very careful analysis of the derivative develops a formal
apparatus in which there is full room for the case h = o.28
Marx therefore belonged to that school of thinkers who insist on utmost
clarity of thought in interpreting a formal apparatus. His position contrasts
sharply to that of those mathematicians or mathematical physicists who
believe that the formal apparatus is the only thing that matters. Marx'
position was that of the materialist, who insists that significant mathematics
must reflect operations in the real world.
It is interesting to notice that the differences between Marx' and D'Alem-
bert's formal apparatus diminish when we consider more complicated
functions. For the case y = sin x the derivative, in the D' Alembert way of
differentiation, is still obtained by separation (Loswicklung), but by y = log x
the derivative can only be obtained from Ay/ Ax by letting h pass through
a real change.
28 G. H. Hardy, Pure Mathematics (Cambridge University Press, 6th ed., 1933) esp. p.
116, 198. This definition of limit is valid when 7 tends to zero by positive value. In a similar
way a definition of limit can be reached when^y tends to zero by negative values.
27 See e.g. F. Cajori, Am. Math. Monthly, xxn (1915), p. 149, concerning variables
reaching their limits: "In modern theory it is not particularly a question of argument, but
rather of assumption. The variable reaches its limit if we will that it shall; it does not reach
its limit, if we will that it shall not." Such a reasoning seems to lead to the conclusion that
it depends on our will whether Achilles will reach or will not reach the tortoise.
28 M. Pasch, "Der Begriff des Differentials," in Mathematik am Ursprung (Leipzig 1927)
p. 46-73, esp. p. 61, 68.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
194 SCIENCE AND SOCIETY
When uz =/(*), then dy/dx can be written /'(*), and "the/'(x) stands
opposed to dy/dx as its own symbolic expression, as its double or symbolic
equivalent."
The symbolic differential coefficient has become an independent starting pointy
whose real equivalent has first to be found. The initiative has been moved
from the right hand pole, the algebraic one (in dy/dx =/'(*)) to the left
hand one, the symbolic one. With this, however, the differential calculus
appears also as a specific kind of computation, operating already independ-
ently on its own territory. Its starting points du/dx, dz/dx are mathematical
quantities which belong exclusively to this calculus and characterize it. And
this reversal (Umschlag) of the method resulted here from the algebraic
differentiation of uz- The algebraic method changes automatically into its
opposite, the differential method.
19 V. Glivenko, "Der Differentialbegriff bei Marx und Hadamard," Unter dem Banner
des Marxismus (1935) no. 9, p. 102-110; Russian text in Pod Znamenem Marksi&na 1934,
no. 5. See J. Hadamard, Cours d'analyse, i (Paris, 1927), p. 2 and 6.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
MARX AND MATHEMATICS 195
found its way in all our texts, is mechanical and can only be justified by the
use to which the formula dy = /' (x) dx can be put as an approximation to
certain changes of a constant x into an equally constant x + A#.80 And the
fact that this difference between dx and Ax, dy and Ay can be neatly repre-
sented in a figure would not have impressed Marx and Engels, whose
interest was in the arithmetical-algebraic relationship of the symbols of the
calculus with the real process of change. This may be shown from the follow-
ing correspondence between Marx and Engels after Sam Moore had written
his opinion on the manuscript material of Marx:
Enclosed first a mathematical attempt by Moore. The result that "the
algebraic method is only the differential method disguised" refers of course
only to his own method of geometrical construction and is there also rela-
tively correct. I have written to him that you do not care about the way in
which the matter is represented in the geometrical construction, the applica-
tion to the equation of the curves is indeed sufficient (reiche ja hin). Moreover,
the fundamental difference between you and the old method is that you make
x change into *', hence make them really vary, while the other one departs
from x + , which is always only the sum of two quantities, but never the
variation of a quantity. Your x therefore, even when it has passed through
x1 and has again become x, is yet another than before; while x remains
constant during the whole period when h is first added to x and later again
subtracted. However, every graphical representation of the variation is
necessarily the representation of the past process, of the result, hence of a
quantity which became constant, the line x; its complement is represented
as x + A, two segments of a line. From this already follows that a graphical
representation of how x becomes x1 and x* again becomes x is impossible
(Engels to Marx, Nov. 21, 1882).31
Sam, as you have seen immediately, criticizes the analytical method which I
have used by simply pushing it aside, and instead keeps himself busy with
the geometrical application, to which I did not devote one word
I could in the same way get rid of (konnte damit abspeisen) the development
of the proper so-called differential method - beginning with the mystical
method of Newton and Leibnitz, then continuing with the rationalist method
of D'Alembert and Euler, and finishing with the strictly algebraic method
of Lagrange (which however always starts from the same original principle
as Newton-Leibnitz) - I could get rid of this whole historical development
of analysis by saying that practically nothing essential has changed in the
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms
196 SCIENCE AND SOCIETY
This last remark of Marx shows affinity with that of Dedekind, who also
endeavored to build up the calculus independent of the geometrical repre-
sentation of the derivative. We can consider this as one of the characteristics
of Marx' analysis, in which it agreed with our modern approach. Another
important feature was his insistence on the operational character of the
differential and on his search for the exact moment where the calculus
springs from the underlying algebra as a new doctrine. "Infinitesimals" do
not appear in Marx' work at all. In his insistence on the origin of the deriva-
tive in a real change of the variable he takes a decisive step in overcoming
the ancient paradox of Zeno - by stressing the task of the scientist in not
denying the contradictions in the real world but to establish the best mode
in which they can exist side by side.32 Here his position is directly opposite
to that taken by Du Bois Reymond, who thought that the increments dx, dy
have to be taken as being at rest, invariable,33 or of the modern mathema-
tician Tarski, who denies the existence of variable quantities altogether.34
Marx' position in this respect will be appreciated by most mathematicians.
We believe that this survey of Marx' opinions on the origin of the calculus
demonstrates that publication of his other mathematical manuscripts is
also desirable.
82 Marx-Engels Gesamtausgabe, Abt. Ill, Bd. iv, p. 572. Compare Marx, Capital, Part I,
ch. 3, Section 2: "The Metamorphosis of Commodities," (Engl. translation, ed. 1889,
p. 76).
83 Du Bois Reymond, op. cit., p. 141, states his dislike for the conception of dx as a
"quantit vanouissante," since he disapproves (geht mir entschieden wider den Mann) quan-
tities which begin to move only when we look at the formulas: ''As long as the book is
closed, profound rest prevails. As soon as I open it, the race to zero begins of all quantities
provided with the d" Marx, without coming to Du Bois Reymond's conclusion, might
have shared his criticism, since he wanted to express not only a change on paper, but a
change in reality.
34 A Tarski, Introduction to Logic (New York, 1941), p. 4.
This content downloaded from 193.140.194.57 on Sun, 22 May 2016 19:13:32 UTC
All use subject to http://about.jstor.org/terms