Topology_and_biology_From_Aristotle_to_Thom
Topology_and_biology_From_Aristotle_to_Thom
Topology_and_biology_From_Aristotle_to_Thom
net/publication/329181446
CITATIONS READS
0 491
1 author:
Athanase Papadopoulos
University of Strasbourg
341 PUBLICATIONS 2,704 CITATIONS
SEE PROFILE
All content following this page was uploaded by Athanase Papadopoulos on 20 January 2020.
ATHANASE PAPADOPOULOS
Contents
1. Introduction 1
2. D’Arcy Thompson 6
3. Aristotle, mathematician and topologist 8
4. Thom on Aristotle 17
5. On form 27
References 33
1. Introduction
Bourbaki, in his Éléments d’histoire des mathématiques, at the beginning
of the chapter on topological spaces, writes ([16, p. 175]):
The notions of limit and continuity date back to antiquity; one
cannot make their complete history without studying systemati-
cally, from this point of view, not only the mathematicians, but
also the Greek philosophers, and in particular Aristotle, and with-
out tracing the evolution of these ideas through the mathematics
of the Renaissance and the beginning of differential and integral
catastrophes,4 Thom writes [42, p. viii]:5 “It was only quite recently, almost
by chance, that I discovered the work of Aristotle. It was fascinating reading,
almost from the start.” More than a source of inspiration, Thom found in
the writings of the Stagirite a confirmation of his own ideas. At several
occasions, he expressed his surprise to see in these writings statements that
he himself had came up with, in slightly different terms, without being
aware of their existence. He declares in his 1991 article Matière, forme
et catastrophes [43, p. 367]: “In the last years, in view of my writing of
the Semiophysics, I was led to go more thoroughly into the knowledge of
the work of the Stagirite.”6 He found in that work the idea that, because we
cannot understand everything in nature, we should concentrate our efforts on
stable and generic phenomena. Aristotle formulated the difference between
a generic and a non-generic phenomenon as a difference between a “natural
phenomenon” and an “accident.” Interpreting this idea (and related ones)
in terms of modern topology is one of the epistemological contributions of
Thom. He writes in his Esquisse [42, p. 12] (p. ix of the English translation):
[. . . ] If I add that I found in Aristotle the concept of genericity
(ὡς ἐπὶ τὸ πολύ), the idea of stratification as it might be glimpsed
in the decomposition of the organism into homeomerous and an-
homeomerous parts by Aristotle the biologist, and the idea of the
breaking down of the genus into species as images of bifurcation,
it will be agreed that there was matter for some astonishment.
The notion of “homeomerous” (ὁμοιομερής), to which Thom refers in this
passage, occurs in Aristotle’s History of animals, his Parts of animals, and
in other zoological writings. It contains the idea of self-similarity that ap-
pears in mathematics. Among the other topological ideas that Thom found
in Aristotle’s writings are those of open and closed set, of cobordism, and
the Stokes formula. We shall quote the explicit passages below. This Aris-
totelian view of mathematics, shared by Thom, tells us in particular that
mathematics emerges from our daily concepts, rather than exists is some
Platonist ideal realm.
Thom published several articles on topology in Aristotle, including Les in-
tuitions topologiques primordiales de l’aristotélisme (The primary intuitions
of Aristotelianism) [40] (1988) which is an expanded version of a section
in Chapter 7 of the Esquisse, Matière, forme et catastrophes (Matter, form
and catastrophes) [43] (1991), an article published in the proceedings of a
conference held at the Unesco headquarters in Paris at the occasion of the
23rd centenary of the Philosopher, Aristote topologue (Aristotle as a topol-
ogist) [47] (1999) and others. It comes out from Thom’s articles that even
though Aristotle did not build any topological theory in the purely mathe-
matical sense, topological intuitions are found throughout his works. Thom
writes in [40, p. 395]: “We shall not find these intuitions in explicit theses
4We quote from the English translation published in 1990 under the title Semio Physics:
A Sketch, with the subtitle Aristotelian Physics and Catastrophe Theory.
5Page numbers refer to the English translation.
6Ces dernières années, en vue de la rédaction de ma Sémiophysique, j’ai dû entrer plus
profondément dans la connaissance de l’œuvre du Stagirite.
TOPOLOGY AND BIOLOGY 5
and constructions of the theory. We shall find them mostly in some ‘small
sentences’ that illuminate the whole corpus with their brilliant concision.”7
Thom considered that mathematics is a language that is adequate for phi-
losophy. he expressed this is several papers, and in particular in the article
Logos phenix [35] and others that are reprinted in the collection Modèles
mathématiques de la morphogenèse [36]. In fact, beyond the discussion that
we have here concerning topological notions, the question of how much philo-
sophical notions carrying a mathematical name (infinity, limit, continuity,
etc.) differ from their mathematical counterparts is debatable. Indeed, one
may argue that mathematics needs precise terms and formal definitions.
Such a position is expressed by Plotnitsky, who writes in his essay published
in the present volume [26]:
What made topology a mathematical discipline is that one can as-
sociate algebraic structures (initially numbers, eventually groups
and other abstract algebraic structures, such as rings) to the ar-
chitecture of spatial objects that are invariant under continuous
transformations, independently of their geometrical properties.
Plotnitsky also quotes Hermann Weyl from his book The continuum [50],
where the latter says that the concepts offered to us by the intuitive notion of
continuum cannot be identified with those that mathematics presents to us.
Thom had a different point of view. For him, mathematics and our intuition
of the real world are strongly intermingled. In the article Logos phenix [36,
p. 292], he writes: “How can we explain that mathematics represents the real
world? The answer, I think is offered to us by the intuition of the continu-
ous”8 For him, it is the geometrical notion of continuous that gives a meaning
to beings that would have needed infinitely many actions. He mentions the
paradox of Achilles and the Tortoise that allows us to give a meaning to the
infinite sum 1/2+1/4+1/8+... Here, he writes, “infinite becomes seizable
in action.”9 Conversely, he says, the introduction of a continuous underly-
ing substrate allows us to explain the significant—non-trivial—character of
many mathematical theorems [36, p. 293].
Beyond philosophy, Thom used the mathematics that he developed in
order to express natural phenomena. At several occasions, he insisted on
the fact that the mathematical concepts need not be formalized or rigorously
expressed in order to exist. He recalls in [14] that “rigor” is a latin word that
reminds him of the sentence rigor mortis (the rigor of a dead body). He
writes that rigor is “a very unnecessary quality in mathematical thinking.” In
his article [39], he declares that anything which is rigorous is not significant.10
Our aim in the next few pages is to expand on these ideas. A collection
of essays on the Thom and his work appeared in print recently, [25].
7Ces intuitions, on ne les trouvera pas dans les thèses et les constructions explicites de
la théorie. On les trouvera surtout dans quelques “petites phrases”, qui illuminent tout le
corpus de leur éclatante concision.
8Comment expliquer que les mathématiques représentent le réel ? La réponse, je crois,
nous est offerte par l’intuition du continu.”
9L’infini devient saisissable en acte.
10Tout ce qui est rigoureux est insignifiant.
6 ATHANASE PAPADOPOULOS
2. D’Arcy Thompson
Before talking more thoroughly about Aristotle and Thom, I would like
to say a few words on the mathematician, biologist and philosopher who, in
many ways, stands between them, namely, D’Arcy Thompson.11 At several
occasions, Thom referred to the latter’s book On growth and form (1917), a
frequently quoted work whose main object is the existence of mathematical
models for growth and form in animal and vegetable biology at the level
of cells, tissues and other parts of a living organism. D’Arcy Thompson
emphasized the striking analogies between the mathematical patterns that
describe all these parts, searching for general laws based on these patterns.
In reading On growth and form, Thom had the same reaction he had when
he read Aristotle: he was amazed by the richness of the ideas contained
in it, and by their closeness to his own ideas. In turn, Thompson had a
boundless admiration for Aristotle who had placed biology at the center of
his investigations. In an article titled On Aristotle as biologist, Thompson
calls the latter “the great biologist of Antiquity, who is maestro di color che
sanno,12 in the science as in so many other departments of knowledge.” [48,
p. 11] Likewise, Thom, in his articles Les intuitions topologiques primordiales
de l’aristotélisme and Matière, forme et catastrophes, refers to Aristotle as
“the Master” (“le Maı̂tre”). Thompson writes in On growth and form [48,
p. 15]:
[Aristotle] recognized great problems of biology that are still ours
today, problems of heredity, of sex, of nutrition and growth, of
adaptation, of the struggle for existence, of the orderly sequence of
Nature’s plan. Above all he was a student of Life itself. If he was
a learned anatomist, a great student of the dead, still more was
he a lover of the living. Evermore his world is in movement. The
seed is growing, the heart is beating, the frame breathing. The
ways and habits of living things must be known: how they work
and play, love and hate, feed and procreate, rear and tend their
young; whether they dwell solitary, or in more and more organized
companies and societies. All such things appeal to his imagination
and his diligence.
Before Thom, D’Arcy Thompson foresaw the importance of topology in
biology. He writes, in the same treatise [48, p. 609 ff]:
[. . . ] for in this study of a segmenting egg we are on the verge of a
subject adumbrated by Leibniz, studied more deeply by Euler, and
greatly developed of recent years. [. . . ] Topological analysis seems
somewhat superfluous here; but it may come into use some day to
11D’Arcy Wentworth Thompson (1860-1948) was a Scottish biologist with a profound
passion for mathematics and for Greek science and philosophy. He was also an accom-
plished writer and his magnum opus, On growth and form, is an authentic literary piece.
He is considered as the first who found a relation between the Fibonacci sequence and
some logarithmic spiral structures in the animal and vegetable life (mollusk shells, rumi-
nant horns, etc.). His works were influential on several 20th century thinkers including C.
H. Waddington, Alan Turing, Claude Lévi-Strauss and Le Corbusier and on artists such as
Richard Hamilton and Eduardo Paolozzi. D’Arcy Thompson translated Aristotle’s History
of animals, a translation which is among the authoritative ones.
12
The quote is from Dante’s Inferno, in which he mentions Aristotle: “I saw the master
of those who know.”
TOPOLOGY AND BIOLOGY 7
continuing importance of his 100 years old book On growth and form. Let
me also mention that in 2017, a workshop dedicated to that book was held
at Princeton’s Institute for Advanced Study.
edit, with the difference that Aristotle’s problems concern not only mathe-
matics but all subjects of human knowledge: psychology, biology, physics,
acoustics, medicine, ethics, physiology, etc. In total, there are 890 prob-
lems. They generally start with the words “Why is it that...” For instance,
Problem 48 of Book XXVI asks: Why is it that the winds are cold, although
they are due to movement caused by heat? Problem 19 of Book XXXI asks:
Why is it that when we keep our gaze fixed on objects of other colours our
vision deteriorates, whereas it improves if we gaze intently on yellow and
green objects, such as herbs and the like? Problem 20 of the same book
asks: Why is it that we see other things better with both eyes, but we can
judge of the straightness of lines of writing better with one eye? Some of
the problems concern mathematics. For instance, Problem 3 of Book XV
asks: Why do all men, Barbarians and Greek alike, count up to 10 and not
up to any other number, saying for example, 2, 3, 4, 5 and then repeating
then, “one-five”, “two-five”, just as they say eleven, twelve? Problem 5 of the
same book starts with the question: Why is it that, although the sun moves
with uniform motion, yet the increase and decrease of the shadows is not
the same in any equal period of time? Book XVI is dedicated to “inanimate
things.” Problems 1 and 2 in that book concern floating bubbles. Problem
2 asks: Why are bubbles hemispherical? 23 Problem 5 asks: Why is it that
a cylinder, when it is set in motion, travels straight and describes straight
lines with the circles in which it terminates, whereas a cone revolves in a
circle, its apex remaining still, and describes a circle with the circle in which
it terminates? Problem 5 of the same book concerns the traces of oblique
sections of a cylinder rolling on a plane. Problem 6 concerns a property of
straight lines: Why is it that the section of a rolled book, which is flat, if
you cut it parallel to the base becomes straight when unrolled, but if it is cut
obliquely becomes crooked?
Another mathematical topic discussed in detail in Aristotle’s works is
that of infinity, for which the Greeks had a name, apeiron (ἄπειρον), mean-
ing “boundless.” This notion, together with that of limit, is discussed in
the Categories, the Physics, the Metaphysics, On the heavens, and in other
writings. In the Physics,24 Aristotle mentions the two occurrences of the in-
finite in mathematics: the infinitely large, where, he says, “every magnitude
is surpassed” and the infinitely small, where “every assigned magnitude is
surpassed in the direction of smallness.” Aristotle disliked the “unbounded
23
D’Arcy Thompson was also fascinated by the questions of form and transformation
of floating bubbles, in relation with the question of growth of a living cell submitted to a
fluid pressure (cf. On growth and form, Chapters V to VII). On p. 351, he talks about
“the peculiar beauty of a soap-bubble, solitary or in collocation [..] The resulting form is
in such a case so pure and simple that we come to look on it as well-nigh a mathematical
abstraction.” On p. 468, he writes: “Bubbles have many beautiful properties besides
the more obvious ones. For instance, a floating bubble is always part of a sphere, but
never more than a hemisphere; in fact it is always rather less, and a very small bubble is
considerably less than a hemisphere. Again, as we blow up a bubble, its thickness varies
inversely as the square of its diameter; the bubble becomes a hundred and fifty times
thinner as it grows from an inch in a diameter to a foot.” Later in the same chapter,
Thompson talks about clustered bubbles (p. 485). He quotes Plateau on soap-bubble
shapes.
24
Physics, [1] 201a-b.
10 ATHANASE PAPADOPOULOS
infinite” and his interest lied in the second kind. He writes in the same
passage:
Our account does not rob the mathematicians of their science, by
disproving the actual existence of the infinite in the direction of
increase, in the sense of the untraversable. In point of fact they do
not need the infinite and do not use it. They postulate only that
the finite straight line may be produced as far as they wish.
This is a reference to the occurence of the infinitely large in the axioms of
geometry (predating Euclid). It is interesting to note that Descartes consid-
ered that only the infinitely small appears in mathematics. The infinitely
large, in his conception, belongs to metaphysics only. See the comments by
R. Rashed in his article Descartes et l’infiniment petit [28].
Aristotle, in his discussion of infinity, makes a clear distinction between
the cases where infinity is attained or not. In a passage of the Physics,25 he
provides a list of the various senses in which the word “infinite” is used: (1)
infinity incapable of being gone through; (2) infinity capable of being gone
through having no termination; (3) infinity that “scarcely admits of being
gone through”; (4) infinity that “naturally admits of being gone through,
but is not actually gone through or does not actually reach an end.” He dis-
cusses the possibility for an infinite body to be simple infinite or compound
infinite.26 In the same page, he talks about form, which, he says, “contains
matter and the infinite.” There is also a mention of infinite series in the
Physics.27
One should also talk about the mathematical notion of continuity in the
writings of the Philosopher.
In the Categories, Aristotle starts by classifying quantities into discrete
or continuous.28 He declares that some quantities are such that “each part
of the whole has a relative position to the other parts; others have within
them no such relation of part to part,” a reference to topology. As examples
of discrete quantities, he mentions number (the integers) and speech. As
examples of continuous quantities, he gives lines, surfaces, solids, time and
place (a further reference to topology). He explains at length, using the
mathematical language at his disposal, why the set of integers is discrete.
According to him, two arbitrary integers “have no common boundary, but
are always separate.” He declares that the same holds for speech: “there is
no common boundary at which the syllables join, but each is separate and
distinct from the rest.” This is a way of saying that each integer (respectively
each syllable) is isolated from the others. Aristotle writes that a line is a
continuous quantity “for it is possible to find a common boundary at which
its parts join.” He decalres that space is a continuous quantity “because the
parts of a solid occupy a certain space, and these have a common boundary;
it follows that the parts of space also, which are occupied by the parts
of the solid, have the same common boundary as the parts of the solid.”
Time, he writes, is also a continuous quantity, “for its parts have a common
25
Physics, [1] 204a.
26
Physics, [1] 204b10.
27
Physics [1] 206a25-206b13.
28
Categories [10] 4b20.
TOPOLOGY AND BIOLOGY 11
29
Categories [10] 5a10.
30
Physics, [1] 211a ff.
12 ATHANASE PAPADOPOULOS
31
Physics, [1] 211b5-9.
32
Physics [1] 212a20.
TOPOLOGY AND BIOLOGY 13
Among the curves of similar shape that are not homeomerous, he gives the
example of Archimedes’ (planar) spiral, the conical helix, and the spherical
helix (see p. 95 of ver Eecke’s edition of his Commentary on the First Book
of Euclid’s Elements [27]). In the same work, Proclus attributes to Geminus
a result stating that there are only three homeomerous curves: the straight
line, the circle and the cylindrical helix [27, p. 102].
Aristotle was a mathematician in his unrelenting desire for making ex-
haustive classifications and of finding structure in phenomena: after all, he
introduced his Categories for that purpose. In the History of animals, like
in several other treatises by Aristotle, the sense of detail is dizzying. He
writes (D’Arcy Thompson’s translation)33:
Of the substances that are composed of parts uniform (or homo-
geneous) with themselves, some are soft and moist, others are dry
and solid. The soft and moist are such either absolutely or so long
as they are in their natural conditions, as, for instance, blood,
serum, lard, suet, marrow, sperm, gall, milk in such as have it
flesh and the like; and also, in a different way, the superfluities,
as phlegm and the excretions of the belly and the bladder. The
dry and solid are such as sinew, skin, vein, hair, bone, gristle, nail,
horn (a term which as applied to the part involves an ambiguity,
since the whole also by virtue of its form is designated horn), and
such parts as present an analogy to these.
Thom, in Chapter 7 of his Esquisse, comments on Aristotle’s methods of
classification developed in the Parts of animals, relating it to his own work
as a topologist. He recalls that Aristotle
attacks therein the Platonic method of dichotomy, suggesting in its
place an interrogative method for taking the substrate into consid-
eration. Thus, if we propose to attain a definition characterizing
the “essence” of an animal, we should not, says Aristotle, pose
series of questions bearing on “functionally independent” charac-
teristics. For example, “Is is a winged or a terrestrial animal?” or
“Is it a wild animal or a tame one?” Such a battery of questions
bearing on semantic fields —genera— unrelated one to the other,
can be used in an arbitrary order. The questionnaire may indeed
lead to a definition of sorts, but it will be a purely artificial one. It
would be more rational to have a questionnaire with a tree struc-
ture, its ramification corresponding to the substrate. For instance,
after the question: “Is the animal terrestrial?”, if the answer is yes,
we will ask, “Does the animal have legs?” If the answer is again
yes, we then ask, “Is the foot all in one (solid), or cloven, or does it
bear digits?” Thus we will reach a definition which is at the same
time a description of the organism in question. Whence a better
grasp of its essence in its phenomenal aspect. Aristotle observes,
for instance, that if one poses a dilemma bearing on a private op-
position, presence of A, absence of A, the natural posterity of the
absence of A in the question-tree is empty. In a way the tree of this
questionnaire is the reflection of a dynamic inside the substrate.
It is the dynamic of the blowing-up of the centre of the body (the
4. Thom on Aristotle
Chapter 5 of Thom’s Esquisse is titled The general plan of animal organi-
zation and is in the lineage of the zoological treatises of Aristotle, expressed
in the language of modern topology. Thom writes in the introduction: “This
presentation might be called an essay in transcendental anatomy, by which I
mean that animal organization will be considered here only from the topol-
ogists’ abstract point of view.” He then writes: “We shall be concerned with
ideal animals, stylized images of existing animals, leaving aside all consider-
ations of quantitative size and biochemical composition, to retain only those
inter-organic relations that have a topological and functional character.” In
§B of the same chapter, Thom returns to Aristotle’s notion of homeomer-
ous and anhomeomerous, in relation with the stratification of an animal’s
organism, formulating in a modern topological language the condition for
two organism to “have the same organisation.”
An organism, in Thom’s words, is a three-dimensional ball O equipped
with a stratification, which is finite if we decide to neglect too fine details.
For example, when considering the vascular system, Thom stops at the de-
tails which may be seen with the naked eye: arterioles and veinlets. He
writes: “We will thus avoid introducing fractal morphologies which would
take us outside the mathematical schema of stratification.” Seen from this
point of view, the homeomerous parts are the strata of dimension three
(blood, flesh, the inside of bones...), the two-dimensional strata are the
membranes: skin, mucous membrane, periosteum, intestinal wall, walls of
the blood vessels, articulation surfaces, etc., the one-dimensional strata are
the nerves: vessel axes, hairs, etc., and the zero-dimensional strata are the
points of junction between the one-dimensional strata or the punctual sin-
gularities: corners of the lips, ends of hairs, etc.
Thom says that two organisms O and O0 “have the same organisation”
if there exists a homeomorphism h : O → O0 preserving this stratification.
He claims that such a formalism generalizes D’Arcy Thompson’s famous
diagrams and makes them more precise. The reference here is to Thompson’s
36Cf. for instance Metaphysics [8] 1080b16-22.
37Ce qui reste en moi du mathématicien professionnel admet difficilement que la math-
ématique ne soit qu’une construction gratuite dépourvue de toute attache au réel.
18 ATHANASE PAPADOPOULOS
sketches from On growth and Form which describe passages between various
species of fishes using homeomorphisms that preserve zero-dimensional, one-
dimensional, two-dimensional and three-dimensional strata.
Thom developed his ideas on the stratification of the animal body in the
series of lectures given in 1988 at the Solignac Abbey, a medieval monastery
in the Limousin (South of France). The lectures are titled Structure et
fonction en biologie aristotélicienne (Structure and function is Aristotelian
biology) and the lecture notes ara available [41]. On p. 7 of these notes, he
addresses the question of when two animals have isomorphic stratifications,
and he uses for this the notion of isotopy between stratified spaces: two
sets E1 , E2 have isotopic stratifications if there exists a stratification of the
product E × [0, 1] such that the canonical projection p : E × [0, 1] → [0, 1]
is of rank one on every stratum of E, with E1 = p−1 (1) and E2 = p−1 (2).
He considers that this notion is implicitly used by Aristotle in his classifi-
cation of the animals, insisting on the fact that the latter neglected all the
quantitative differences and was only interested in the qualitative ones. In
the same passage, he recalls that D’Arcy Thompson, who translated Aristo-
tle’s History of Animals, acknowledged that he found there the idea of his
diagrams.
TOPOLOGY AND BIOLOGY 19
living organism is its skin, and its “interior” exists only as a potentiality. A
homeomerous part of an animal has generally a boundary structure consti-
tuted by anhomeomerous parts. Thus, the substrate of a homeomerous part
is not closed.41 Mathematics, philosophy and biology are intermingled in
this interpretation of a living organism, following Aristotle, with formulae
like: “The opposition homeomerous-anhomeomerous is a “representation” (a
homomorphic image) of the metaphysical opposition: potentiality-act. As
the anhomeomerous is part of the boundary of a homeomerous of one di-
mension higher, we recover a case of the application of act as boundary of
the potentiality.”42
Thom refers to Chapter 16 of Book Z of the Metaphysics, interpreting a
sentence of the Metaphysics on entelechy (ἐντελέχεια) (the “creative princi-
ple”, by which being passes from potentiality to action): “Entelechy sepa-
rates”, as the opposition between an open and a closed set, more precisely,
by the fact that “a closed segment is ‘actual’ as opposed to the semi-open
interval which exists only as a potentiality.”43 He writes again, in the same
passage [43, p. 381]: “An open substrate characterizes potential entity. A
closed substrate is required for the acting being.”44
In a passage of the Esquisse, Thom talks about Aristotle as “the philoso-
pher of the continuous” [42, p. viii], and he considers that his chief merit
was that he was “the only one who thought in terms of the continuous” for
hundreds, may be thousands of years. In his article Logos phenix, Thom
writes: “How can we explain that mathematics represents the real? The re-
sponse, I thinks, is offered to us by the intuition of the continuous. [. . . ] The
introduction of an underlying continuous substrate allows us henceforth to
explain the significant—non-trivial—character of several mathematical the-
orems.”45 [36, p. 292ff]. Thom expands then this idea, giving as examples
the implicit function theorem and Taylor’s formula, each of them allowing
a global knowledge from a local one, all this based on the existence of a
continuous substrate. In the book Prédire n’est pas expliquer [45, p. 81-82],
turning to the distinction that the Greek philosophers made between the
discrete and the continuous, he declares: “For me, the fundamental aporia
of mathematics is certainly the opposition between the discrete and the con-
tinuous. And this aporia at the same time dominates all thought. [. . . ] The
origin of scientific thinking, we find it in the apories of Zeno of Elea: the
41Une partie homéomère a en général un bord constitué d’anhoméomères ; ainsi le
substrat d’un homéomère n’est pas – en général – un ensemble fermé au sens de la topologie
moderne. ([40, p. 398]).
42L’opposition homéomère-anhoméomère est une “représentation” (une image homo-
morphe) de l’opposition métaphysique : puissance-acte. Comme l’anhoméomère est partie
du bord d’un homéomère de dimension plus grande, on retrouve ainsi un cas d’application
de l’acte bord de la puissance [40, p. 400].
43Le segment fermé est “actuel” par opposition à l’intervalle semi-ouvert qui n’est qu’en
puissance.
44Un substrat ouvert caractérise l’entité en puissance. Un substrat fermé est requis
pour l’être en acte.
45Comment expliquer que les mathématiques représentent le réel ? La réponse, je crois,
nous est offerte par l’intuition du continu. [. . . ] L’introduction d’un substrat continu
sous-jacent permet dès lors de s’expliquer le caractère signifiant – non trivial – de bien des
théorèmes de la mathématiques.
TOPOLOGY AND BIOLOGY 21
story of Achilles and the tortoise. Here, we find the crucial opposition be-
tween the discontinuous and the continuous.”46 Thom declares in the same
work, concerning this distinction between the continuous and the discrete:
The continuous is in some way the universal substrate of thought,
and in particular of mathematical thought. But we cannot think of
anything in an effective way without having something like the dis-
crete in the continuous flow of mental processes: there are words,
sentences, etc. The logos, discourse, is always discrete; these are
words, coming in with a certain order, but they are discrete words.
And the discrete immediately calls down the quantitative. There
are points: we can count them; there are words in a sentence: we
can classify them quantitatively by the grammatical function they
occupy in a sentence. However there is an undeniable multiplic-
ity.”47
On the same subject, in his article Logos phenix, Thom writes [36, p. 294]:
Meaning is always tied to the attribution of a place of spatial na-
ture to an expression formally encoded. There should always be,
in any meaningful message, a discontinuous component tied to the
generative mechanisms of language—to symbols—, and a contin-
uous component, a substrate, in which the continuous component
cuts out a place.48
In the foreword to the Esquisse, Thom writes that Aristotle’s geometrical
insight was founded uniquely on an intuition of the continuous, where a
segment of a straight line is not made out of points but of sub-segments.
Neither Dedekind nor Cantor, he says, have taken that road. He writes that
the single isolated point (the one we consider when we take a point O on the
x0 x-axis), exists only “potentially.” Such a point, according to him, aspires to
actuality by duplicating itself into two points O1 , O2 , O1 adhering to the left,
O2 to the right. “These two points then being distinct even though they are
together (ἅμα), the two half-segments so limited attain full existence, being
in actuality.” [42, p. viii] Thom refers for that to the Metaphysics 139a3-
7.49 The question is also that of knowing what expressions like “is made
46Pour moi, l’aporie fondamentale de la mathématique est bien dans l’opposition
discret-continu. Et cette aporie domine en même temps toute la pensée. [. . . ] L’origine
de la pensée scientifique, on la trouve dans les apories de Zénon l’Élée : l’histoire d’Achille
et de la tortue. Il y a là l’opposition cruciale entre discontinu et continu.
47Le continu est en quelque sorte le substrat universel de la pensée, et de la pensée
mathématique en particulier. Mais on en peut rien penser de manière effective sans avoir
quelque chose comme le discret dans ce déroulement continu de processus mentaux : il
y a des mots, il y a des phrases, etc. Le logos, le discours, c’est toujours du discret ; ce
sont des mots entrant dans une certaine succession, mais des mots discrets. Et le discret
appelle immédiatement le quantitatif. Il y a des points : on les compte ; il a des mots
dans une phrase : on peut les classer quantitativement par la fonction grammaticale qu’ils
occupent dans la phrase, mais il n’empêche qu’il y a une incontestable multiplicité.
48Le sens est toujours lié à l’attribution d’une place de nature spatiale à une expression
formellement codée. Il y aurait toujours, dans tout message signifiant, une composante dis-
continue liée aux mécanismes génératifs de la langue – aux symboles –, et une composante
continue, un substrat, dans lequel la composante continue découpe une place.
49In a footnote, Thom refers to a passage in Dieudonné’s Pour l’Honneur de l’esprit
humain [18] as a “fine example of modern incomprehension of the Aristotelian point of
view.” In p. 229 of this book, Dieudonné criticizes Aristotle for his view of infinity, on the
22 ATHANASE PAPADOPOULOS
of” or “are part of”, applied to points and lines, mean. In his Solignac 1988
notes, quoting a passage from Aristotle’s Parts of animals in which the latter
compares an animal vascular system to a garden irrigation ditch,50 Thom
notes that the Philosopher goes as far as to say that blood is not part of the
organism,51 because it is dense there, and that this does not belong to the
definition of “being part of” [41, p. 7].
In the same foreword to his Esquisse, Thom recalls that Aristotle consid-
ered that the underlying substrate of both matter and form is continuous
[42, p. viii]:
I knew of course that the hylomorphic schema—of which I make use
in the catastrophe formalism—originated in the Stagirite’s work.
But I was unaware of the essential fact that Aristotle had at-
tempted in his Physics to construct a world theory based not on
numbers but on continuity. He had thus (at least partly) realized
something I have always dreamed of doing—the development of
mathematics of the continuous, which would take the notion of
continuum as point of departure, without (if possible) any evoca-
tion of the intrinsic generativity of numbers.
On the same subject, Thom recalls in the Esquisse that Aristotle’s de-
cision to quit Plato’s Academy is due to a disagreement with his master
concerning the notion of continuity. He explains this in a long passage [42,
p. 166]:
The Ancients knew that the moving point generates a curve, that
a moving curve generates a surfaces, and that the movement of
a surface generates a volume. It seems that the aging Plato—
or his epigones—considered this generation to be of the type of
discrete generativity, that of the sequence of natural integers. So
the point, which is a pure “zero”, could not serve as a base of
this construction—whence the necessity of “thickening” the point
into a “unsecable length” (ἄτομος γραμμή), which was the gener-
ating principle of the straight line (ἀρχὴ γραμμῆς). The Timaeus’
demiurge could then use this unsecable length to construct the
polygons and polyhedrons which constitute the elements. It is odd
to note that this kind of hypothesis still haunts our contemporary
physicists; the elementary length (10−33 cm) below which space
no longer has a physical meaning, or that absolute spacial dimen-
sion given by the confinement of quarks in nuclear physics, are
so many absolute “lengths” associated with physical agents. Why
did Aristotle reject this sort of hypothesis? No doubt because he
held number generativity in disregard. His revolt against Plato is
that of the topologist against the arithmetic imperialism, that of
the apostle of the qualitative against the quantitative. Aristotle
basically postulates the notion of continuity (συνεχές), and it is
in the name of the divisibility of the continuum that he refuses
the “indivisible lines.” A priori this is a paradoxical position. In-
deed, Aristotle never admitted the existence of space in the sense
basis of the passage 231a21-232a22 of the Physics where he discusses points on a straight
line, describing his reasoning as an example of “mental coonfusion.”
50Parts of animals [13] 668a10-13.
51Parts of animals [13] 636b21.
TOPOLOGY AND BIOLOGY 23
constituted by its points, but we have algebra to address this question, and
have a proof that the answer is rigorously undecidable.”
It might be recalled here that there exists a treatise called On indivisible
lines and belonging to the Peripatetic school (may be to Aristotle), in which
the author criticizes item by item the arguments of the disciples of indivisible
lines [9].
On the relation between Plato and Aristotle, Thom writes the following, in
a note on p. 186 of his Esquisse: “The relations between Plato and Aristotle
constitute one of the topoi of philosophical erudites. [. . . ] My own position
on the question is that of an autodidact.”54 For more on this subject, the
reader is referred to the appendix to the present article.
Let us return to the notion of boundary.
It is interesting to see that this notion is included in Euclid’s Elements
among the elementary notions, at the same level as “point”, “line”, “angle,”
etc. The boundary, there, is what defines a figure. Definition 14 of Book I
says: “A figure is that which is contained by any boundary or boundaries.”
This is clearly related to Thom’s idea, following Aristotle, that a form is
defined by its boundary. Euclid also uses the notion of boundary when he
talks about the measure of angles (not only rectilinear angles). Proclus,
in his Commentary on the First Book of Euclid’s Elements, writes that
the notion of boundary belongs to the origin of geometry since this science
originated in the need to measure areas of pieces of land. Aristotle, in the
Physics, says that a body may be defined as being “bounded by a surface.”55
The notion of form, since the origin of geometry, is closely related to the
notion of boundary, and it is not surprising to see that the mathematical
notion of boundary which, needless to say, was essential in Thom’s mathe-
matical work, is also central in his philosophical thought. He declares in the
interview La théorie des catastrophes conducted in 1992 [46]:
All the unity of my work is centered at the notion of boundary,
since the notion of cobordism is only one of its generalizations.
The notion of boundary seems to me the more important today
since I am interested in Aristotelian metaphysics. For Aristotle,
the boundary is an individualisation principle. The marble statue
is matter, in the block from where the sculptor extracted it, but
its is its boundary which defines its form.56
Thom also talks about the unity of his work in the series of interviews
Prédire n’est pas expliquer. He declares (1991, [45], p. 20–21):
Truly, there exists a real unity in my reflections. I can see it
only today, after I pondered a lot about it, at the philosophical
level. And this unity, I find it in the notion of boundary. That of
cobordism is related to it. The notion of boundary is all the more
54Thom refers to the books [30] by Robin and [17] by Cherniss. Concerning this subject,
I would like to refer the reader to the appendix to my article, written by S. Negrepontis.
55Physics [1] 204b.
56Toute l’unité de mon travail tourne autour de la notion de bord, car la notion de
cobordisme n’en est qu’une généralisation. La notion de bord me paraı̂t d’autant plus im-
portante aujourd’hui que je m’intéresse à la métaphysique aristotélicienne. Pour Aristote,
le bord est principe d’individuation. La statue de marbre est matière dans le bloc d’où le
sculpteur l’a tirée, mais c’est son bord qui définit sa forme.
TOPOLOGY AND BIOLOGY 25
57“En vérité, il existe une réelle unité dans ma réflexion. Je ne la perçois qu’aujourd’hui,
après y avoir beaucoup réfléchi, sur le plan philosophique. Et cette unité, je la trouve dans
cette notion de bord. Celle de cobordisme lui est liée. [. . . ] La notion de bord est d’autant
plus importante que j’ai plongé dans la métaphysique aristotélicienne. Pour Aristote, un
être, en général, c’est ce qui est là, séparé. Il possède un bord, il est séparé de l’espace
ambiant. En somme, le bord de la chose, c’est sa forme. Le concept, lui aussi, a un bord
: c’est la définition de ce concept. Cette idée que le bord définit la chose n’est d’ailleurs
pas tout à fait exacte pour un topologue. Ce n’est vrai que dans l’espace usuel. Il reste
que, partant de cette notion de bord, j’ai développé, quelques théories mathématiques qui
m’ont servi ; puis je me suis penché sur les applications, c’est-à-dire sur les possibilités
d’envoyer un espace dans un autre, de manière continue. J’en ai été amené à étudier les
fronces et les plis, objets qui ont une signification mathématique.”
58Physics [1] 211b11.
59La formule explique essentiellement le caractère clos de l’être vivant. Car s’il y a un
bord, il y a perte de sang, avec menace pour la vie. D’où le rôle de détecteur d’ontologie
qu’est l’opérateur bord d2 = 0 de l’algèbre homologique et de sa profonde interprétation
biologique.”
60Le bord du bord est vide ; c’est le grand axiome de la topologie, de la géométrie dif-
férentielle en mathématiques, mais cela exprime l’intégrité spatiale du bord de l’organisme.
26 ATHANASE PAPADOPOULOS
61Aristote avait parfaitement compris qu’il n’y a pas de logique pertinente sans une
ontologie qui lui sert de fondement. Autrement dit, si une logique peut servir à décrire
efficacement certains aspects du réel, si la déduction logique est un reflet du comportement
des phénomènes réels, eh bien, c’est que la logique doit nécessairement avoir un rapport
avec la réalité du monde extérieur. Et il est bien clair en effet que la logique d’Aristote
faisait corps avec sa physique. [. . . ] Je serai tout à fait formel en disant que les prétendus
progrès de la logique, réalisés depuis l’apparition de la logique formelle avec Boole au XIXe
siècle, ont été en fait des progrès à la Pyrrhus, en ce sens que ce qu’on a gagné du point
TOPOLOGY AND BIOLOGY 27
5. On form
Thom was thoroughly involved in questions of morphogenesis. In his ar-
ticle Matière, forme et catastrophes, he recalls that it was in 1978 that for
the first time he made the connection between catastrophe theory and Aris-
totle’s hylemorphism theory. In the foreword to his Esquisse, he writes [42,
p. viii]: “I knew of course that the hylomorphic schema—of which I make use
in the catastrophe formalism—originated in the Stagirite’s work.” Aristotle’s
theory of hylemorphism is discussed thoroughly in the Esquisse. According
to that theory, every being (whether it is an object or a living being) is
composed in an inseparable way of a matter (hylé, ὕλη)62 and form (mor-
phê, μορφή). Matter, from this point of view, is a potentiality, a substrate
awaiting to receive form in order to become a substance—the substance of
being, or being itself. In the Metaphysics, we can read: “I call form the
essential being and the primary substance of a thing.”63 In the treatise On
the soul, Aristotle states that the soul is the form of a human being.64 In the
Physics, he writes that the φύσις (nature) of a body is its form,65 and that
flesh and bone do not exist by nature until they have acquired their form.66
Matter and form also make the difference between the domain of interest of
a physicist and that of a mathematician. The former, according to Aristotle,
studies matter and form,67 whereas the latter is only concerned with form.68
In the Metaphysics, he writes that mathematical objects constitute a class of
things intermediate between forms and sensibles.69 In another passage of the
Physics,70 he writes that “matter desires form as much as a female desires
a male.” Form, according to him, is what contains, and it may even con-
tain the infinite: “For the matter and the infinite are contained inside what
contains them, while it is form which contains.”71 It also appears clearly in
these writings that Aristotle did not conceive form as a self-contained entity
which lives without matter.
Thom completely adhered to Aristotle’s theory of form, which the latter
expanded especially in his biological treatises. Thom highlighted the impor-
tance of these ideas in biology, and more particularly in embryology, namely,
the idea of a form which tends to its own realization.
The paper L’explication des formes spatiales : réductionnisme ou platon-
isme (The meaning of spacial forms: reductionism or platonism) (1980) [38]
by Thom concerns the notion of form and its classification. Thom tried there
de vue de la rigueur, on l’a perdu du point de vue de la pertinence. La logique a voulu se
séparer de toute ontologie et, de ce fait, elle est devenue une construction gratuite, un peu
sur le même modèle que les mathématiques, mais une telle orientation est encore moins
motivée que dans le cas des mathématiques.
62
The word ὕλη, before Aristotle, designated shapeless wood, and the introduction of
this word in philosophy is due to Aristotle himself.
63
Metaphysics [8] 1032b1-2.
64
On the soul, [6] 412a11.
65
Physics [1] 193a30.
66
Physics [1] 193b.
67
Metaphysics [8] 1037a16-17 and Physics [1] 194a15.
68
Posterior analytics [4], 79a13.
69
Metaphysics [8] 1059b9.
70
Physics [1] 192a24.
71
Physics [1] 207a35.
28 ATHANASE PAPADOPOULOS
72
Thom speaks of space-time in the classical sense, that is, a four-dimensional space
whose first three coordinates represent space and the fourth one time. This is not the
space-time that is used in the theory of relativity.
73
This article was published five years later in Russia, with an introduction by Yuri
Manin.
TOPOLOGY AND BIOLOGY 29
that, tor Aristotle, form did not have the status of a mathemati-
cal object that would have led him to a certain form of Platonism.
The fact remains that the Aristotelian “eidos” has a certain efficient
virtue which, anyway, one has to explain, and in the theories of
modern science which I am alluding to, the efficiency of the “eidos”
is expressed in mathematical terms, for instance using structural
stability.74
The book Structural stability and morphogenesis starts with a Program
in which Thom presents the problem of succession of forms as one of the
central problems of human thought. He writes:
Whatever is the ultimate nature of reality (assuming that this
expression has a meaning), it is indisputable that our universe is
not chaos. We perceive beings, objects, things to which we give
names. These beings or things are forms or structures endowed
with a degree of stability; they take up some part of space and last
for some period of time. [. . . ] we must concede that the universe
we see is a ceaseless creation, evolution, and destruction of forms
and that the purpose of science is to foresee this change of form,
and, if possible, to explain it.
In his article Aristote et l’avènement de la science moderne, [44] Thom
declares that since the advent of Galilean physics, which emphasizes mo-
tion in a world in which there is no place for generation and corruption,75
considerations on form disappeared from physics, even though morphology
is present in biology. Modern science, he says, is characterized by the dis-
appearance of this central notion of form, which played a central role in
Aristotle’s ontology ([44, p. 491]).76
Ovid’s Metamorphoses starts with the line: “I want to speak about bodies
changed into new forms.” In Book I, he recounts how gods ended the status
of primal chaos, a “raw confused mass, nothing but inert matter, badly
combined, discordant atoms of things, confused in the one place.” In Hesiod’s
Theogony, chaos is the name of the first of the primordial deities. Then come,
74
Je suis de ceux qui croient que le schème hylémorphique garde toute sa valeur, car
il est l’équivalent du rôle classificateur du concept dans la description verbale du monde.
[. . . ] Je suis convaincu que ces dernières années ont vu dans un assez grand nombre de
disciplines réapparaı̂tre des situations qu’on peut expliquer par la présence de champs
locaux ou de formes et qui justifient tout à fait à mon avis le vieux modèle hylémorphique
d’Aristote, selon lequel la matière en quelque sorte est capturée par la forme. Bien entendu,
je ne me dissimule pas qu’ici la forme aristotélicienne, l’“eidos”, était un être qui n’avait
rien de mathématique. C’était une entité qui portait en elle son “energeia”, son activité,
et il est clair que, pour Aristote, la forme n’avait pas un statut de caractère mathématique
qui l’aurait obligé à une certaine forme de platonisme. Mais il n’en demeure pas moins
que l’“eidos” aristotélicien a une certaine vertu efficace qu’il faut expliquer de toute façon,
et dans les théories de la science moderne auxquelles je fais allusion, l’efficace de l’“eidos”
s’exprime en termes mathématiques, par la théorie de la stabilité structurelle par exemple.
75
This is also a reference to Aristotle’s On generation and corruption [11].
76
“Le monde de Galilée est un monde de mouvement, mais où génération et corruption
n’ont point de place, d’où la disparition quasi totale en physique moderne des considéra-
tions de forme ; il n’y a pas de morphologie inanimée. Bien entendu, en biologie, il y a
par contre de la morphologie. Mais alors, il n’y a plus de mathématique, au moins en tant
qu’instrument de déduction. C’est cette disparition de la notion centrale de forme qui car-
actérise la science moderne, alors que cette notion jouait un rôle central dans l’ontologie
d’Aristote.”
30 ATHANASE PAPADOPOULOS
in that order, Gaia (Earth), Tartarus (at the same time a place, the Deep
abyss), and Eros (love).
Chapter 2 of Structural stability and morphogenesis is titled Form and
structural stability. It starts with the question: what is form? The question,
in its various aspects is difficult to answer, and Thom says that it is beyond
his task.
Saying that a form is a geometric figure may be a good start (if one
can be satisfied with not having a definition of a “geometric figure”,77 which,
technically speaking, should depend on what kind of geometry we are talking
about), but then, one has to introduce an equivalence relation. Topological
equivalence (homeomorphism) is certainly too weak, and metric equivalence
(isometry) too restrictive. For example, a homothety will also preserve form.
Thom notes that there are instances where a square drawn in a plane such
that two of its sides are horizontal (and the other two vertical) does not
have the same “form” as a square placed in such a way that its sides make
an angle of 45 degrees with the horizontal. The development of the theory
of forms depends on the use that one wants to make of it, and for Thom,
the main use of this theory is in biology. Although this is the whole subject
of his book Structural stability and morphogenesis, Thom acknowledges that
this is a task whose complete realization is beyond his capabilities.
Topology is also an adequate language for describing spaces of forms.
Thom considers equivariant Hausdorff metrics on spaces of form. The math-
ematical notions of stability, bifurcation, attractor, singularity, universal un-
folding, envelope, etc. are thoroughly used by him in this setting.
In the article Structuralism and biology [34], which was published the
same year as the French version of Structural stability and morphogenesis,
Thom writes that the foundations of a structure requires a precise lexicon of
elementary chreods and the introduction of the notion of conditional chreod,
and that catastrophe theory gives the mathematical models for such struc-
tures.
One of Thom’s aims in his book Structural stability and morphogenesis
was to introduce in biology the language of differential topology, in par-
ticular basic notions such as differentiable manifold, vector field, generic-
ity, transversality, universal unfolding etc. In the introduction, Thom he
two predecessors of him in this domain, D’Arcy Thompson who we already
mentioned at several occasions, and C. H. Waddington, whose concepts of
“chreod” and “epigenetic landscape” played a germinal part in his work.
Conrad Hal Waddington (1905-1975) , to whom Thom refers, was a well-
known biologist, working on developmental biology, that is, the study of
growth and development of living organisms. The term “chreod” which he
introduced in this field (from the Greek χρή, which means “it is necessary to”
and ὁδός, which means “way”) designates the transformations underwent by
a cell during its development, until it finds its place as part of the organism.
During this development, the cell is subject to an incredible amount of forces
77
Aristotle, in On the soul, [6] 414b19, considers it useless to try to define a “figure”, and
he describes the latter as a “sort of magnitude” (425a18). We already noted that Euclid
defines a figure as “that which is contained by any boundary or boundaries” (Definition
14 of Book I of the Elements). Plato, on the contrary, defines a figure as the boundary of
a solid (Meno 76A).
TOPOLOGY AND BIOLOGY 31
References
[1] Aristotle, The Physics, transl. P. Hardie and R. K. Gaye, In: The works of Aristotle
translated into English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press,
1930.
[2] Aristotle, Prior analytics, transl. A. J. Jenkinson, In: The works of Aristotle trans-
lated into English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press, 1928.
[3] Aristotle, The Topics, transl. A. W. Pickard-Cambridge, In: The works of Aristotle
translated into English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press,
1928.
[4] Aristotle, Posterior analytics, transl. G. R. G. Mure , In: The works of Aristotle
translated into English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press,
1928.
[5] Aristotle, The Problems, transl. E. S. Forster, In: The works of Aristotle translated
into English, ed. W. D. Ross, Oxford, Clarendon Press, 1927.
[6] Aristotle, On the soul, transl. J. A. Smith, In: The works of Aristotle translated into
English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press, 1927.
[7] Aristotle, On the heavens, transl. J. L. Stocks, In: The works of Aristotle translated
into English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press, 1922.
[8] Aristotle, Metaphysics, transl. W. D. Ross, In: The works of Aristotle translated into
English, ed. W. D. Ross and J. A. Smith, Oxford, Clarendon Press, 1908, 2d. ed.
1928.
[9] Aristotle, On Indivisible Lines, In: Opuscula, transl. E. M. Edghill, T. Loveday, E.
S. Forster, L. D. Dowdall and H. H. Joachim, In: The works of Aristotle translated
into English, ed. W. D. Ross and J. A. Smith, Clarendon Press, 1913.
[10] Aristotle, The Categories, transl. E. M. Edghill, In: The works of Aristotle translated
into English, ed. W. D. Ross and J. A. Smith, Clarendon Press, 1930.
[11] Aristotle, On generation and corruption, transl. H. H. Joachim, In: The works of
Aristotle translated into English, ed. W. D. Ross, Clarendon Press, 1930.
[12] Aristotle, History of animals, transl. D’Arcy Wentworth Thompson, In: The works of
Aristotle translated into English, ed. W. D. Ross and J. A. Smith, Clarendon Press,
1910.
[13] Aristotle, On the parts of animals, transl. W. Ogle, In: The works of Aristotle trans-
lated into English, ed. W. D. Ross and J. A. Smith, Clarendon Press, 1912.
[14] M. Atiyah et al., Responses to: A. Jaffe and F. Quinn, Theoretical mathematics:
Toward a cultural synthesis of mathematics and theoretical physics, Bull. Amer.
Math. Soc. (N.S.) 29, 1993, no 1, p. 1-13), Bull. Amer. Math. Soc. (N.S.), 30, 1994,
no 2, p. 178-207.
[15] A. Bellis, Aristoxène de Tarente et Aristote, Le traité d’harmonique, Paris, Klinck-
sieck, coll. Études et commentaires, 1986.
[16] N. Bourbaki, Éléments d’histoire des mathématiques, Hermann, Paris, 1974 (New
printing, 1984, 2007), 3rd ed. (1st ed. 1960).
[17] F. Cherniss, Aristotle’s criticism of Plato and the Academy, Johns Hopkins University
Press, Baltimore, 1949.
34 ATHANASE PAPADOPOULOS