The most stunning point of this paper is the paradoxical benefit of deliberately assuming some kind of "blindness" in one's own thinking as a mathematician: in reckoning algebraically we proceed eyes closed so to say. What we look at is neither the real world nor our own mind but abstract signs on paper. That is the algebraic, formal", "symbolic" way of thinking.<p>Atiyah has this tradition start with Leibniz, and it marks exactly his opposition to Newton, the latter being mainly interested in physics and therefore restraining math by its grounding in the real world, whereas Leibniz would have understood the formal nature of the discipline. The antagonism re-emerges in the 20th century with Poincaré-Arnold on one side and Hilbert-Bourbaki on the other.<p>The point has been aptly made in the polemics of Brouwer against Hilbertian formalism, by saying that for the formalist mathematical exactness is basically grounded in <i>paper</i>: "Op de vraag, waar die wiskundige exactheid dan wel bestaat, antwoorden beide partijen verschillend; de intuitionist zegt: In het menschelijk intellect, de formalist: Op het papier", see Hermann Weyl, Philosophie der Mathematik und Naturwissenschaft, 1927, p.49.<p>I guess a very large majority of people would still think that math is the rational, systematic account of what is ("real world"), but Atiyah seems to say that from an inner-mathematical perspective, the purely formal conception of mathematics prevailed. Algebra was the "Faustian offer" handed over to mathematicians: in exchange for the formidable machine of symbolic reasoning, we would have to sacrifice the meaning of what we are dealing with, at leat temporarily.
This lecture achieves the astonishing feat of being very accessible to non-mathematicians while being deeply insightful. The global vs local distinction mentioned, although not the same, brought to mind Dyson’s distinction between “birds” and “frogs”: <a href="https://www.ams.org/notices/200902/rtx090200212p.pdf" rel="nofollow">https://www.ams.org/notices/200902/rtx090200212p.pdf</a>
Here is Sir Atiyah's Mathematics Geneaology entry:
<a href="https://genealogy.math.ndsu.nodak.edu/id.php?id=30949" rel="nofollow">https://genealogy.math.ndsu.nodak.edu/id.php?id=30949</a><p>Receiving the RSE Fellowship with a handshake from him was one of my highlights during my beautiful time in Edinburgh. May he rest in peace.
Atiyah is truly one of the giants of modern mathematics. I remember long ago I struggled through a reading course of his and Bott's Yang-Mills paper in graduate school. Like many great works of math it too had that paradoxical characteristic of transforming seemingly 'non-mathematics' into mathematics* by reversing the usual direction of application of one to the other, in this case, from physics to math. It would start a whole movement that'll produce much of modern geometries greatest hits like Donaldson's (his student) theorem in 4 manifolds to Witten's great papers.<p>* A reason I think modern LLM architecture as they currently stand with their underlying attention mechanisms will not produce interesting new mathematics. A few other ideas are going to be needed.
An RIS entry:<p><pre><code> TY - JOUR
TI - Mathematics in the 20th century
AU - Atiyah, Michael
T2 - Bulletin of the London Mathematical Society
AB - A survey is given of several key themes that have characterised mathematics in the 20th century. The impact of physics is also discussed, and some speculations are made about possible developments in the 21st century.
DA - 2002/01//
PY - 2002
DO - 10.1112/S0024609301008566
DP - DOI.org (Crossref)
VL - 34
IS - 1
SP - 1
EP - 15
J2 - Bull. Lond. Math. Soc.
LA - en
SN - 0024-6093, 1469-2120
UR - https://www.cambridge.org/core/product/identifier/S0024609301008566/type/journal_article
Y2 - 2025/02/09/11:08:49
ER -</code></pre>