(N - A) Fernando Zalamea - Synthetic Philosophy of Contemporary Mathematics-Urbanomic - Sequence Press (2013) PDF
(N - A) Fernando Zalamea - Synthetic Philosophy of Contemporary Mathematics-Urbanomic - Sequence Press (2013) PDF
U RB
ANO
\UC
ww-..urbanomic:.com
www.sequcnccprcss.com
FERNANDO ZALAMEA
Synthetic Philosophy
of Contemporary
Mathematics
Translated by
ZACHARY LUKE FRASER
b
URBANOMIC
Published in 2012 by
ISBN 978-0-9567750-1-6
www.urbanomic .com
www.sequencepress.com
CONTENTS
PROSPECTUS OF T H E E S SAY
3
SYNTHETIC PHILOSOPHY
4
I NTRODUCTION
5
O F CONTEMPORARY MATHE MATICS
6
I NTRODUCTION
7
SYNTHETIC P H ILOSOPHY
8
I NTRODUCTION
Mulino, 2002). Lolli detects at least fourteen distinct currents (nominalism, realism,
Platonism, the phenomenological tradition, naturalism, logicism, formalism, the
semiotic tradition, constructivism, structuralism, deductivism, fallibilism, empiricism,
schematism), in addition to a 'spontaneous philosophy' of mathematicians.
3 The restriction is not, however, explicit, and Shapiro commits the common Anglo
Saxon sin of believing that anything that has not been published in English does
not form part of the landscape of knowledge. The identification of 'knowledge' with
'publication in English' has left outside of the philosophy of mathematics one who,
to our understanding, is perhaps the greatest philosopher of 'real mathematics' in the
twentieth century: Albert Lautman. For a discussion of 'real mathematics' (Hardy,
Corfield) and the work of Lautman, see chapters 1-3.
4 Shapiro, 'Ihinkingahout Mathematics, 32-3. Shapiro calls realism in truth-value the vision
according to which 'mathematical statements have objective truth values, independent
of the minds, languages, conventions, and so on of mathematicians' (ibid., 29). To
simplify, we will here give the name 'epistemological realism' to this realism in truth value.
9
OF CONTEMPORARY MATHEMATICS
EPISTEMOLOGY
.... ... . . ..... .. ..... ........ .. ..... .. ..... ..
.
. .
; Realism ; Idealism
. .
· · · · · · · · · · · · · · · · · · · · · · �-----�-----1
Maddy
0
N Realism Resnick Tennant
T
0 Shapiro
...................... i----+--1
L
0
G Chihara Dummet
Y Idealism
Hellman Field
10
I NTRODUCTION
11
SYNTHETIC PHI LOSOPHY
12
I NTRODUCTION
7 This is the case, for example, in R. L. Wilder, Mathematics as a Cultural System ( Oxford:
Pergamon Press, 1981).
8 M. Resnik, Mathematics as a Science ifPatterns (Oxford: Oxford University Press, 199 7).
13
OF CONTEMPORARY MATHE MATICS
14
I NTRODUCTION
15
SYNTHETIC P H I LOSOPHY
ACKNOWLE D G E M E NTS
16
INTRODUCTION
17
PART ONE
T H E S P E C I F I C ITY OF M O D E R N AND
21
SYNTHETIC PHILOSOPHY
22
MODE RN AND CONTE M PO RARY MATHE MATICS
9 A philosophy of physics that does not take stock of the technical advances in physics,
for example, would be unthinkable. B. d'Espagnat, Le reel voili. Analyse des cancepts
quantiques (Paris: Fayard, 1994), for instance, performs an admirable philosophical
study of quantum physics, in which the notable technical advances of the discipline
are carefully observed, and in which it is demonstrated that, in order to understand
quantum physics, new ontological and epistemological approaches, adapted to the new
methods and objects of knowledge, are required.
23
OF CONTEMPO RARY MATHEMATICS
24
MO DERN AND CONTEMPORARY MATHEMATICS
25
SYNTHETIC P H I LOSOPHY
mathematics
advanced (='real')
contemporary
modern
elementary
classical
26
M OD ERN AND CONTEMPORARY MATHE MATIC S
n The Mathematical Subject Classification 2000 (MSC 2000) includes some sixty principal
entries in a tree that goes on to rapidly branch out. Above, we indicate only a few of
the initial indispensable entries in the tree.
27
OF CONTEMPORARY MATHEMATI C S
28
MOD ERN AND CONTEM PORARY MATHEMATIC S
12 The work of Albert Lautman (1908-1944) deserves to be understood as the most incisive
philosophical work of the twentieth century that both situated itself within modern
mathematics and sought to.outline the hidden mechanisms of advanced mathematical
creativity, while synthesizing the structural and unitary interlacings of mathematical
knowledge. Lautman's writings, forgotten and little understood at present, have
resurfaced in a new French edition (A. Lautman, Les mathimatiques, !es !dies et le Riel
physique, [Paris: Vrin, 2006]), a recent English translation (tr. S. Duffy as Mathematics,
Ideas and the Physical Real [London: Continuum, 2ouJ) and in the first complete
translation of his works into another language (tr. F. Zalamea as Ensayos sobre la
diatectica, estructura y unidad de las matematicas modem.as [Bogota: Universidad Nacional
de Colombia, 2011]). For a critical presentation of Lautman's work, see my extensive
scholarly introduction to the Spanish edition. In the present essay, I aim to develop
Lautman's work somewhat, and extend its scope from mod.em mathematics (as known
to Lautman) to contemporary mathematics (which now lie before us).
13 The critical works attending to the multiplicity of advanced mathematical creations are
few in number, and so it's worth calling attention to a work so kindred to Lautman's as
that of Javier de Lorenzo, who has always been attentive to the deep strata and diverse
ramifications of modern mathematical invention. Among his works, see, in particular,
Introducci6n al estillo mathematico (Madrid: Tecnos, 1971); La matematica y el problema de
su historia (Madrid: Tecnos, 1977); El mtftodo axiamatico y sus creencias (Madrid: Tecnos,
1980) ; Filosefias de la matematicafin de .siglo XX (Valladolid: Universidad de Valladolid,
2:000 ). Lorenzo does not seem to be familiar with Lautman, nor does he mention him
in his writings.
29
SYNTHETIC P H I LOSOPHY
30
M OD ERN AND CONTEM PORARY MATHE MATI C S
31
OF CONTEMPORARY MATHEMATICS
32
MODERN AND CONTEMPORARY MATHEMATICS
16 The images of decantation, transfusion and distillation that recur throughout this work
indicate those creative gestures by way of which, as we shall see, mathematical ideas
or structures are 'poured' - sometimes with the help of others, as 'filters' - from one
register to another, often leaving behind, as a kind of 'sediment', features previously
thought to be integral to them.
33
SYNTH ETIC PHI LOSOPHY
34
MOD ERN AND CONTE M PORARY MATHE MATICS
35
OF CONTEMPORARY MATH EMATICS
17 Thus responding to the first epigraph by Goethe that appears at the beginning of
this study.
36
MO DERN AND CONTE MPORARY MATHE MATICS
37
SYNTHETIC PHILOSOPHY
38
MOD ERN AND CONTEMPORARY MATHEMATICS
39
OF CONTEMPORARY MATHE MATICS
40
MOD ERN AND CONTEMPORARY MATHE MATICS
18 Lautman's work (see note 12 and chapter 2) provides a great variety of technical
examples, concretizing the aforementioned tendencies, as well as other formulations
of points 1-5 .
41
SYNTHETIC PHILOSOPHY
20 The selection is, inevitably, personal, though the list indubitably includes some of the
fundamental figures of mathematics since i950. We only include in the table those
mathematicians whom we are studying in the second part of this essay. (The order of
appearance in the table corresponds to the order in which each author is studied in the
second part of our essay.) Other indispensable figures of contemporary mathematics do
not appear here (such as Borel, Chevalley, Dieudonne, Drinfeld, Eilenberg, Gelfand,
Margulis, Milnor, Smale, Thom, Thurston and Weil, to name just a few), since, in most
cases, we mention them only in passing, without dedicating a specific section to their
works .
.21 The marks indicate a clear preponderance of works along each line, and not mere
incursions that might be considered limited in comparison with the remainder of the
work of the mathematician in question. Grothendieck is clearly situated above all
other mathematicians of the last half century, as is faintly indicated by the.five marks
that serve to register the enormous presence of his work. The other marks should be
understood as merely indicative, though they are also adequately representative.
42
M ODERN AND CONTEMPORARY MATHE MATICS
6 7 8 9 10
!orothendieck • • • • •
Serre • • •
• • •
Langlands
Lawvere • • •
Shelah • • • •
Atiyah • • •
Lax • •
Connes • • • •
Kontsevich • • •
Freyd • • •
Simpson • •
Gromov • • •
Zilber • • •
Figure 3. AJew great mathematici,ans and their contributions to the major lines ef
development efcontemporary mathematics.
43
OF CONTEMPORARY MATHEMATICS
44
M OD ERN AND CONTEMPORARY MATHE MATI C S
45
SYNTHETIC PHI LOSOPHY
46
M OD ERN AND CONTEMPORARY MATHEMATICS
47
C HAPT E R 2
49
SYNTHETIC PHILOSOPHY
50
A B I B LI OGRAPHICAL SURVEY
51
OF CONTEMPORARY MATHEMATICS
2 . 1 T H E PLACE O F LAUTMAN
22 A. Lautman, Essai sur !es notions de structure et d'existence en mathhnatiques. I. Les schemas
de structure. II. Les schimas de genese (Paris: Hermann, 1938, 2 vols.). Republished in A.
Lautman, Essai sur !'unite des matMmatiques et divers ecrits (Paris: 10/18, 1977), 21-154.
Recently republished in A. Lautman, Lesmathimatiques /es idees et le reelphysique (Paris:
Vrin,2006). [Tr. S. DuffyasMathematics,IdeasandthePhysicalReal (London: Continuum,
2011), 87-193.]
52
A B I BLIOGRAPH ICAL SURVEY
23 What follows is a brief summary of the mathematical themes reviewed by Lautman in his
principal thesis. Chapter i: complex variable, partial differential equations, differential
geometry, topology, closed groups, functional approximations. Chapter 2 : differential
geometry, Riemannian geometry, algebraic topology. Chapter 3: Galois theory, fields
of classes, algebraic topology, Riemann surfaces. Chapter 4: mathematical logic, first
order arithmetic, Herbrand fields, algebraic functions, fields of classes, representations
of groups. Chapter 5: Herbrand fields, Hilbert spaces, normal families of analytic
functions. Chapter 6: operators in Hilbert spaces, differential equations, modular
functions. Entering into the landscape that Lautman draws, the reader is then really
able tofeel the multiple modes and creative movements of modem mathematics, never
present in the elementary examples usually adduced in the philosophy of mathematics.
53
SYNTHETIC PHILO.S OPHY
54
A BIBLIOGRAPH ICAL SURVEY
24 Lautman, Essai sur !'unite des matlufmatiques et divers icrits, 155-202. Les ma.thbnatiques
!es idees et le reelphysique 81-124; translation, 45-83.
55
OF CONTEMPORARY MATHE MATICS
56
A B I BLIOGRAPH ICAL SURVEY
57
SYNTHETIC PHILOSOPHY
58
A B I B LIOGRAPH I CAL SURVEY
59
O F CONTEMPORARY MATHEMATICS
60
A BIBLIOGRAPH I CAL SURVEY
61
SYNTH ETIC PHILOSOPHY
62
A B I BLIOGRAPH I CAL SURVEY
63
O F CONTEMPORARY MATHEMATICS
64
A B I BLIOGRAPHICAL SURVEY
65
SYNTHETIC PHILOSOPHY
66
A BIBLIOGRAPH ICAL SURVEY
34 Lautman never lived to know category theory, the rise of which began at the very
moment of his death (S. Eilenberg, S.Mac Lane, 'Natural isomorphisms in group
theory', Proc. Nat. Acad. Sci. 28, i942: 537-43; S. Eilenberg, S. Mac Lane, 'General
theory of natural equivalences', Tram. Amer. Math. Soc. 58, i945: 231-94). It is difficult
to know to what extent conversations with his friend Ehresmann - who introduced the
general theory of fiber spaces in the forties and promoted category theory in France
from the end of the fifties on - could have influenced, in its implicit depths, a conception
of mathematics so clearly recognizable (in retrospect) as categorical as Lautman's is.
Nevertheless, in the session of the French Philosophy Society in which CavaillCs and
Lautman defended their work, and in which Ehresmann participated, the latter already
pointed out precisely how a number of Lautman's philosophical conceptions should
be technically filtered and converted into equipment internal to mathematics itself: 'If I
have understood correctly, in the domain of a supramathematical dialectic, it would
not be possible to specify and investigate the nature of those relations between general
ideas. The philosopher could only make the urgency of the problem evident. It seems
to me that if we preoccupy ourselves with speaking about those general ideas, then we
are already, in a vague way, conceiving of the existence of certain relations between
those general ideas. From that moment, we can't then just stop in the middle of the
road; we must pose the problem, the genuinely mathematical problem, that consists in
explicitly formulating those general relations between the ideas in question. I believe
that a satisfactory solution can be given to that problem, regarding the relations between
the whole and its parts, the global and the local, the intrinsic and the extrinsic, etc. [ . . . ]
I believe that the general problems that Lautman poses can be stated in mathematical
terms, and I would add that we can't avoid stating them in mathematical terms.' The
entire rise of category theory effectively bears out Ehresmann's position.
67
OF CONTE MPORARY MATHEMATICS
68
A B I BLIOGRAPHI CAL SURVEY
69
SYNTHETIC PHILOSOPHY
70
A B I BLIOGRAPHICAL SURVEY
' '
2 . 2 APPROAC H I N G REAL MAT H E MATI C S
71
OF CONTEMPORARY MATHEMATICS
George P6lya
72
A B I B LI OGRAPHICAL SURVEY
73
SYNTHETIC PHILOSOPHY
Imre Lakatos
74
A BIBLIOGRAPHICAL SURVEY
75
O F CONTEMPORARY MATHE MATICS
Javier de Lorenzo
76
A B I BLIOGRAPHI CAL SURVEY
77
SYNTHETIC PH ILOSOPHY
43 Regarding Lawvere, for example, De Lorenzo points out - only seven years ( ! ) after
Lawvere introduced elementary topoi (i970) - that 'the interlacing of the theory of
categories with that of topoi, presheaves and algebraic geometry is showing itself to
be essential for the intentions of Lawvere and those working in the same direction, to
achieve a foundation, which he qualifies as "dialectical", for mathematical work, while
recognizing that such a foundation can only be of a descriptive character, achieving
in this way a revision of Heyting's intuitionistic logic as the one best adapted to topos
theory.' The investigation of the mathematical in progress ('is showing itself to be. . . ',
)
'those working.. .' not only surfaces in these unusual meditations of a historian and
philosopher, but is made in the mostfitting possible way, successfully detecting the
conceptual kernel of the situation: the interlacing of topoi with algebraic geometry and
with the underlying intuitionistic logic.
78
A BIBLIOGRAPHICAL SURVEY
79
OF CONTEMPORARY MATHE MATICS
Morris Kline
45 M. Kline, Mathematics: The Loss efCertainty (New York: Oxford University Press, 1980).
80
A BIBLIOGRAPH ICAL SURVEY
Philip Kitcher
81
SYNTHETIC PHILOSOPHY
Thomas 'Ijmoczko
82
A B I BLIOGRAPHICAL SURVEY
48 Paul Bernays, one of the great champions of the foundations of mathematics, already
pointed out in 1940, in a little· known review of Lautman's works, that 'it is to be said
in favor of Lautman's method that it is more suited than foundational discussions to
give to a philosopher an impression of the content and nature of modern mathematics.
Indeed it is worthwhile to emphasize that foundational problems by no means constitute
the only philosophically important aspect of mathematics' (P. Bernays, 'Reviews of
Albert Lautman', Journal '![Symbolic Logic 5, i940]: 22). This admirable display of
conscience by a genuine architect of the foundations of mathematics is something of
which too many philosophers of the foundations have stood in need.
49 The inclusion of an 'interlude' with two of P6lya's texts - written thirty years earlier
- is indicative of the meekness that has emerged in philosophy with respect to
approaching 'mathematical practice'. Of course, as is often the case in the Anglo-Saxon
academy, there is an obvious ignorance of anything not translated into English: to
speak of mathematical 'practice' without mentioning Lautman or De Lorenzo is
genuinely misguided, notwithstanding the ease with which this is done by anglophone
philosophers.
83
OF CONTE MPORARY MATHEMATICS
50 S. Mac Lane, Mathematics: Form and Function (New York: Springer, i!)86).
84
A B I B LI OGRAPHICAL SURVEY
51 I am grateful here to the teachings of Alejandro Martln and Andres Villaveces, who
explained to me one memorable afternoon the importance of Rota's ideas, several
of which we will return to (by different routes) in part 3 of this book. F. Palombi,
La stella e l'intero. La ricerca di Gian-Carlo Rota tra matematica efenomenologia (Torino:
Boringhieri, 2003) presents several ideas of utmost relevance to our focus, and upon
on which we will later comment.
52 G.-C. Rota, Indiscrete 1houghtJ (Basel: Birkhiiuser, 1997) .
85
SYNTHETIC PHILOSOPHY
86
A B I BLIOGRAPH I CAL SURVEY
87
OF CONTEMPORARY MATHEMATICS
Alain Badiou
53 A. Badiou, L 'etre et l'fvlfnement (Paris: Seuil, 1988). (Tr. 0. Feltham as Being and Event
(London: Continuum, Qoo5).]
54 Badiou explicitly declares himself Lautman's admirer and heir. It is a unique case of
recognition and shared labor, even if the mathematical spectrum covered by Lautman
is much broader. Both Lautman and Badiou aim, however, to rethink and return to
Plato, setting out from the exigencies of contemporary thought.
88
A BIBLIOGRAPHICAL SURVEY
55 A. Badiou, Court troite d'ontologi,e tronsitoire (Paris: Seuil, 1998). [Tr. N. Madarasz as
Briefings on Existence: A Short Treatise on Transitory Ontology (Albany, NY: SUNY Press,
2006).)
89
SYNTHETIC PHI LOSOPHY
Penelope Maddy
90
A BIBLIOGRAPHICAL SURVEY
91
OF CONTEMPORARY MATHE MATICS
92
A BIBLIOGRAPHICAL SURVEY
Gilles Chdtelet
93
SYNTHETIC PHILOSOPHY
94
A B I BLIOGRAPH ICAL SURVEY
third part of this study and that is, to our mind, the most
original work on the subject since Lautman's.
Frederic Patras
95
OF CONTEMPORARY MATHE MATICS
96
A BIBLIOGRAPHICAL SURVEY
Da vid Garfield
97
SYNTHETIC P H I LO SOPHY
98
A B I BLIOGRAPHICAL SURVEY
64 Ibid., 270.
99
OF CONTEMPORARY MATHE M ATICS
65 Ibid., 270.
100
A BIBLIOGRAPHICAL SURVEY
101
SYNTHETIC PHILOSOPHY
102
A BIBLI OGRAP H I CAL SURVEY
103
OF CONTEMPORARY MATHEMATICS
1 04
A B I BLIOGRAPH ICAL SURVEY
the second and third parts of this essay, that the situation
we are dealing with here is unsustainable.
With respect to Benacerraf and Putnam's compilation,
Shapiro's opens perspectives onto two particular new
horizons for mathematical philosophy: naturalism and
structuralism. In her article, 'Three Forms of Naturalism',
Maddy explores the roots of naturalism in Quine, and
the later modifications of Quinean positions in Burgess
and in Maddy's own work. 69 Quine's self-referential natu
ralist position, according to which the foundations of a
science and its fragments of certainty should be sought
in the science itself, and not in a first philosophy that
is external and alien to the science, provokes a robust
intramathematical perspective in Maddy, according to
which a naturalist philosopher of mathematics should
not slide into extramathematical metaphysical debates,
but must meticulously track the dynamics of concept
formation within her own discipline. Maddy has satisfied
this program with vigor and originality within set theory,
showing, in particular, that the supposedlyQuinean natu
ralist position in favor of a reduced universe of sets (V=L)
receives no sympathy from the 'natural' arguments in
favor of large cardinals, conducted by the theory's chief
creators (Martin, Woodin and Shelah, among others).
Nevertheless, the 'mathematics' that the philosopher deals
105
SYNTHETIC P H ILOSOPHY
1 06
A BIBLIOGRAPHICAL SURVEY
71 In addition to the authors mentioned in section 2.21 we could point out other Anglo�
Saxon philosophers and historians who try to cover a broad mathematical spectrum
(methodological, technical and creative), such as Jeremy Gray, Michael Hallett, Mark
Steiner and Jamie Tappenden, among others.
107
CHAPTE R 3
T OWARD A SYNT H E T I C P H I L O S O P HY O F
109
SYNTHETIC PHILOSOPHY
1 10
TOWARD A SYNTHETIC PHILOSOPHY
111
O F CONTEMPO RARY MATHEMATICS
112
TOWARD A SYNTHETIC P H ILOSOPHY
73 Peirce, 'How to Make Our Ideas Clear' (1878), in Collected Papers, vol. 5, 402.
74 Peirce, 'Harvard Lectures on Pragmatism' (1903), in Collected Papers, vol. 5, 18.
113
SYNTHETIC PHILOSOPHY
114
TOWARD A SYNTHETIC PHILOSOPHY
115
O F C ONTEMPORARY MATHE MATICS
116
TOWARD A SYNTHETIC PHILOSOPHY
117
SYNTHETIC PHILOSOPHY
underdeterminations
of the sign
representation t
context i
sign
1 correlations
,[ gluings
l transferences
(ACTUAL) ' J
pragmatic
integral
118
TOWARD A SYNTHETIC P H ILOSOPHY
119
O F CONTEMPORARY MATHEMATIC S
77 A good presentation of the analysis/synthesis polarity and its subsumption into the
'greater' differentiation/integration polarity, can be found in Gerald Holton's article,
'Analisi/sintesi', for the Enciclopedia Einaudi (Torino: Einaudi, i977), vol. t, 49-522.
78 We will study, in detail, the multiple facets ofsheaves in topology, algebraic geometry
and logic in the second part of this work. The mobile plasticity of sheaves not only
lets us pass from the local to the global, but, in a natural fashion, allows for multiple
osmoses between very diverse subfields of mathematics. In a certain way, since their
very genesis, sheaves have acquired an incisive reflexive richness that has rendered them
extraordinarily malleable.
1 20
TOWARD A SYNTHETIC PHILOSOPHY
121
SYNTHETIC PHI LOSOPHY
1 22
TOWARD A SYNTHETIC P H I LOSOPHY
123
AN'' v 1 u· \/1.o,; 1 0 N SYN H l l·. l l C V I S I O N
(P l f l LO."JOJ'HY OF ( PRAGMATIC I S T
PROBl�f:MATIC
LANG UAca: + MAXIM +
Sf:T-T I I E O RE·1·1CAL FOUNDATIONS ) CATEGORY-TH EOR£TIC CONTEXTS )
rea!i1t ontology: mathmwtica! obja'fs exist in m u s t postulate the real existence of the must postulate the existence of a covering
a real world universe of sets, to which we are granted of the real by means of progressive
access by a reliable form of intuition hierarchies of structural contexts that
asymptotically approximate it
idealist ontology: mathematical objects are must postulate a dissociation between must postulate a dissociation between
linguistic subterfuges mathematical constructs and their classes of linguistic categories and classes
physical environments of categories from mathematical physics
realist epistemology: truth values reflect must postulate the existence of a set· must postulate the existence of categorical
objectiveforms efknowledge theoretic semantics as an adequate semantic adjunctions and invariant skeletons
transposition of semantic correlations in persisting through functorial weavings
the real world
idealist epistemology: truth values are must postulate a variability of must postulate the impossibility of
subjectivefonns efcontrol modalization of sets, and assume the 'archetypical' initial categories capable of
existence of stable transitions between generically classifying the truths of their
'compossible' worlds derived categories
realist metaphysics: must postulate the existence of a 'monstrous' must postulate the existence of multiple
to ti en einai ('the essential qfessence') exists model and reflexion schemas that would classifier toposes and additional inverse limits
mathematically accommodate every universe of sets where the classifiers can be 'glued together'
idealist metaphysics: must postulate the necessity of towers must postulate the necessity of functorial
to ti en einai does not exist mathematically of set-theoretical universes that can iterations ad infinitum, irreducible to
be controlled only through relative projections from a supposedly 'final'
consistencies classifier
TOWARD A SYNTHETIC P H ILOSOPHY
125
SYNTHETIC P H I LOSOPHY
126
TOWARD A SYNTHETIC PHILOSOPHY
81 Riemann's C(s) function provides an exemplary case, here. From its very definition
(by analytic extension, surrounding its singularities in the line Re{s)=l), to its still
mysterious applicability in number theory (clustered around the proof that the zeros
of the Z·function lie on the line Re(s)=l/2), the C e.>:tendr its domains of invention and
-
proof in virtue efthe obstructions as much definitional as structural - on which mixed
constructions of great draught are dashed (here, the C function as a 'hinge' between
number theory, complex analysis and algebraic geometry).
127
O F CONTEMPORARY MATHEMATICS
128
TOWARD A SYNTHETIC P H I LOSOPHY
82 In our strategy, one can observe an approximate analog to the practice in category
theory whereby, firstly, a category is delimited from other neighboring categories,
secondly, various concrete constructions of the category are studied in detail, and
thirdly, its skeleton and its free constructions are finally characterized. The three parts
of our work correspond - by an analogy that is not overly stretched - to the study of
the 'category' ofcontemporary mathematics and its various adjunctions with respect
to the various 'categories' of philosophical interpretations.
129
PART TWO
Case Studies
CHAPTER 4
GROTH E N D I E C K : F O R M S OF H I G H
133
SYNTHETIC P HI LOSOPHY
OUTLI N E
1 34
GROTHE NDIECK
84 There is a famous anecdote about a visitor who had been to the Institut des Hautes
Etudes Scientifiques (!HES), (created for Grothendieck in the sixties) and had been
struck by the poverty of the library at such a Mecca of mathematics. Grothendieck
answered him, 'We don't read mathematics, here; we make mathematics.'
135
O F CONTEMPORARY MATHEMATIC S
136
GROTHENDIECK
91 R£coltes et Semailles (Reaping and Sowing] , 1985-6, i,ooo pages. La clefdes songes [The
Key to Dreams] , 315 pages.
92 Several digitized fragments of Grothendieck's work, accompanied by a few studies,
can be found on the website http://www.grothendieckcircle.org, maintained by Leila
Schneps and Pierre Lochak.
137
SYNTHETIC PHILOSOPHY
138
GROTH ENDIECK
139
O F CONTEMPORARY MATHEMATICS
1 40
GROTHENDIECK
141
SYNTHETIC P H I LOSOPHY
1 42
GROTHENDIECK
96 Etale: smooth, without protuberances (the term comes from a poem of Victor Hugo's,
about an 'iftale' sea). Grothendieck's metaphorical use of 'etale' condenses the idea of
the nonramifi.ed, where Grothendieck combines, once again, some of the central ideas
of Galois and Riemann's: extensions of nonramified fields (Galois's separability) and
nonramified Riemann surfaces, enveloped in a generic unifying concept.
97 See P. Deligne, 'Quelques idCes maitresses de l'oeuvre de A. Grothendieck', in
Matbiaux pour l'histoire des matMmatiques au xx" siecle, Seminaires et Congrl:s 3,
Societe Mathematique de France, 1998, H-19.
98 Oddly, Grothendieck, who explored almost every field ofmathematics with rremendous
penetration, hardly bothered with mathematical logic. That disquieting logico
mathematical separation - by one of the two or three major mathematicians of the
twentieth century - should give logic-centered philosophers of mathematics much to
think about.
1 43
OF C O NTEMPORARY MATHEMATICS
144
GROTHENDIECK
1 45
SYNTHETIC P H I LOSOPHY
too Grothendieck, 'Prelude', in Recoltes et Semailks 45-6 (qU<>tation marks and italics are the
author's). The (conceptual, mathematical, stylistic, methodological, phenomenological)
richness of this paragraph will give rise to many reflections in our work. For the
moment, it is enough to underscore the movement between the One and the Many,
the. tension between the 'ultimate' and the differences, the problematic of fidelity and
variation, the dialectic between the internal and the external, the modal spectrum of
possibilities and realizations, the interlacing ofvagueness and precision, the grafting
of corazan and rtu:6n (heart and reason), the aesthetic equilibrium.
146
GROTHENDIECK
102 The same could be said of another very influential 'vision' of Grothendieck's, the
'moderate program' that he sketched out in his 1983 Esquisse d'une programme.
Grothendieck sought new focms of topology, which would turn out to be natural and
would smooth over the singularities that a set-theoretical topology must endure (replete
with artificial examples coming from analysis). Grothendieck had the intuition that
'
a son of deconstruction ( dtuissage', Esquisse, 25) of stratified collections of structures
would be tied to the discovery of a 'moderate topology'. Amid the developments of the
'moderate program' one can find tame model theory or a-minimality in contemporary
model theory - another unsuspected resonance of Grothendicck's ideas with logic.
147
O F CONTEMPORARY MATHEMATIC S
1 48
GROTHENDIECK
104 Prescissian,
in Peirce's sense, at once cuts andspecifies the boundaries of the entity under
analysis.
105 Deligne, 'Qµelques idies maitresses .. . ", 12.
149
SYNTHETIC PHILOSOPHY
106 Grothendieck, Rico/tes et Semai//es, 554. Of course, such a paragraph can only be
appreciated from a great height, seeking to clarify the most salient movements of the
topography. We must not forget the (literally) thousands of pages that Grothendicck
devoted to 'answers' and 'demonstrations' in his major fields of production: 'tensorial
prod.ucts and nuclear spaces, cohomologies of sheaves as derived functors, K-theory
and the Grothendieck-Riemann-Roch Theorem, emphasis on work relative. to a base,
definition and construction of geometrical objects via the functors to that which
must represent them, fibered categories and descent, stacks, Grothendieck topologies
(sites) and topoi, derived categories, formalisms of local and global duality (the "six
operations"), Ctale cohomology and cohomological interpretation of L�functions,
crystalline cohomology, "standard conjectures", motifs and the "yoga of weights",
tensorial categories and motivic Galois groups' (following a 'brier list of contributions,
in P. Cartier et al., 'Ihe Grothendieck Festschriji [ Basel: Birkhauser, 1990] , vol. I, viii).
As Dieudonne points out (ibid., i4), 'there are few examples in mathematics of so
monumental and fruitful a theory, built up in such a short time, and essentially due
to the work of a single man'.
150
GROTHENDIECK
107 For Merleau-Ponty, the 'height of reason' consists infeeling thegroundslip away, detecting
the movement of our beliefs and our supposed knowledge: �every creation changes,
alters, elucidates, deepens, confirms, exalts, recreates or precreates all the rest' (M.
Merleau-Ponty,Noter der coumie College de France [1958-59, 1960-61] [Paris: Gallimard,
1996], 92). In L'oeil et /'esprit (Paris: Gallimard, 1964), Merlcau-Ponty describes the
body as operating in the domains of knowledge as a 'sheaf of functions interlacing
vision and movement'. Through incessant levels of self-reference, the sheafpermits the
conjugation of inner and outer, essence and existence, reality and imagination. And,
moreover, it is in the murky and antinomic frontiers of such apparent contradiction that
the sheaf gives rise to invention and creation. We shall return, in part 3 (chapter 10) to
certain connections between Grothendieck, Merleau-Ponty and Rota, as regards the
apparently fundamental opposition between invention and discovery in mathematical
philosophy.
108 Recall, here, the similar position of Lautman, who pointed to an ·urgency of problems,
behind the discovery of their solutions' (pp66- 8, above).
109 Grothendieck, Recoltes et Semailles, 27.
151
OF CONTEMPORARY MATHE MATICS
uo Ibid., 28.
152
GROTHENDIECK
111 Ibid., 27. The quotation marks and italics are Grothendieck's.
153
SYNTHETIC PHILOSOPHY
1 54
GROTH ENDIECK
155
OF CONTEMPORARY MATHEMATICS
n6 In the artistic theory ofthe sixteenth and seventeenth centuries, maniera appears at the
nucleus of critical discussions on great painter's ·ways of doing things' (of inventing,
creating). With the degeneration of maniera into mannerism, the notion of style later
emerged as a conceptual substitute for capturing the major categories of the history
of art (baroque, classical, romantic, etc.). In part 3 of this work, we will take up the
problematic of how we may try to define - intrinsically, and not just diachronically, as
we have done so far - some of the great demarcations of mathematical styles: classical,
modem, romantic� contemporary. The maniera of Grothendieck opens important
channels for attempting to approach such intrinsic demarcations. It is something
that we have already begun in our chapter I - with conditions i-5 in terms of which
Lautman investigated modem mathematics, and with conditions 6-10, closely tied
156
GROTHENDIECK
1 57
SYNTHETIC P H ILOSOPHY
his skill i n 'saying' - that is, the rich traces efhis style - is
a vital instrument. for his unitary capacity for 'thought'.
The correspondence with Serre reveals Grothendieck's
indomitable energy, his potent mathematical inven tive
ness, his staggering capacity for abstraction and con
centration, but also his doubts and errors, his desire to
'cultivate himself' with the help of his correspondent's
enormous breadth of mathematical knowledge, as well as
the melancholy twilight of his great critical brilliance (in
the final letters of i985-1987, around the time of Recoltes
et Semailles).121 The enormous technical complexity of the
correspondence122 does not prevent us from being able
to detect many moments in which Grothendieck's ideas
continually emerge over the course ef days. From the point
of view of style, let us underscore, among other things,
the 'cohomology deluge' (1956) that gave rise to the
article 'submitted to Tannaka for the Tohoku', the writ
ing of which is contrasted with 'Weil's truly intimidating
demonstrations';123 Grothendieck's incessant preoccupa
tion with defining 'dearly natural' concepts and ideas,
which distinguish his manner of making mathematics from
other artificial practices;124 the presence of a 'plausible
124 Ibid., UL
158
G ROTHENDIECK
125 Ibid. The comical neologism 'yogical [yogique]' invokes Grothendicckian yoga (the
'vague' interlacings of yin-yang dialectics) and is contrasted with a supposedly formal
and precise logic.
159
OF CONTEMPO RARY MATHEMATICS
126 'Du cote de chez Swann (Swann's Way]', in M. Proust, A la recherche du temps perdu
(Paris: Gallimard, i997). The latest edition, by J.-Y. Tadic, collates all the variants
of the original manuscript and thereby thoroughly explores the place of Proustian
inventiveness. [Tr. C. K. Scott Moncrieff & T. Kilmartin, In Search efLost Time (New
York: Modem Library, i9!)&).J
127 Rico/Jes et Semailles, 24.
128 Ibid., 19.
1 60
GROTHENDIECK
161
SYNTHETIC PHILOSOPHY
130 The concept of mathematical sheaf emerges in the work ofJean Leray, in a course 'on
algebraic topology in the O!lag XVII-A* (1943-5), a series of notes in the Comptes &ndm
de l'Acadimiedes Sciences (1946), courses on spectral successions at the Col!ege de France
(1947-50), and reaches its definitive development in the Henri Cartan Seminar at l'tcolr
NomwleSupirieure (1948-51). (O!lag XVII-A was an unusual German prisoner-Of-war
camp in which officers were imprisoned during WWII; Jean Leray directed the camp's
university.) A sheaf is a type of mathematical object that allows for the global gluing of
whatever proves to he coherently transferable in the local. Certain mathematical objects
can then be better understood, thanks to a logic of neighborhoods and mediations over
a continuous space (getting away from yes·no binarisms), and to the natural actions
of groupoids in the fibers of the sheaf.
131 Ibid., 120-1. Grothendieck also spoke of the 'interest' of his colleagues.
162
GROTH ENDIECK
132 We could consider the present essay (originally published in 2007), to a large extent,
as an homage to the Tohoku, fifty years after its publication. It would pcrhap.s be too
much of an exaggeration to describe contemporary mathematics as a series of footnotes
to the work of Grothendieck, but the exaggeration would have an unquestionable
grain of truth to it.
163
O F CONTEMPORARY MATHEMATICS
134 Grothendieck gives the name 'Serre's module language C' to the idea of variation
over the base (ibid., 137). Given that what is at issue here is one of the central ideas
governing a good deal of 'relative mathematics' and the Grothendieckian 'tide', it is
veryintcrestingto observe how, mtheverymuvemmt eftlieidea's emergence, Grothendieck
sees Serre as the 'creator' of ' modulation through C'. This is one more proof of the
incessant contamination of mathematics, with every sort of residue in a web of mixtures
and impurities, that falls outside of analytic philosophy's modes of observation.
164
GROTHENDIECK
136 Ibid., 129. The category of abclian groups, its dual category of compact topological
abelian groups, and the category of sheaves of abclian groups over a given topological
space all make appearances. The instruments of transfer (the Pontrjagin duality) and of
integra.1 leaps from one level to another (sheaves) are put in the service or a differential
understanding between categories - gemis of a very abstract, contemporary, differential
and integral calculus.
137 'Un exemple arnusant', ibid., 160. 'Fun' is not well represented in 'formal' mathematics,
but is, without a doubt, among the important motors of the creative mathematician,
something which, of course, appears to be indiscernible in both 'normal' mathematics
(the series or texts published in the community) and in philosophical discussions of
this normal tradition.
138 Ibid., 165-6.
139 fbid., 16!, 213. The interlacing between functorial descriptions and Cech-style coverings
can probably be seen as the very origin of the Grothendieck topologies.
165
SYNTHETIC PH ILOSOPHY
140 For his part, Peirce brings about what could be called an 'Einsteinian tum' in philosophy.
Of course, although Peirce preceded Einstein and the label is therefore paradoxical,
the universal Peircean semiosis and its associated construction of relational invariants
is precisely fitted to the 'revolution' in modern physics that Einstein would bring about
just one decade later. In Peircean semiosis, subject and object are considered not a�
monadic predicates but as relational webs of various signs, inserted in scaffoldings of
reference subject to a perpetual dynamism ('unlimited semiosis'). In that dynamism of
relative movements, even the observation of an object can undergo modification. Peirce
therefore tries to find invariants in that complex relational flux: the 'Einsteinian tum'
of his philosophy seeks (and finds) what we could call the philosophical invariants of
a general logic of relations and higher-order logic. The relativity of perspective, the
unlimited dynamism of interpretation and the modification of interpret.ants are some
of the great conquests of the Peircean system - conquests that the twentieth century
repeatedly corroborates in the most diverse guises. Nevertheless, with his system's
permanent processes of reintegration and gluing, Peirce overcomes the extreme relativism
into which certain rehabilitations of the ephemeral and the local in the last stages
of the twentieth century can be seen to have led. We will take these ideas regarding
a supposed 'Einsteinian tum' in philosophy (Peirce) and an 'Einsteinian turn' in
mathematics (Grothendieck) further in part 3. If those approximations are more or
less correct, the philosophy of mathematics should, in turn, undergo a comiderable
tum.
141 Ibid., 213.
166
GROTHENDIECK
14" EGA, I, 9·
143 'All ofthe chapters are considered to be open', ibid., 6. Observe, indeed, how chapter
o ends with the phrase 'A suivre [to be continued]' (ibid., 78), something rather
uncommon in the mathematical literature, where texts are usually presented as
'finished'. Mathematics in gestation always ends by emerging (more obscurely than it
sometimes seems) in Grothendieck's works.
144 Given two algebraic varieties X,Y (or, more generally, given two schemes), the study
of the properties of a problem P in a neighborhood of y E Y is approached by way
of its transformations/obstructions through a (proper) morphism between X and Y,
following precise steps in the analysis of the problem: introducing the study of an
adequate local ring A over y; reducing that study to the artinian case (with which
one moves to a 'greater understanding of the problem, which on this level is of an
'infinitesimal' nature' [ibid., 8]); effecting adequate passages by means of the general
theory of schemes; permitting the discovery of algebraic extensions ofA (the primordial
task of algebraic geometry} by means of adequate multiform sections of the schemes.
145 Several sections ofchapter I ("The Language of Schemes') answer precisely to the study
of schemes from the categorical point of view of the preschemes that envelop them:
products (§3); subobjects (§4}; separability conditions (§5); and finitude conditions
(§6). As in the Tolwku, sophisticated examples are introduced (in polynomial rings,
ibid., 139) in order to distinguish, by means of suitable models, the various conditions
of separability.
i46 "Ihe usual constructions suggested by geometrical intuition can be transcribed,
essentially in a single reasonable mo.nner, into this language [of schemes]' (ibid., 9, our
italics). Grothendieck once again expresses one of his deep convictions: behind the
plurality of structures and signs, the construction (invention) of an adequate language
should allow for the naturalness of certain 'One'-structures (discovery) from which
167
OF CONTEMPORARY MATHE MATICS
one should be able to project the remaining 'Many'-structures that are at stake. What
we are de.a.ling with here is neither more nor less than a surprising rebirth of a sort of
mathematical metaphysics that seeks (and finds) new archetypes behind the relative. We
will have a chance to discuss this situation at length in part 3.
168
GROTHENDIECK
148 Ibid., 7.
1 69
SYNTHETIC P H I LOSOPHY
1 70
GROTHENDIECK
155 This is particularly conspicuous when it comes to his 'Sketch of a Program' , with the
connections inaugurated there between combinatorics, number theory and functional
analysis, which have been extended, to the great surprise of the scientific community, to
theoretical physics and cosmology. We will return to this in chapter 6, as we approach
Connes and Kontsevich.
171
OF CONTEMPORARY MATHE MATI C S
1 72
C HAPT E R 5
LAWVERE, S H E LAH
173
SYNTHETIC P HILOSOPHY
156 This tramformalional operation can be seen ingreat detail, for example, in the emergence
of the three Peircean categories, as shown in the doctoral thesis of Andre de Ttenne,
L 'analytique de rqmfsentatian cha. Peirr:e. La genese de la thiorie des categorier (Brusse1 s:
Publications des Facultes universitaires Saint-Louis, 1996).
157 lhis is particularly visible in contemporary physics and biology, which are becoming ever
more imbued with dynamical considerations, linked to the description-comprehension
of 'diagrams of transit'. As we have indicated throughout this work, mathematics -
straddling the 'pure' understanding and the physical world - incorporates to an even
greater extent, in a visible and conspicuous manner, the study ofgeneralandparticular
problematics eftransit.
1 74
E IDAL MATHEMATICS
bv which
work programs can be organized, horizons
u� cluttered, and subspecialists oriented. The ideas, in
turn, combine with images (eidola) , and so often comprise
su rprising
transfusions efJorm. In what follows, we shall
see how
certain incisive contemporary contributions in
mathematics respond, in a technical manner, to sophis
ticated distillations of form in the conceptual world of
mathematical ideas.
175
OF CONTEMPORARY MATHE MATICS
158 Tue Abel Prize citation honors him 'for playing a central role in shaping the modem form
of several parts of mathematics, including topology, algebraic geometry and number
theory'. Note the importance ofjorm in the citation. The casual use of the adjective
modern, however, turns out to be inadequate according to our own delineations.
i59 Serre remains one of the youngest Fields medalists in history.
1 76
E IDAL MATHEMATI C S
162 M. Raussen, C. Skau, 'Interview with Jean-Pierre Serre', NotU:es '![the American
MathematU:al Society 51, 2004: 211. Regarding the rrwde ef creation underlying the
emergence of that 'wonderful melange', it is interesting to point out that Serre speaks
of how 'you have some ideas in mind, which you feel should be useful, but you don't
know exactly for what they are useful', and of working 'at night (in half sleep)', which
'gives to the mind a much greater concentration, and makes changing topics easier'
(in C.T. Chong, Y.K. Leong, 'An Interview with Jean-Pierre Serre', Mathematical
Medley 13, 1985, http://sms.math.nus.edu.sg;lsmsmedley/smsmcdley.aspx#Vol-13). The
combination ofthefaay buundary and the great potentialfor exactitude is a fascinating
theme for mathematical philosophy, which an analytic approach is unable to take
up. In chapter 10, we will see how a broader mathematical phenomenology (which
incorporates the instruments of Peirce, Merleau-Ponty and Rota, among others) can
help us better understand those transits of creation.
177
SYNTHETIC P HI LOSOPHY
163 Coherenee codifies a finite type of property in sheaves. Coherent sheaves come from
both analytic geometry (the sheaf of germs of holomorphic functions), and from
algebraic geometry (the structural sheaf of a Noetherian scheme). A cmnmon idea/form
thus hides behind coherence. This has to do with a technical stratum of unification that
allows for a still-greater unity on the higher level of cohomology groups.
164 We are drawing here (and in what follows) on the excellent overview, P. Bayer, 'Jean
Pierre Serre, Medalla Fields', la Gaceta de la Real Sociedad Matemfilica Espanola 4' 2001:
211-47. This is perhaps the best survey of Serres's work in any language.
165 Witt vectors (1936) are infinite successions ofelements in a ring, by means ofwhich sums
and products ofp-adic numbers can be represented in a natural manner. 'They therefore
have to do with underlyingform.r, hidden behind certain incomplete representations.
Here, one can sec how it is that� though only certain hierarchies of eidal adequation
are under consideration, new mathematics are already emerging.
178
E I DAL MATHEMATI C S
179
O F C O NTEMPORARY MATHEMATICS
167 Ibid.
168 The extremely meticulous Weil is somewhat irritated by the young Langlands's
flights of fancy, and he immediately sends the reckless young man's interminable,
handwritten letter to be typeset. The letter to Weil, along with a great deal of additional
material by (and on) Langlands, can be found online: http:/jwww.sunsite.ubc.ca/
Digita!MathArchive/Langlands/intro.html.
180
E IDAL MATHEMATICS
169 The L·series (Dirichlet) appear as analytic objects for representing Riemann's �
function. The L-functions (Artin, Hecke) are analytic continuations of the L-series that
serve to measure the ramification of prime ideals in algebraic extensions. The abstract
construction (eidal elevation) of the concept of L-function therefore integrates analytic,
algebraic and arithmetical considerations.
170 K is an arbitrary field and (K*:K) need not be commutative. The commutative case had
already been resolved, before Langlands, in classfield theory (Hilbert, Takagi, Hasse,
Herbrand), and, in fact, considerations pertaining to class fields guided a great deal
of the Canadian mathematician's intuition.
171 It is worth the trouble to reproduce the beginning of the letter to Weil here: 'While
trying to formulate clearly the questions I was asking you before Chem's talk, I was led
to two more general questions. Your opinion of these questions would be appreciated.
I have not had a chance to think over these questions seriously and I would not ask
them except as the continuation of a casual conversation. I hope that you will treat
them with the tolerance they require at this stage.' The combination of informality
(supposed lack of seriousness, casual conversation, tolerance) and profundity (as the
seventeen-page letter is far from lighthearted or frivolous) should remind usof Serre's
observations regarding mathematical thought 'in the middle of the night'.
181
SYNTHETIC P H I LO SOPHY
182
E IDAL MATHEMATICS
183
OF CONTEMPORARY MATHEMATICS
172 An algebraic group is an algebraic variety that has, in addition, the structure of a
group. Examples of algebraic groups include finite groups, linear groups GL(n), and
elliptical curves.
173 See R. Langlands, 'Where Stands Functoriality Today', in T.N. Bailey & A.W. Knapp,
Representation Theory andAutomurphit: Forms,
Proceedings of the Symposium on Pure
Mathematics 61, (Providence: American Mathematical Society, 1997), 457-71.
1 84
E I DA L MATHEMATICS
174 We cannot evoke, here, the enormouscancreterichnessof the calculations, but it is enough
to imagine that they include the entire, enormous tradition of nineteenth.-.century and
early twentieth-century Gennan arithmetic Oacobi, Dirichlet, Eisenstein, Kummer,
Hilbert, Hecke, Artin, Hasse, etc.).
185
SYNTHETIC P H I LOSOPHY
t76 Response to the Gold Medal ofthe French Academy '![Sciences (2000), http://sunsite.ubc.
ca/Digita!MathArchivejLanglands/misc/gror.ps .
186
E I DAL MATHE MATICS
177 The Taniyama-Shimura conjecture (1955) suggests the equivalence (modulo L-series)
of elliptic curves with modular forms. Frey ( 1985) conjectured that a nontrivial Fermat
style solutionx•+y•=x• would yield a nonmodular elliptic curve (a 'Frey curve'). Ribet
demonstrated (1986) the Frey conjecture, thus establishing the implication Not (Fermat)
= Not (Taniyama-Shimura), or, equivalently, Taniyama�Shiumura � Fermat. Wiles
187
O F CONTEMPORARY MATHEMATIC S
188
E I DAL MATHEMATICS
182 directed
Lawvere was, first, a student of Truesdell in continuous mechanics; although he later
himselftoward the categorical foundations ofmathematics and logic, he has
always given preference to the categorical instruments dealing with transit and flux
(variable sets and sheaves, beyond the static and the punctual) as being better suited
for an understanding of the physical world.
189
SYNTHETIC PH ILOSOPHY
188 Lawvere speaks of the 'crystalline philosophical discoveries that still give impetus w
our field ofstudy', ibid.
1 90
E IDAL MATHE MATICS
191
OF CONTEMPORARY MATHEMATICS
{�"?���>i&\ , '
· · positive
g s kelet�� ·� ; , ,
higher
' ., category
· (large)
.
.
level
t I
I
descent
I
left I adjoint
lower
category
(small)
1 92
E I DAL MATHE MATICS
193 Ibid., 2.
194 Afree object in a category has a precise technical definition, but can he seen as a universal
object - disincarnate and skeletal - with astonishing projective ductility; it has the
capacity to project, in a unique manner, its entire formal structure onto any other object
in the category having no more than a similar basis. Free objects allow for a remarkable
formal passage from the part to the whole, in mathematical situations involving rich
possibilities of transit (which are not always given, since not every category possesses
free objects). Within this framework, an adjunction can be seen as a generic) uniform
and cohesive process of constructing free objects.
1 93
SYNTHETIC PHILOSOPHY
1 94
E I DAL MATHE MATICS
195
O F CONTEM PORARY MATHEMATICS
199 Sec the works collected in the monumental (73g-page) text, S. Shelah, Classification
7heory and the ){umber ofNtmisomorphic M�ls, (Amsterdam: North-Holland, i990) .
1 96
E I DAL MATHEMATICS
200 Thanks to Andres Villaveces for these clarifications. According to Vtllaveces (personal
communication), 'There is a quantity of structures "waiting to be discovered", in
geometry and in algebra, that demand that the algebraic interaction accounts for all
those high-dimensional diagrams. [ . .. ] Already in group theory they're beginning to
make 3-dimensional amalgams. They are very difficult and correspond to group-theoretic
properties that are truly more profound than most of the traditional ones. [ . .. ] It is sort
of as if, in geometry, we had been working, up to now, with a .. 2-dimensional projection"
of phenomena that would have seemed more narural if we had contemplated them in
their true dimension.'
201 Shelah's charisma has given rise to a genuine logic workshop, distributedover numerous
countries. The work of Shelah and his collaborators is nearing a thousand articles,
almost altogether implausible in the mathematical world. In virtue of the profundity
of his general ideas, his technical virtuosity, the tenacity of his daily work, and his
influence in the community, Shelah can easily be seen as the greatest logician of the
twenty-first cenrury.
197
SYNTHETIC PHILOSOPHY
202 The Morley Theorem (1965) asserts that a denumerable first-order theory that is
categorical in a nondenumerable cardinal lC (that is to say, such that all of its models
of size K are isomorphic) is likewise categorical in every cardinal greater than K. This
is the strongest possible result of the 'collapse' of the infinite for first-order theories
(collapse by strata), since, by contrast, from one stratum to another, far from collapsing,
the models are multiplied, due to the properties of first-order logic (compactness,
LOwenheim-Skolem).
203 We face a situation contrary to that ofC, in which we cannot define an order congruent
with the operations. The fact that complex numbers are not an ordered field, for
many decades seen as an important limitation in the architectonic construction of
sets of numbers, has today come to he seen as a strength (as a reason for stability).
The pendulariJy of the mathematical understanding is evident here. No description
of the ontic richness of C should be allowed to neglect this fundamental oscillation.
Nevertheless, not only has this pendular movement gone unstudied in the analytic
tradition; its existence has not even been registered! This is one example, among many
others in advanced mathematics, thatJon;es us to change our philosophical perspective,
if we are really to be in a position to accept the advances of the discipline.
198
E I DAL MATHEMATICS
204 For complements and clarifications, see the existent overview, A. Villaveces, 'La tensiOn
entre teorfa de modeios y anilisis matematico: estabilidad y la exponencial compleja',
Boletin de Matemiiticas Nueva Serie XI, 2 004: 95-108.
205 Omitting types order property (OTOP) indicates that a certain order that is notdefinable
in first-order logic becomes so through the omission of types (in the logic Lwiw of
the greatest expressive power). Dimensional order property (DOP), is another form
under which an order that is hidden from the eyes of first-order logic may be expressed.
Thanks to Andres Villaveces for this information.
1 99
O F CONTE M PORARY MATHEMATICS
207 Shclah completes the list with other minor sourees of interest (in descending order):
applications, history, 'sport', foundations, philosophy.
208 Ibid., 2. Note that the major exponent ofset theory neglects its supposed philosophical
value. 1his fact should cause philosophers who see the philosophy of mathematics
only in the philosophy of set theory to seriously question their perspective.
209 Ibid. As examples of beauty, Shelah proposes Galois theory (and 'more exactly whar is
in the book of Birkhoff-Mac Lane') and the Morley Theorem {with its proof). Observe
how a great mathematician insists on theform of proofs and on their exposition; once
again the fundamental pertinence ofstyle in mathematics enters the scene.
200
E I DAL MATHEMATICS
210 Given a statement <(J and a subtheory T of the ZF set theory, cp is relatively consistent
with T ifCon (T) � Con ( T+q>), where Con(.!:) means that the throry is consistent, which
is to say, that one cannot deduce a contradiction from L. rp is independent from T if
both qJ and •'P are relatively consistent with T. Godel (1938) began this line of study,
with the relative consistency of the continuum hypothesis with respect to ZF. By other
routes, relative strategies later came to be converted into one another, as we have seen,
in one of Grothendieck's major predominant tendencies.
21! The Whitehead problem (1950) aimed to characterize a.freeabelian group A by means
of a condition on its contextual behavior (residual A condition: for every morphism
g over the group A, with nucleus Z, there exists a section s such that gs=idA.)· Shelah
demonstrated that, for abelian groups, the conjecture IJ (A is residual � A is free) is
independentof'lF set theory, since, on the one hand, V= L implies IJ (hence Con (ZF+IJ)),
and, on the other hand, MA + -,HG implies -,IJ (hence Con(ZF+-,IJ )).
201
SYNTHETIC PHILOSOPHY
214 The cqfinality co(1<) ofa cardinal K is defined as the minimal cardinal of the cofinal subsets
in (the order of) K. A cardinal is regular if it is equal to its cofinality (example: K0+1) and
singular otheiwise (example: Kw}· PCF theory helps to control the subsets of a singular
cardinal through cofinalities, something which cannot be done through exponentials.
215 The circle is closed even tighter ifwe observe (Villaveces, personal communication) the
parallel PCF/cardinals := schemes/varieties. In effect, cardinal arithmetic is localited in
PCF, by controlling cofinalities around fixed cardinals and then 'gluing' the infonnation
together - in a manner similar to that by which schemes help to localize the arithmetic
of varieties, by controlling local rings over prim.es and then 'gluing' the information
together. In the third part of this essay, we will come back to the crucial impurtance
efsheaves - underlying processes of localization and gluing, or, more generaHy, of
differentiation and reintegration - in order to try to capture the passage from modern
to contemporary mathematics in an intrinric fashion (and not merely diachronically1
in the environment 1940-50) .
202
E I DAL MATHE MATICS
203
CHAPT E R 6
CONNE S , KONTSEVI C H
205
SYNTHETIC PHILOSOPHY
206
Q,UIDDITAL MATHE MATICS
111 11 --
11 111
--1111 -----Ill"•
"""
1::1 1•ll""'-------11---
·,111·111·
quiddita.s
\ t
'that which is'
I I
' '
o>""�'�""�"'°'"""'a'�"'.m,,.,,,j,•»ci.l\>o;�;!
218 M. Atiyah & I. Singer, 'The Index of Elliptic Operators on Compact Manifolds',
Bulletin eftheAmerican Mathematical Society 69, 1963: 322-433. Further developed in
M. Atiyah & I. Singer, 'The Index of Elliptic Operators 1-V', Annals efMathematics 87,
1968: 484-604 and 93, 1971: n9-49.
207
O F CONTEMPORARY MATHEMATICS
219 Elliptic operators (whose coefficients in higher-order partial derivatives satisfy a suitable
condition of positivily) appear ubiquitously in mathematics: the Laplace operator
{y�+ ... y�) associated with the heat equation; the Toeplitz operator (given a continuous
f, take tbe holomorphic part in tbe multiplication off by a holomorphic), associated
with the Cauchy-Riemann equations; the Fredholm operator (derivation in the tangent
bundles of a marrifold), associated with ellipticity equations in fibers.
208
Q.UI D DITAL MATHEMATICS
220 This is a sophisticated invariant that involves, among other constructions, the Thom
isomorphism between the homology groups of a manifold and their cotangent space
(modulo boundary), the Chern characters coming from K-theory, and the Todd
classes of a manifold. Without being able to enter into technical details, we can see
how eminently abstract concepts thus appear, typical of the transfusions efform that
we were able to contemplate in the previous chapter, and which are here applied to
the transfusions of the real.
209
SYNTHETIC PHILOSOPHY
221 Grothendieck's K·theory (K for Klassen: the study of classes in their totality) aims to
study algebraic classes of sheaves, and shows how to pass from natural structures of
monoids of sheaves to certain rings of sheaves (by way of formal inversions in the
sheaf's vectorial fibers). Out of K-theory emerges the famous conjecture of Serre
(1959) - every finitely generated projective module over K(X) is free - which was
settled in the affirmative in 1976, by Q.uillen and Suslin. (Quillen's 1978 Fields Medal
was, in part, due to that proof.) Compare the fortune of Serre's conjecture with that
of Shelah's work on the undecidability of the Whitehead conjecture: we should be
struck by the complexity of a universe in which such apparently similar statements
nevertheless find themselves so profoundly demarcated. It is a (romantic) abyss into
which the philosophy of mathematics must enter.
210
Q,UIDDITAL MATHEMATICS
211
O F CONTEMPORARY MATHE MATI C S
fact, the deeper one digs, the more one finds that K-theory
and index theory are one and the same subject! '024 The
horizon we are facing here is similar to the one we passed
through in Grothendieck's work: incorporating a transit
between objects (variations, perturbations) so as to then
proceed to determine certain partial stabilities (invariants)
beneath the transit. Note that this general strategy, in
the most diverse subfields of mathematics, gives rise to
remarkable concreteforms oforigi,nal knowledge, forms that
go completely unnoticed in static realms where move·
ment is lacking (for example, in the realms of elementary
mathematics, where levels of complexity are low).
Atiyah remarks that 'any good theorem should have
several proofs, the more the better'. 225 Such is the case with
the Index Theorem, which, in virtue of its very centrality,
benefits from techniques from many domains; each proof
and each point of view goes on to amplify the 'freedom',
'variety' and 'flexibility' of the mathematician. 226 As Atiyah
describes it, mathematics, in such various decantations, 'is
always continuous, linked to its history, to the past', and
it 'has a unity', which nevertheless should not become ' a
straitjacket. Tue center of gravity may change with time.
It is not necessarily a fixed rigid object in that sense;
225 M. Raussen and C. Skau, 'Interview with Michad Atiyah and Isadore Singer', Notices
qfthe American MathematicalSociety 52, 2005: 225.
226 Ibid., 226, 227.
212
Q.UI D DITAL MATHE MATICS
229 According to Atiyah, 'almost all ofmathematics originally arose from external reality'.
Ibid., 228.
213
SYNTHETIC PHILOSOPHY
231 C. Dreifus, 'From Budapest to Los Alamos. A Life in Mathematics', 'IMNew rork Times.
March 29, 2005, http://www.nytimes.com/2005fo3f29/science/29conv.html.
232 Integrable systems are systems of differenti2' ...quations for which there exists a well
defined collection of'conserved quantities' ( Jified in the spectrum of the differential
operator)� by means of which one can achieve a complete knowledge of the system 's
solutions. What we are dealing with here is yet another incarnation of one of the cenffal
problematics of modern and contemporary mathematics: the study of transits (here,
partial differential equations) and invariants (here, conserved quantities) in the realms
of exact thought.
233 Shock waves are perturbations that propagate energy in a given (usually fluid or
electromagnetic) medium, and that are characterized by an abrupt discontinuity in
their initial conditions. Supersonic waves constitute a paradigmatic case.
214
Q,UI DDITAL MATHE MATICS
234 Scattering studies forms of deviation in radiation that are due to certain deficiencies
of uniformity in the medium in which the radiation is propagated. Many forms of
dispersion in the physics of elementary particles (including X-rays) are paradigms of
scattering. Scattering techniques, in turn, allow radar photos to be interpreted.
235 The KdV equation (after Korteweg-De Vries, 1895: ui+u=x+6uu,=O) is one of the
best-known examples of a nonlinear hyperbolic equation_ The equation models the
behavior of waves in a fluid (a liquid surface, for example) and has been particularly
helpful for applications in naval architecture and for the study of tides. The KdV
equation gives rise to a completely integrable system, and its solutions (solitons) behave
well, since they can be described as solitary waves that uniformly displace themselves
in the medium, repeating the same pattern of propagation (Kruskal & Zabusky, 1965).
Knowledge of those solitons can be lineariud by means ofmethods that are inverse to
those of scattering, and the 'Lax pair' allows us to discover that inversion by means of
suitable noncommutative linear operators. We see here how a very concrete quiddital
situation (waves in water, the KdV equation) gives rise to an entire, subsequent eidal
architecture (integrable system, solitons, the Lax pair), which then subsequently
returns in the quidditas. But the richness of mathematical transits is not restricted
to just one direction. Indeed, Kontsevich (1992) has succeeded in demonstrating a
conjecture ofWitten's, according to which the generative function of the intersection
numbers of spaces over algebraic curves (moduli) satisfies the KdV equation. In this
manner, some of the most abstract constructions in mathematics are governed by an
215
O F CONTEMPORARY MATHE MATICS
236 Lax evokes 'the Kolmogorov-Arnold-MoserTheorem which says that a system near a
completely integrable system behaves as if it were completely integrable. Now, what
near means is one thing when you prove theorems, another when you do experimenls.
It's another aspect of numericalexperimentationreuealingthings.' (M. Raussen & C. Skau,
'Interview with Peter D. Lax', Notices qfthe American Mathematical Society 53, 2006:
223-9: 224; emphasis ours.) And so, extensive calculations in the quidditas hel p s lO
uncover structure in the eidos: a position quite close to Grothendieck's commentarie-s
concerning certain concrete cohomological calculations that would provoke the
structural emergence of motifs.
216
QUIDDITAL MATHEMATI C S
calculative experiments.
The back-and-forth between calculation and structure,
tion, between the quiddital and the eidal, is, for Lax, an
indispensable process - one that explains the tremendous
vigor of mathematics:
217
SYNTHETIC PH ILOSOPHY
218
Q,UIDDITAL MATHE MATICS
239 P. Lax & R. Phillips, &attering'lheory (New York: Academic Press, 1967).
240 Given a wave equation u.n=c2V2u. (with the Laplacian V2=I:a2/an, the non-euclidean
wave equation is obtained by means of the perturbation un=c2V1u. +u./ 4.
241 Given the Poincare plane z (that is, z EC with Im ( z) >O) and given k � 2, the associated
Eisenstein series is defined by l:-m,n# (m + nz)-2k. This is a holomorphlc function that
converges absoluteJy on the PoinrarC plane, which turns out to be invariant under the
modular group SL2(Z) and which extends into a meromorphic function over C. The
remarkable Ramanujan identities, which the ingenious Indian mathematician proposed
with respect to the coefficients of the Eist:nstein series, are well known, and correspond
to sophisticated differential identities between the series.
242 P. Lax & R. Philips, 'Scattering Theory for Automorphic Functions', in Annals ef
Mathematics Studies 87 (Princeton: Princeton University Press, 1976).
243 P. Lax & R. Phillips, 'Scattering Theory for Automorphic Functions', Bulletin '![the
American Mathemati.cal Society, New Series 2, 1980: 261-95.
219
O F CONTE M PORARY MATHEMATICS
245 Ibid.
220
Q,UIDDITAL MATHEMATICS
246 A C*-algebra is a Banach algebra (an associative algebra with a complete normed
tOPology) with an involution operator ( )* that behaves multiplicatively with respect
to the norm. The original examples of C*-algebras are matrix algebras (linked to
Heisenberg's matrix mechanics) and linear operator algebras over Hilbert spaces
(linked to quantum mechanics, following Von Neumann). Von Neumann algebras are
C*-algebras of operators that are closed under certain weak topDlogies. C*-algebras are
mixed mathematical objects in Lautman's sense, in which the linear and the continuous
are interlaced, through a hierarchy of intermediary properties that have to do with
convexness, order, identities and quotients. For a presentation of Connes'searlyworks.,
see H. Araki, 'The Work of Alain Connes', in Atiyah, Iagolnitzer, Fields Medallists'
Lectures, 337-4+
247 The weaving between the One and the Multiple isfully bipolar in Connes. Indeed, he
makes use of the abstract instruments of mathematics for applications in physics (the
use of C*-algebras for understanding quantum mechanics, sharpening Von Neumann's
program), but also, as we will later see, he makes use of the concrete instruments of
physics for 'applications' in mathematics (the use of spectroscopy for understanding
the Riemann hYPothesis) · As regards the evanesccnt.ftvntier between the pure and
the applied, recall Keller s paradoxical definition of pure mathematics as a branch of
applied mathematics, as evoked by Lax.
221
SYNTHETIC PH ILOSOPHY
222
Q.UIDDITAL MATHEMATICS
251 It would not be out of place here to recall Lautman's remarkable study of symmetry
and dissymmetry in mathematics and physics, as a sort of prelude to subsequent
noncommutative studies (see p. 59, above) .
252 Hopf algebras are structures that show up in the proofs of representation theorems
for algebraic groups (combinations of groups and algebraic varieties, such as linear
groups, finite groups, elliptic groups, etc.). Vladimir Drinfeld (1990 Fields medalist)
introduced quantic groups (1986) as nonrigid deformations of Hopf algebras, and
223
OF CONTEMPORARY MATHEMATICS
224
Q.UIDDITAL MATHEMATICS
253 P. Cartier, 'A Mad Day's Work: From Grothendieck to Connes and Kontsevich. The
Evolution of Concepts of Space and Symmetry', Bulletin oftheAmerican Mathematical
Society (New Series) 38, 2001: 407. Cartier's article was originally written in French in
1998; in 2000, he added a postscript, from which we have taken our quotation._The
ahsolut'!_Galois group is the Galois group of the (infinite) algebraic extension Gal ( Q:Q)
where Q is the algebraic closure of the rationals. The Grothendieck-Teichmiiller group
(GT) offers a combinatorialdescription of the absolute Galois group. It remains an open
conjecture �hether or not the algebraic and combinatorial descriptions are equivalent
(GT "' Gal ( Q:Q)). The Grothendieck-Teichmii!ler group appears in a natural manner
in Grothendieck's dessins d'enfants (i983): finitaryobjects aimed at characterizing the
behavior of number fields through certain associated Riemann surfaces. Yet to be fully
understood, dessins d'enfants - forms of the combinatorial understanding of algebra
by way of analysis - constitute a typical Grothendieckian transit.
254 The Lie algebra of GT can be described as a free algebra over the Euler numbers l;(3),
l;(5),l;(7), . . . (where l;(k)=l:,,1n-•). The Euler numbers appear in many comers of
number theory, but are still almost entirely unknown objects: only the irrationality
of l;(3)has been proven (Apery 1979, a tour de force that remained isolated for many
years), and, recently, the irrationality of infinitely many l;(k)when k is odd (Rivoal
2000). See Cartier, 'A mad day's work .. .', 405-6.
255 The Lie algebra ofUis the free alg!:braover l;(l), 1;(2),1;(3), . . .. The proximities between
the absolute Galois group Gal ( Q:Q) and the cosmic Galois group U, through the
mediation of GT, thus allow us to pinpoint a totally unexpected actWn ofan arithmetical
group on the universal constants efphysics (the Planck constant, the speed of light, the
gravitational constant, etc.).
225
SYNTHETIC P H I LOSOPHY
257 Tate's mixed motifs (1965) show up in the representation of the homology classes of a
variety by means of linear combinations of subvarieties (algebraic cycles) and in the
connections between that representation and /-adic cohomology. Tate motifs serve as
a concrete guide to Grothendieck's general conjectures concerning motifs (standard
conjectures).
258 C. Goldstein & G. Skandalis, 'An Interview with Alain Connes', EMS Ner11sletter 63,
2007: 25-30: 27.
226
QUI D DITAL MATHE MATICS
261 The Riemann hypothesis encodes certain arithmetical properties in terms of analytic
properties. Riemann's zeta function is a function of a complex variable that is initially
defined by means of an absolutely convergent series �(s)=Ln2:ln--s for the case where
R.e(s)> 1 (over natural numbers greater than l, this therefore coincides with the Euler
numbers) that subsequently, through an analytic extension, gives rise to a meromorphic
function over C, with a simple pole ins= 1 (residual 1 ). A functional equation obtained
by Riemann for the zeta function shows that it possesses 'trivial' zeros (roots) in the
negative even integers. Riemann conjectured ( 1859) that allthe other uros of the zeta
function lie in the complex lineRe(z)=l/2 (the so-called Riemann hypothesis). Various
mediations serve to link Riemann's zeta function to arithmetic: the Euler formula
l:ne?:I n--s=flpprime 1/(1-p -s); other 'mixed' functions of a complex variable determined
by the zeta function; intermediary functional equations between these; and the subtle
asymptotic behavior of the functions. Riemann's strategy inaugurates a profound
understanding of the discrete through underlying continuous instruments7 which
would go on to be furthered by the German school of abstract algebra (Artin, Hecke),
and which would give rise to the Weil conjectures and to Grothendieck's grand
cohomological machinery. The consequences of the Riemann hypothesis in number
theory are quite extensive, and the hypothesis may perhaps be considered, today. as
the greatest open problem in mathematics. For a description of the situation, see E.
Bombieri, 'The Riemann Hypothesis', in J. Carlson et al., 1he Millennium Pria Problems
(Providence: The Clay Mathematics Institute, 2oo6), 107-24.
227
O F CONTEMPORARY MATHEMATICS
263 For details see Connes & Marcolli, A Walk in theNuncummutative Garden, 84-99.
264 Connes's program clearly shows how certain webs of invention and discovery proceed in
higher mathematics. The analogies - or harmonious conjectures - correspond to precise
(but not theorematic) translations between algebraic geometry and noncommutativc
geometry, with transferences and technical redefinitions ofconcepts in either context
The refined structural organization of each realm allows for an intuition of synrhetic
228
Q,UI D D ITAL MATHE MATICS
correspondences, which are then analytically delimited and contrasted with the
many examples available, thereby producing a sort of dictionary between algebraic
geometry and noncommutative geometry. A series of 'analogies' can be found in
Connes & Marcolli, A Walk in theNoncommtaative Garden, 9. As the authors indicate,
the fluctuations implicit in the analogies are what driues the subsequent development of
the mathematics. To eliminate this indispensable, initial vagueness from mathematics - as
a century of analytic philosophy presumed to do - therefore impedes understanding
of the complex creative forms of the discipline.
265 For a technical description of Kontsevich's work prior to the Fields Medal, see C.
H. Taubes, 'The Work of Maxim Kontsevich', in Atiyah, Iagolnitzer, Fields Medalists'
Lectures, 703-10.
229
SYNTHETIC PHILOSOPHY
230
Q,UIDDITAL MATH EMATICS
269 M. Kontsevich, 'Intersection Theory on the Moduli Space of Curves and the Matrix
Airy Function', Communications in Mathematical Physics, 147, 1992: I-.23.
231
OF CONTEM PO RARY MATHE MATICS
232
Q.UI DDITAL MATHEMATICS
2
of certain terms of asymptotic expansions. 71 Even more
22
astonishingly, 7 what emerges in Kontsevich's calculations is
an action of the Grothendieck-Teichmiiller group on the
233
SYNTHETIC P H I LOSOPHY
234
Q,UIDDITAL MATHEMATICS
235
O F CONTEMPORARY MATHEMATICS
236
Q.UIDDITAL MATHE MATIC S
237
C HA P T E R 7
Z I LB E R, G RO M OV
239
SYNT H E T I C P H I LO S O P H Y
240
A R C H E A L M A T H E M AT I C S
241
O F C O NT E M P O RA R Y M AT H E M A T I C S
242
A R C H E A L M AT H E M AT I C S
243
SYNT H E T I C P H I LO S O P H Y
.280 Regular categories are categories with the exactness properties (cartesianity, existence
of images, preservation of coverings under pul1backs) that are necessary and sufficient
for achieving an adequate composition of relations.
281 Pre1ogoi are regular categories for which the subobject functor takes values in the
category of lattices (and not only in sets) . A preorder P, understood as a category,
will turn out to be a prclogos if and only if P is a distributive lattice with a maximal
clement.
282 Logoi are prelogoi for which the subobject functor (with respect to its values in the
category of lattices) possesses a right adjoinc. A preorder P, considered as a category,
will turn out to be a logos if and only if P is a Heyting algebra.
283 "Ve have already witnessed the appearance of topoi in Grothendieck's work and its
subsequent elementary axiomatization due to Lawvere. The categoryP associated with
a preorder will turn out to be a topos if and only if P reduces to a point.
244
ARC H EAL MATHE MATI CS
which yields a free result when one starts with a pure type
theory, and which shows, in each of its stages - relation
ality, subsumption in identity (Car), partial invertibility
(Split), functionality (Map ) 285 - how a determinate math
ematical conglomerate goes on to be 'filtered'. Out of this
'filtration' come two observations of great interest, both
mathematically andphilosophically: L the analytic process
of decomposing the transit is linked to the exhibition
of a universal synthetic environment that emerges in the
process ( the allegory A T), once again stressing the exis
tence of an indispensable2 86 analytic-synthetic dialectic
245
O F C O N T E M P O RARY M AT H E M A T I C S
287 Freyd recalls that the lemma does not actually appear in Yoneda's original article ('Note
on Products in Ext', Proceedings oftheAmerican Mathematical Society, g, 1958: 873-75), but
in 'a talk that Mac Lane gave on Yoneda's treatment of higher EXt functors' (see http://
www.tac.mta.ca/tac/reprints/articles/)/foreword.pdf, p. 5). The lemma's immense
philosophical content (to which we will return in the book's third part) corroborates
the Lautmanian transit between 'notions and ideas' and 'effective mathematics'. It is
interesting to point out that the lemma - so close to the structural grounds of Laurman's
thought - in fact arose through a vivid discussion between Yoneda and Mac Lane in
the Gare du Nord in Paris (see http://www.mta.ca/·cat·dist/catlist/1999/yoneda), so
close to the French philosopher's own physical neighborhood.
2 46
A R C H E A L M AT H E M ATI C S
category of
category C A presheaves
ideal
over C
objects
'copy ' of c
288 D. Hilbert, 'On the Infinite' ( 1925), in]. van Heijenhoort, FromFrege to Godel: A Source Book
in Mathematical Logi£ 1879-1931 (Cambridge: Harvard University Press, 1967), 367-92.
247
SYNT H ET I C P H I LO S O P H Y
248
A R C H E A L M AT H E M AT I C S
290 In what follows, we will define that minimal base, which we will denote RCAo. The
important point that should be emphasized here, before getting into the details, is
that of equideduction in the eyes ofa weak axiomatic base. Of course, from the absolute,
analytic point of view of ZF set theory, we also have ZFf- a 1 � b 1 , simply because both
Slatements are tautological from the absolute point of view of the axioms of set theory;
but, in this case, the equideduction is trivialized and loses the logical richness of an
intermediate derivation, without strong premises tha[ distort it.
291 The language of second-order ari[hmetic extends that of the first order with variables
of two types ('set' or second-order variables, in addition to 'numerical' or first-order
variables), with an additional relational symbol ( E), with new formulas of the type t EX
(where t is a numerical term, andX a set variable), and wilh additional quantification
over set variables (whence the 'second' order). A formula in the second-order language
is called arithmetical if it does not quantify over any set variables.
249
O F C O NT E M P O RA RY M AT H E M AT I C S
292 I� includes (first-order) formulas with recursive matrices, which can be put into a
normal form with n alternations of quantifiers and with 3 as its outermost quantifier.
IT� is defined likewise, for normal forms with v as their outermost quantifier. We then
define 6. � formulas as those that can be put into either L ·� '"', n � form.
293 See Simpson, Subsystems ofSecond Order Arithmetic, chapters 5 and 6, 167-241 ( transfinite
recursion for arithmetical formulas and comprehension for fl: formulas ) .
250
A R C H E A L M AT H E M AT I C S
251
SYNTH E T I C P H I LO S O P H Y
252
A R C H E A L M AT H E M AT I C S
297 Vie are grateful to Andres Villaveces for his lessons on Zilber (through an article we
have referred to, conversations and conferences). An excellent overview of Zilber and
his epoch can be found in B. Poizat, 'Autour du thi:oreme de Morley' (the section
'1980-90: les annees-Zilber', in particular), inj .-P. Pier, ed.) Development ofMathematics
1950-2000 (Boston: Birkhauser, '.woo), 879-96.
298 H.J. Keisler & C.C. Chang, Mode/ Theory (Amsterdam: North·Holland, 1973) .
253
O F C O NT E M P O RARY M A T H E M A T I C S
254
A R C H E A L MATH E MATI C S
255
S Y NT H E T I C P H I L O S O P H Y
304 For an illustrated modern edition of Klein's text, with a preface by Dieudonne, see F.
Klein, Le programme d'Erlangen ( Paris: Gauthier-Villars, 1974).
305 E. Hrushovski, 'A new strongly minimal set', Annals ofPure and Applied Logic 62, 1993:
147-66.
306 lhat is, not bi·imerpretable with an algebraically closed field, in the sense of algebraic
geometry.
307 E. Hrushovski & B. Zilber, 'Zariski Geometries' ,Journal ofthe American Mathematical
Society 9, 1996: 1-56.
308 A Zariski geometry is a sort of variable topological structure (Xn: n2::: 1 ) , with no ethericity
conditions and coherence between the X �· Zariski geometries can be seen as Lautmanian
256
A R C H E A L M A T H E MA T I C S
mixtures between model theory, algebraic topology and algebraic geometry. Hrushovski.
drawing on techniques emerging in Zariski geometrics, succeeded in demonstrating a
Mordcll·Lang conjecture regarding the number of rational points over curves in fields
of functions (1996), which generalized the famous Mordell conjecture for curves over
Q (proven by Faltings, winning him the Fields Medal in 1986). This is, perhaps, the
most famous example of techniques comingjrom logic that help to resolve a problem
in the 'heart' of mathematics. (Remember Cannes.)
309 B. Zilber, 'Pseudo-exponentiation on algebraically closed fields of characteristic zero',
Annals Pure andAppliedLogi,e 132, 2004: 67-95.
310 The nucleus of the complex exponential up(2inx1 contains Z, where, with sum and
multiplication, Peano arithmetic can be reconstructed, which gives rise to the many
phenomena of incompleteness, instability, profusion of nonstandard models, etc.
".'./everthcless, using a logic with countable disjunctions Lrniwi the nucleus ofthe exponential
can beforced to be standard, by means of the sentence 3a 'ix ( e..rp ( .r ) =O ___, \/m>=Z .r=am)
(a= 2 i 1T in the classical case), for example. The pseudo-exponentials generalize various
properties of the complex exponential to arbitrary classes of models in Lell w• including
the standard forcing of the nucleus,
257
O F C O NT E M P O RARY M AT H E M A T I C S
313 \Visdom lies sunken in the deep, in the infinite abysses, as Melville suggests in Moby
Dick, in recounting Pip's second fall from the whaling vc!>scl and his immersion in
the ocean's lower strata: 'The sea had jeeringly kept his finite body up, but drowned
the infinite of his soul. l\�ot drowned entirely, though. Rather carried down alive to
wondrous depths, where strange shapes ef the unwarped primal world glided to and fro
before his passive eyes; and the miser-merman, V/isdom, revealed his hoarded heaps',
Herman :"v!elville, Moby Dick (1849-5 1 ) , H. Hayford, JI. Parker & G.T. Tanselle), eds.
(Evanston and Chicago: Northwestern Cniversity Press and The Newberry Library,
1 9 88), 414. Archeal mathematics active1y explores those 'strange shapes of the unwarped
primal world' that escape the frightened Pip.
314 Regarding the junction that Zilber envisions between the objects of model theory and
the deep structures of physics, Andres Villaveces remarks, 'The structures that are most
linked to noncommutative geometry and to the structures of physics arc the nonclassical
<;ariskigeometries. These form part of the "positive" side of the trichotomy, and appeared
in the article by Ilrushovski and Zilber. But only recently, only in the last tvm or three
,
years, has Zilber begun to see that certain cases of "finite coverings. that should have
been understood in terms of algebraic curves cannot be reduced to the lalter. This
dramatically changes two things: the junction with physics (more closely linked to a
refined analysis of Zariski geometries - of finite but not unitary coverings of varieties
that can only be undersrnod in terms of actions of noncommutative groups), and the
still more open role of pseudo-analytic structures' (personal communication, 2007).
258
A R C H E A L M AT H E MA T I C S
3 1 5 The great Russian school - a s w e have seen with Drinfeld, Kontsevich and Zilber, and
as we will soon see \vi th Gromov � consistently tends to reveal deep unitary structures
behind multiple mathematical and physical phenomena. This is also the case with the
works of Vladimir Voevodsky (2002 Fields medalist), who has succeeded in providing
a technical support for Grothendieck's motifs, as a central trunk ef cohomologi,es. By
introducing new Grorhendieck topologies for algebraic objects, Voevodsky managed
to construct subtle forms of 'surgery' for algebraic varieties - analogous to 'surgeries'
for topological spaces, but having to overcome far more delicate obstructions - and
succeeded in defining homotopic theories for algebraic varieties and schemes ( 2000).
At the intersection between algebraic geometry and algebraic topology, Voevodsky's
eidal ascent toward Grothendieck topologies would later allow him to bring about
a quiddital descent toward the singular cohomology ('enriching it' in Voevodsky's
sense) and pinpoint, in the last instance, the archeal motifs sought by Grothendieck
For technical introduction to Voevodsky's works, see Christophe Soule, 'The work of
Vladimir Voevodsky'. in Atiyah, Iago1nitzner, Fields Medalists' Lectures, 769-72.
259
S Y NT H E T I C P H I L O S O P H Y
260
A R C H E A L M AT H E M AT I C S
261
O F C O N T E M P O RARY M A T H E M A T I C S
324 I n the A model of string theory, 6 temporal dimensions are united in a 3-dimensional
symplectic manifold, and the 'leaves of the universe' are parameterized as
pseudoholomorphic curves over that manifold. The Gromov-\r\littcn invariants are
thus linked to deep physical problems. The interlacing of higher mathematics and
cosmology is once again underwritten in unexpected ways.
325 Langevin, 'Interview: Mikhael Gromov', u13-15.
262
A R C H E A L M AT H E M AT I C S
263
O F C O N T E M P O RA RY M AT H E M AT I C S
327 For technical details, see Elek, 'The :Mathematics of Misha Gromov', 181-2.
328 The basic example of a hyperbolic gro11p, in Gromov's sense, is the fundamental group
of an arbitrary manifold of negative curvature. The generalization of certain properties
of ·rhin' triangles in the universal covering of that variety leads to abstract definitions
ofhyperbolicity (ibid., 183).
264
A R C H E A L M A T H E M AT I C S
329 Given a recursively presented group G, the wordproblem associated with (; consists in
decid ing if two finite products of the generators of G (that is to sa;\ words in the free
group) coincide or not. Some groups for which the word probl em is soluhlP include
finite groups and simp le ) finitely generated groups. It can be demonstrated that a
uniform solution of the problem for all groups docs not exist, and so the measure of
the problem's complexity for certain classes of groups turns out to be a result of great
interest. Gromov has demonstrated that the complexity of the word problem for a
given group is linear if and only if the group is hy perb olic. By means of a metric in
the class of fin itely generated groups, it has been demonstrated that the closure of the
subclass of hyperbolic groups contains the 'Tarski "M on s ters ' . (The latter are infinite
groups whose nontrivial subgroups are cyclical groups of order p, for a fixed prime p;
the existence of such groups was proven by Olshan ski i [1980], with p> 10 �-. - a result
that should make philosophers dream I )
265
PART TH R E E
Synthetic S ketches
C HAPTE R 8
FRAG M E N T S OF A T RAN S I T O RY O N T O L O GY
269
S Y N T H E T I C P H I LO S O P H Y
[x,y, ... ] in the body efthe text, which will direct the reader
to the pages x, x-y, or x, y, . . . of this book.
The case studies of the second part should have made
it clear that contemporary mathematics is incessantly
occupied with processes eftransit in exact thought, involved
in multiple webs ef contradistinction, both internal and
external. From this it immediately follows that the ques
tions concerning the content and place of mathematical
objects - the ontological 'what' and 'where' - through
which we hope to describe and situate those objects,
cannot be given absolute answers, and cannot be fixed
in advance. The relativity of the 'what' and the 'where'
are indispensable to contemporary mathematics, where
everything tends toward transformation and flux. I n
this sense, the great paradigm of Grothendieck's work,
with its profound conception of a relative mathematics
[140-141] interspersed with changes of base of every
sort in very general topoi [141-142], should be fully
understood as an 'Einsteinian turn' in mathematics. As
we have seen, we are dealing with a vision that ramifies
through all the mathematics of the epoch, and which is
also capable of giving rise to a genuine Einsteinian turn
in the philosophy efmathematics.
Now, the point of Einstein's theory of relativity, once
we assume the movement of the observers, consists in
finding suitable invariants (no longer euclidean or Gali
lean) behind that movement. Likewise, the point of a
270
F RA G M E N T S O F A T RA N S I T O RY O NT O L O GY
271
O F C O N T E M P O RA RY M AT H E M AT I C S
272
F RA G M E N T S O F A T R A N S I TO RY O N T O L O GY
273
S Y NT H E T I C P H I L O S O P H Y
274
F RA G M E N T S O F A T RA N S I TO RY O N T O L O GY
275
O F C O N T E M P O RARY M AT H E M AT I C S
276
F R AG M E N T S O F A T RA N S I T O RY O N T O L O G Y
333 J. -F. Courtine1 'Essence', in Cassin, Vocabulaire europien des philosophies, 400-14.
334 See M. Merleau-Ponty, Notes des cours du College de France (1958-59, 1960-61) (Paris:
Gallimard, 1996), and L 'oeil et !'esprit (Paris: Callimard, 1964) . The latter is the last
text he published in his lifetime, in 1961, and is a magnificent way to be introduced to
Merleau-Ponty's work See also his two posthumous works, La prose du monde (Paris:
Gallimard, 1969) and Le visible et !'invisible (Paris: Gallimard, 1964). The hiatus between
the visible and the invisible can only be understood while shifting within it.
277
SYNTH E T I C P H I L O S O P H Y
278
F R A G M E N T S O F A T RA N S I T O RY O NT O L O GY
339 Lautman, Essai sur l'uniti. . . , 143-7, 203, 227-8, 303. See N.-1. Boussolas, L'Etre et la
composition des mixtes dans le Phitebe de Platon (Paris: PUF, 1952).
279
O F C O NT E M P O RARY M AT H E M A T I C S
280
F R AG M E NT S O F A T RA N S I T O RY O N T O L O GY
281
S Y N T H E T I C P H I L O S O P HY
282
F R A G M E N T S O F A T RA N S I T O RY O N T O L O GY
343 X. Caicedo, 'L6gica de 1os haces de estructuras', Revista dela Academia Colombiana de
Ciencias Exactas, F£sicasy Natura/es XIX, 7 4, i995: 569-85. Caicedo provides a framework
of great depth and breadth - mathematical, logical, conceptual, and philosophical
- which is unfortunately still unknown by the international community. He has
announced (in 2012 ) a forthcoming publication in English. For a partial overview in
Italian, see F. Zalamea, 'Ostruzioni e passaggi nclla dialettica continuo/discreto: ii
caso <lei grafi esistenzia1i c della logica dei fasci', Dedalus. Riuista di Filoscifia, Scien.w e
Cultura - Uniuersitii di Milano 2, 2007: 20-5.
344 Kripkemodels are 'trees' that can be used to represent a branchingtemporal evolution;
from a mathematical point of view, they are simply presheaues over an ordered set (seen
as a category). Kripke models furnish a complete semantics for intuitionistic logic. Other
complete semantics for intuitionism are provided by the class of topological spaces,
or by the class of elementary topoi [111]. Intuitionism and continuity are interlaced
over an archeal ground in this manner, and Thom's aporia emerges in a new form:
classical-discrete versus intuitionistic-continuous. This new appearance of intuitionism,
untethered from its original constructivist aspect, has not been sufficiently exploited
in the philosophy of mathematics.
283
O F C O NT E M P O RARY M A T H E MA T I C S
284
F R AG M E N T S O F A T RA N S I T O RY O N T O L O GY
345 Sheaves emerge in the work of Jean Leray, in the study of indices and coverings for
differential equations (with his works in the Oflag XVII, and articles from i946-50;
the term 'sheaf' first appears in 1946). In the general realm of the study of a manifold
through its projections into manifolds of lower dimensions (Picard, Lefschetz,
Steenrod), there arises the problematic of studying the topology of the initial manifold
by means of the coherent information provided by the fibers in the projection, and
sheaves are precisely what help to capture (and glue together) the continuous variation
in the fibers. The Cartan Seminar of the Ecole Normale SupCrieure (1948-51) served
ro distill Leray's ideas and present the sheaf concept as it is known today: as a fibered
space, or «:talC space' in Lazard's terminology (not to be confused with Grothendieck's
notion of etale: distinguished by a mere accent aigu, these two concepts are almost
diametrically opposed - the first is ramified, the second is non ramified), and as the
sheaf of germs of sections. Godement unified the concepts and terminology in his
Topologiquealge'briqueet tMoriedesfasceaux (1958), in parallel with Grothendieck's Tohoku
[162-166]. For a detailed history of sheaf theory, see ]. Gray, 'Fragments of the
history of sheaftheory', in LectureNotes in Mathematics 753 (New York: Springer, 1979)1
1-79, and C. Houzcl, 'Histoire de la thi:orie des fasceaux', in La giomitrie algibrique
(Paris: Albert Blanchard, 2002), 293-304. In our final chapter we will situate the
appearance of sheaf theory as the concretization of a deep conce,ptual break between
modern and contemporary mathematics, and we will try to show that the diachronic
break around 1950 is not a mere historical accident.
285
S Y N T H E T I C P H I L O S O P HY
SHEAF
SHEAF
PRESHEAF
286
F RA G M E N T S O F A T R A N S I T O RY O N T O L O GY
dialectics - linked to 'bipolar tensions' similar to those that have been discovered in
the adjunctions of mathematical category theory - see De Tienne, L 'anal;•tique de la
ripresentation . . .
34i Rota, Indiscrete 7houghts, i84-6.
287
O F C O N T E M P O RARY M AT H E M AT I C S
348 Rota clearly expresses the urgency of not adopting exclusions in an a priori fashion:
'Mathematical items can be viewed either as analytic statements derived within an
axiomatic system or as facts about the natural world, on a par with the facts of any
other science. Both claims are equally valid. l · · · l The contextual standing of an item
as analytic or synthetic is not fixed'. Ibid., 168.
288
F RA G M E NT S O F A T R A N S I T O RY O NT O L O GY
289
O F C O N T E M P O RARY M AT H E M AT I C S
292
F R AG M E N T S O F A T RA N S I TO RY O N T O L O G Y
293
C H AP T E R 9
C O M PARATIVE E P I S T E M O L O GY A N D
S H EA F I F I CATI O N
295
SYNTH E T I C P H I LO S O P H Y
296
C O M P A RA T I V E E P I S T E M O LO GY A N D S H E A F I F I C AT I O N
297
S Y N T H E T I C P H I L O S O P HY
300
C O M PARAT I V E E P I S T E M O L O GY A N D S H E A F I F I CAT I O N
301
SYNTH E T I C P H I LO S O P H Y
352 This continuity is one expression of Peircean synechism, which postulates an even stronger
continuity hypothesis, by supposing the existence of a complete�v operative continuity
in nature (in which the human species appears, according to Peirce, both materially
and semiotically). Another expression of this synechism is constituted by the three
cenopythagorean, universal categories, which1 according to the Peircean hypothesis,
continually traverse boch the world of phenomena and the forms by which those
phenomena are known. For a description of synechism, of the generic (nonclassical�
nonCantorian, nonextensional) concept of the continuum according to Peirce, and of
certain partial mathematical models for this nonstandard continuum, see F. Zalamea,
F.I continua peirceano (Bogota: Universidad Nacional, 2001 ) . An English translation is
available ar http://unal.academia.edu/FcrnandoZalameaj\Vebsites.
304
C O M PA RATI V E E P I ST E M O L O GY A N D S H E A F I F I C AT I O N
305
O F C O NT E M P O RA RY M AT H E M AT I C S
306
C O M PARAT I V E E P I S T E M O L O GY A N D S H E A F I F I CA T I O N
354- This is something that impresses itself upon even such a studious partisan offoundations
as Feferman: 'lhc logical picture of mathematics bears little relation to the logical
structure of mathematics as it works out in practice'. S. Feferman, 'For Philosophy of
:Y1athematics: 5 Questions', 13. Course material, http://math.stanford.edu/-fefrrman/
papers/philmathfive.pdf. Fcfcrman nevertheless repeats the usual prejudices against
an 'ingenuous' or 'trivial' Platonism: 'According to the Platonist philosophy. the
objects of mathematics such as numbers, sets, functions and spaces are supposed to
exist independently of human thoughts and constructions, and statements concerning
these abstract entities are supposed to have a truth value independent of our ability
to determine them' (ibid., u). Compare this (caricatural) description with the more
complex Platonism of a Lautman [52-60] or a Badiou [277-280].
355 Petitot 's program for the naturalization ofphenomenology covers similar bases, and offers
a great deal of room to geometry. See]. Petitot et al., Naturalizing Phenomenology: Issues
in Contemporary Phmomenology and Cognitive Science (Palo Alto: Stanford University
)
Press, 2000 . Although Petitot makes use of techniques in neuroscience, which we du
not mention here, his invocation of Riemannian geometry and sheaf logic anticipates
our own perspectives.
307
SYNTH E T I C P H I L O S O P H Y
C hatelet's mathematico-philosophico-metaphorical
instruments in this search for a continuous articulation
include 'dialectical balances', 'diagrammatic cuts', 'screw
drivers', 'torsions', and 'articulating incisions of the suc
cessive and the lateral', which is to say, an entire series
of gestures attentive to movement and which 'inaugurate
dynasties ofproblems'3s7 and correspond to a certainfluid
308
C O M PARAT I V E E P I S T E M O L O GY A N D S H E A F I F I C AT I O N
309
O F C O NT E M P O RARY M AT H E MAT I C S
310
C O M PARATIVE E P I ST E M O LO G Y A N D S H EA F I F I C AT I O N
311
SYNT H ET I C P H I LO S O P H Y
'lhc ontic 'webs' and epistemic 'processes' are therefore only relative specifications
( in ontological and epistemic contexts) of a single and common kind of 'proto·actions'
(something which coincides with certain tendencies of Pcirccan universal semiotics). In
such a 'blurring' of frontiers between the ontic and the epistemic, it is worth pointing
out how Badiou, on the one hand, sees mathematics as being, basically, ontology,
while Petitot, on the ocher hand, considers it to be, basically, epistemology. On an
analytic reading, such blurrings are taken to be improper, but, as we have observed,
from a synthetic reading - once transits, osmoses, and contaminations are accepted - new
anal_-rses of the processes of transference can be carried out, without having to spill
over into an extreme relativism or into ingenuous forms of skepticism. The forms
of the decomposition (analysis ) of transit (synthesis) can no longer be forgotten in
mathematical philosophy.
361 Chitelet, Les enjeux du mobile, 2 2, 37.
312
C O M PARATIVE E P I ST E M O L O GY A N D S H E A F I F I C AT I O N
CLASSICAL LOGIC
LINEAR LOGIC
313
OF C O NT E M P O RA RY M AT H E M AT I C S
314
C O M PARAT I V E E P I S T E M O L OGY A N D S H E A F I F I CA T I O N
362 J-Y. Girard, 1he Blind Spot: Lectures on Logic (Zurich: European Mathematical Society,
2011), 11.
363 The 'diamond' is outlined and briefly discussed in Samuel Troniron's outstanding
genealogy of the Girardian research program in S. Tron�on. Dynamique des dimonstrations
et thiori.e de /'interaction, PhD thesis, University of Aix·Marseil1e I, Marseille, April
2006, 278.
315
SYNT H E T I C P H I L O S O P H Y
316
C O M PARAT I V E E P I S T E M O L O GY A N D S H E A F I F I C AT I O N
317
O F C O N T E M P O RA R Y M AT H E M AT I C S
318
C O M PARAT I V E E P I S T E M O L O GY A N D S H E A F I F I C AT I O N
3i2 The notion of 'covering' comes from the Latin cooperire ( operire [close]; cooperire [close
or cover completely], eleventh century). In counterpoint with aperire (open), the notion
of covering thus includes, by way of its etymological roots, a conception of the transit
bettveen open and closed environments (a translt reflected in other derived frontiers:
operculum [overlay]; aperitivus [aperture]) .
319
S Y N T H E T I C P H I LO S O P H Y
320
S O M PARAT ! V E E P I S T E M O L O G Y A N D S H E A F I F I C AT I O N
321
O F C O NT E M P O RARY M AT H E M A T I C S
322
C O M PARAT I VE E P I ST E M O LO GY A N D S H E A F I F I CAT I O N
323
S Y NT H E T I C P H I L O S O P HY
324
C O M PARAT I V E E P I ST E M O L O GY A N D S H EA F I F I C AT I O N
325
O F C O N T E M P O RA RY M AT H E M AT I C S
326
C H APT E R 10
P H E N O M E N O L O GY O F
327
S Y NT H E T I C P H I L O S O P H Y
379 Facsimile edition: P. Valery, Cahiers (Paris: Editions du CNRS) (29 vols.), i957-61.
Critical edition: P. Valery, Cahiers 1894-1914 (Paris: Gallimard) (9 vols. at present),
i987-2003. Thematic anthology: P. Valery, Cahiers (Paris: Gallimard/Pleiade) (2 vols.),
i973-4.
380 Prevost & Valery, Marginalia . . . , 225 (Va!ery's emphasis).
328
P H E N O M E N O L O G Y O F M AT H E M AT I C A L C R EA T I V I TY
3 81 ]. Servais, Paul Natorp et la thiorie platonicienne des /dies (Villeneuve d'Ascq: Presses
Universitaircs du Septentrion, 2004). An exccllem and brief introduction to Plato
by Natorp can be found in F. Brentano & P. Natorp, Plat6n y Arist6teles (Buenos Aires:
Quadrata, 2004).
329
O F C O NT E M P O RARY M A T H E M AT I C S
330
P H E N O M E N O L O GY O F M AT H E M AT I C A L C R E A T I V I TY
331
S YN T H E T I C P H I L O S O P H Y
332
P H E N O M E N O LO G Y O F M AT H E M AT I C A L C R E A T I V I TY
333
O F C O NT E M P O RA RY M AT H E M AT I C S
334
P H E N O M E N O L O G Y O F MATH E M A T I C AL C RE A T I V I TY
385 We are grateful to Zachary Luke Fraser for having indicated the pertlnence of Girard's
works to us in the context of ideas of 'flow' and 'obstruction', in both a logico
gcometrical sense (Locus Solum) and in a methodological sense (Du pourquoi au
comment).
386 J.-Y. Girard, 'Locus Solum: From the rules of logic to the logic of rules', Mathematical
Stmctures in Computer Science 11, 2001: 301-506.
335
S Y NT H E T I C P H I L O S O P H Y
387 Girard indicates three steps in the development of logic: 1900-1930, 'the time of
illusions'; 1930-1970, 'the time of codings'; 1970-2000, 'the time of categories'.
Girard's own work can be seen as attempting to cross the threshold of this third era,
and hears the deep influences of category theory's mathematical development in an
effort to exceed its reach. While category theory reveals thefunctional, structural, and
universal dimensions of logical proofs (what Girard calls their 'spiritual' aspect),
Girard's 'ludics' and 'geometry of interaction' aim to uncover their interactive, dynamic
and singular side( what he calls their 'locative' aspect).
388 J.·Y. Girard, 'Du pourquoi au comment: la thCorie de la demonstration de 1950 a nos
jours,' in Pier, Development ofMathematic, 515-45
336
P H E N O M E N O L O G Y O F M AT H E MA T I C AL C R E A T I V I T Y
337
O F C O NT E M P O RA RY M A T H E M AT I C S
3 90 Ibid., 85, 2 2 .
338
P H E N O M E N O L O GY O F M AT H E M A T I C A L C RE A T I V I T Y
339
SYNT H E T I C P H I LO S O P H Y
340
P H E N O M E N O L O G Y O F M AT H E M AT I C A L C R E A T I V ITY
341
O F C O NT E M P O RARY M AT H E M AT I C S
342
P H E N O M E N O L O GY O F M AT H E M AT I C A L C R E A T I V I TY
343
S Y NT H E T I C P H I L O S O P H Y
393 H. Blumenberg, 1empo de/la vita e tempo de/ mondo (Bologna: ii Mulino, 1996) , 391.
344
P H E N O M E N O L O GY OF M A T H E M A T I C A L C R E AT I V I TY
345
OF C O N T E M P O RARY M A T H E M A T I C S
346
P H E N O M E N O L O GY O F M A T H E M A T I C A L C R EA T I V I TY
• decomposition/composition
• differentiation/integration
• deiteration/iteration
• particularization/universalization
• localization/globalization
• residuation/potentiation
(B) Mediations
• oscillation
• mixing
• triadization
• modalization
• sheafification
347
S Y N T H E T I C P H I L O S O P HY
348
P H E N O M E N O L O G Y O F M AT H E M A T I C A L C RE A T I V I TY
349
O F C O N T E M P O RARY M AT H E M A T I C S
350
P H E N O M E N O L O G Y O F M AT H E M AT I C A L C RE AT I V I TY
351
SYNTH E T I C P H I LO S O P H Y
352
C HAPTE R 11
353
O F C O NT E M P O RARY M AT H E M A T I C S
354
M AT H E M AT I C S A N D C U LT U R A L C I RC U LAT I O N
MATHEMATICS
l. complex hierarchization
,/ ,/
systems of mediations
3. structural unity
,/ ,/
multiple polarities
4. dynamics
,/ ,/
movements of liberation/saturation
5. theorematic mixing
,/ ,/
ascents and descents
transits/obstruction
hierarchies/structures
modeling/mixing
6. structural impurity
,/
the arithmetical via the continuous
7 . ubiquitous geometrization
,/
arc heal geometric nuclei
8. schematization
,/
categorical characterizations
10. reflexivity
,/
complex forms of self-reference
fluxions/altemations
schemes/nuclei
rcllection/sheafilication
Figure 16. Some conceptualfaatures that help demarcate modern and contemporary
mathematics.
355
S YN T H E T I C P H I L O S O P H Y
356
M AT H E M AT I C S A N D C U LT U RA L C I RC U LA T I O N
357
OF C O N T E M P O RA RY M AT H E M AT I C S
358
M AT H E M AT I C S A N D C U LT U RA L C I RC U LATI O N
359
SYNTH E T I C P H I L O S O P H Y
360
M AT H E MA T I C S A N D C U LT U RA L C I R C U LAT I O N
361
O F C O NT E M P O RARY M AT H E M AT I C S
362
M AT H E M AT I C S A N D C U L T U RA L C I R C U LAT I O N
363
SYNT H ET I C P H I L O S O P HY
* * *
364
M A T H E M AT I C S A N D C U LT U R A L C I RC U LAT I O N
396 Among the immense primary and secondary literature surrounding Ddeuze, let us
pick out a few text!; that may be useful for the philosophy of mathematics: P. Mengue,
Gilles Deleuze ou le systbne du multiple (Paris: Kime, i994) emphasizes Deleuze's systematic
thinking of mediations, imbrications, and fluxes, the occurrence of which within
mathematics we have repeatedly emphasized here. L. Bouquiaux et al, Perspective.
Leibniz, Whitehead, De/ew:.e ( Pa ris: Vrin, 2006), studies the problematic of the multipHclty
of points of view ('perspective'), of how they can be partially reintegrated, and how
they can be used to act on the world. Without having drawn upon Leibniz, Whitehead,
or Deleuze in our essay, we have repeatedly taken up this problematic through the
Peircean architectonic, the theory of categories, and the processes of sheafification.
Duffy, Virtual Mathematics, is a collection of articles on Deleuze's philosophy and its
potential effects on the philosophy of mathematics. Collapse: Philosophical Research and
Development, ed. R. Mackay) voL 3, 2007 includes an important series of 'nonstandard'
articles on Deleuze, which, among other things, tackle a potential 'integration' of
differential Deleuzian constellations.
397 'Degenerate' should be understood in Peirce's sense of the term: being of diminished
relational complexity. This is the case with the theses mentioned above, which.flatten
the landscape of thought.
365
O F C O NT E M P O RARY M A T H E M A T I C S
366
M AT H E M AT I C S A N D C U L T U R A L C I RC U L AT I O N
367
S Y N T H E T I C P H I LO S O P H Y
368
M AT H E M AT I C S A N D C U LT U RA L C I R C U LAT I O N
4 0 0 'Art and mathematics are the two poles o f all logical thinking, humanity's major modes
of thought', P. Francastel, La realidadjigurativa (1965) (Barcelona: Paidos, 1988), vol.
1, 24.
401 'From the moment we accept the idea that mathematical and artistic signs respond
to intelleccualized knowledge and not only to simple sense data immersed in matter,
WE a lso admit the jnrervention of a logic, of a system, and notions of order and
.
combination, equivalence, relation, operation and transposition appear before us. [ . . J
Just as mathematics combines schemes of representation and prediction, in which the
real is associated with the imaginary, so the artist brings elements of representation
into confrontation with others that proceed from a problematic of the imagination. In
both cases, the dynamism ofa thought that becomes conscious of itself by expressing
and materializing itself in signs interlaces, overtakes, and envelops the elements
of experience and those of the logic of the mind. l · · · J Just like an, mathematics
possesses the dualistic character by which they both reach the heights of abstraction,
while remaining anchored in the real. It is in virtue of this that both mathematical
and plastic symbolism preserve thejr operative character', ibid., 125-6. The 'dualistic'
character remarked upon by Francastel should be understood as the process of a dual
intermingling of the real and the imaginary, over a relay (60] of interlacing signs. The
mediation of the relay imposes itself on the dualism of the positive and the negative,
of the greater and the lesser.
369
OF C O N T E M P O RA R Y M AT H E M AT I C S
370
M AT H E M A T I C S A N D C U L T U RA L C I RC U LAT I O N
402 P. \'alery, Cahiers 1894-1914 (Paris: Gallimard, 1990), vol. 3, 219 (Valery's emphasis).
371
S Y N T H E T I C P H I L O S O P HY
372
M AT H E M AT I C S A N D C U LT U RA L C I R C U L AT I O N
373
O F C O NT E M P O RARY M AT H E MAT I C S
3 74
M AT H E M A T I C S A N D C U LT U RA L C I R C U LAT I O N
375
SYNTH E T I C P H I LOSOPHY
376
I n dex of N ames
A
Abel, Niels Hendrik 24, 75, 76 Berger, Marcel 26on, 2 6 m
Airy, George Biddcll 231 Bernays, Paul 83n
Alexander, James Waddell 67, 233 Bernoulli, Jacob 81
Alunni, Charles 93n Betti, Renato 317n
Apery, Roger 225n Birkhoff, Garrett 59, 2oon, 253
Araki, Huzihiro 22m Blumenberg, Hans 330, 342,
Ardao, Arturo 331n 342-344
Argand, Jean-Robert 94 Bohr, Niels 318-319, 319
Aristotle 89, 329n Bolyai, Janos 2 6 m
Arnold, Vladimir 216n, 335 Bolzano, Bernard 79n, 2 4 9 , 25rn
Artin, Emil 85, l81n, 185n, 2 2 7n, Bombieri, Enrico 227n
303 Borel, Armand 42n, So, 91, 249,
Atiyah, M ichael 43, t36, 137, 250, 303
207-213, 215, 2 21 n, 2 2 2 , Borel, Emile 42n, So, 91, 249,
2 23, 275, 3 2 1 , 335, 341, 250, 303
351, 363 Botero, Juan Jose 16
Bouquiaux, Laurence 365n
Bourbaki 53, 76, n, 96
B Boussolas, Nicolas-Isidore 279n
Brentano, Franz 329n
Badiou, Alain 12n, 71, 88-90, 91, Breuil, Christophe 187n
95, 307n, 312n, 3 2 9 Brouwer, Luitzen Egbertus Jan
Baez, J o h n 9 8 , 125 57, 80
Bailey, TN. 184n Brown, Lawrence Gerald 223
Banach, Stefan 31, 135n, 221n, B rown, Ronald 9 8
250, 252 Burgess, John 103, 105
Barrena, Sara 349n, 375n
Barwise, Jon 3 2 2n
Batt, Koelle 93n c
Baudelaire, Charles 188n
Baxter, Rodney James 2 24n Caicedo, Xavier Im, 16, 283n,
Bayer, Pilar 178n 307, 362
Beltrami, Eugenio 220 Canclini, Nestor Garcia 366n
Benabou, Jean 325n Cantor, Georg 57, So, 89, 9 2 ,
Benacerraf, Paul 1 1 , 91, 104-105, 102, 121, 194, 322n
279n, 2 81, 2 9 7 Cardona, Carlos 1 6
Benjamin, Walter 3 7 Carlson, James 2 27 n
377
I N D E X O F N AM E S
378
I NDEX OF NAME S
379
I N D E X OF NAME S
Haack, Susan n9
Hadamard, Jacques 327 I
Hahn, Hans 3 1 , 250, 252
Iagolnitzcr, Daniel 211n, 229n
Hale, Bob 103
Hallett, Michael 107n
Hamilton, William Rowan 94
Ham, Lorena 155n J
H ardy, G. H. 9n, 24n, 126n
Jackson, Allyn 134n
Harrington, Leo 248n
Jacobi, Carl Gustav Jacob 76, 171,
Harris, Michael 1 8 2
185n
Hasse, Helmut 1 8 1 n , 185n
Jane, Ignacio 103
Hausdorff, Felix 322n
J anelidze, George 70
Hayford, Harrison 258n
Jones, Vaughan 233n
H ecke, Erich 181n, 185n, 227n
Jordan, Camille 303
Heidegger, Martin 54, 56
Joyal, Andre 23on
H eijenhoort, Jean van 247n
Joyce, James 50
Heine, Heinrich Eduard 249, 250
Heisenberg, Werner 2 2 1
Hellman, Geoffrey 1 0 , 103,
106-107, 276, 277
K
Herbrand, Jacques 52, 53n, 61,
6':!, 68, 181 Kant, Immanuel 87, 89, 102
Heydorn, Wilhelm 134 Keisler, H. Jerome 253
Heyting, Arend 78n, 244n, 316 Keller, Joseph 217, 2 2 1 n
Hilbert, David 21, 27, 40, 53n, 61, Kitcher, Philip 71, 81-82
64, 76, 79, So, 96, 181n, Kleene, Stephen Cole 249
i85n, 218, 2 2 m , 223, Klein, Felix 256
2 28n, 247, 251, 261n, 263, Kline, Morris 71, 80-81
273, 300, 304, 306, 362, Knapp, AW. 184n
372, 373
380
I NDEX O F NAMES
381
I NDEX OF NAM E S
382
I N D E X O F NAM E S
Poincare, Henri 21, 44, 56, 67, 127n, 135, 138-140, 143n,
76, 80, 181, 219n, 220, 150, 155, 168, 179, 18m,
231, 233n, 261, 327 205, 206, 208n, 210, 2 1 1 ,
Poisson, Simeon-Denis 94, 230, 2 1 8 , 2 2 1 n, 223, 224, 2 25n.
232, 232-233, 233 227n, 227- 2 2 8 , 231, 234,
Poizat, Bruno 253n, 254n, 255, 236, 250, 356, 357, 36 7
256 Rivoal , Tanguy 225n
Polischuk, Alexander 235 Robinson, Abraham 65, 75
P6lya, George 71 , 72 - 74 , 79, 8 1 , Roch, Gustav i35, 15on, 155, 208,
83n, 2 2 8n 210- 2 1 1
Pontrj agin, Lev 165n Rochlin, Vladimir Abramovich
Popper, Karl 74 260
Posy, Carl 103 Rodriguez Magda, Rosa Maria
Prawitz, Dag 103 366-367n, 367
Prevost, Jean 327n, 3 2 8 n Rosen, Gideon 103
Proust, ,\1arcel 5 0 , 1 60, 338 Rota, Gian-Carlo 71, 85-88, 107,
Putnam, Hilary 104-105, 279n 15m, 177n, 287n, 288n,
Pythagoras 23, 2 2 6 3 2 7 , 330, 343, 345, 346,
358
Rothko, Mark 50
Russell, Bertrand 62, 75, 99, 240
Q
Quillen, Daniel 2 1 on
Quine, Willard Orman 103, s
105, 169
Salanskis, Jean-Michel 325n
Scedrov, Andre 243n
Schelling, Friedrich Wilhelm
R Joseph 374
Schlegel, Friedrich 194
Ramanujan, Srinivasa 219n
Schmidt, Erhard 210
Rapoport, Michael 1 8 2
Schneps, Leila 137n
Raussen, Martin 1 7 7 n , 2 1 2 n,
Schwartz, Jacob 85
216n
Schwartz, Laurent 78, 135
Rayo, Agustin 103
Seidel, Paul 235
Reidemesteir, Kurt 233n
Serre, Jean-Pierre 27, 43, 158-159,
Resnik, Michael 13n, 1 5, 103
161, 162, 164n, 176n,
Rham, Georges de 144
176-180, 18m, 202, 210n,
Ribet, Kenneth 187n
2 2 2 n , 303, 3 2 1 , 332, 350
Riemann, Bernhard 21, 24n,
27, 40, 5 3n, 58, 64,
Serres, M ichel 178n, 338
74, 79, 82, 84, 98, 102,
Servois, Julien 329n
383
I N D E X O F NAM E S
384
I N D E X O F NAM E S
Voevodsky, Vladimir 137, 147, Zariski, Oscar 139, 140, 143, 256 -
259n, 298n, 333 259, 310, 333, 360, 362
Von Neumann, John 59, So, 217, Zaslow, Eric 235
221, 222, 223, 341 Zermelo, Ernst 2 8 , 3i, 92, 1 2 1 ,
324-325
w Zilber, Boris 43, 195, 199, 253-260,
263-265, 271, 272, 274,
Weierstrass, Karl 249, 251
275, 2 8 2 , 297, 303, 312,
Weil, Andre 4i, 42n, 76, 78, 94,
3 2 1 , 333-334, 342, 351,
98, 138-139, 1 42 , 143, 158,
360, 3 73, 375
159, 167, 178, 180-181, 187,
227n, 2 2 8 , 333, 351
Weir, Alan 103
Wetz, FranzJosef 343n
Wey!, Hermann 80
Whitehead, Alfred North 365
Whitehead, John Henry Constan-
tine 201, 21on
Wilder, Raymond 13n, 15, 71,
79-80
Wiles, Andrew 41, 56, 187n
Witten, Edward 215n, 230, 231,
233n, 234n, 261, 262, 335
Witt, Ernst 178
Wittgenstein, Ludwig 16, 31, 90,
103, 216
Woodin, Hugh 92, 105
Wright, Crispin 103
y
Yang, Chen Ning 2 24n
Yoneda, Nobuo 69, 141n,
246-247, 29i, 298n
z
Zabusky, Norman 215
Zalamea, Fernando 29, 4i, 283,
304, 317, 325
385