Archive for the 'Mathematics' Category Page 2 of 6



What use are models?

What are models for?   Most developers and users of models, in my experience, seem to assume the answer to this question is obvious and thus never raise it.   In fact, modeling has many potential purposes, and some of these conflict with one another.   Some of the criticisms made of particular models arise from mis-understandings or mis-perceptions of the purposes of those models, and the modeling activities which led to them.

Liking cladistics as I do, I thought it useful to list all the potential purposes of models and modeling.   The only discussion that considers this topic that I know is a brief discussion by game theorist Ariel Rubinstein in an appendix to a book on modeling rational behaviour (Rubinstein 1998).  Rubinstein considers several alternative purposes for economic modeling, but ignores many others.   My list is as follows (to be expanded and annotated in due course):

  • 1. To better understand some real phenomena or existing system.   This is perhaps the most commonly perceived purpose of modeling, in the sciences and the social sciences.
  • 2. To predict (some properties of) some real phenomena or existing system.  A model aiming to predict some domain may be successful without aiding our understanding  of the domain at all.  Isaac Newton’s model of the motion of planets, for example, was predictive but not explanatory.   I understand that physicist David Deutsch argues that predictive ability is not an end of scientific modeling but a means, since it is how we assess and compare alternative models of the same phenomena.    This is wrong on both counts:  prediction IS an end of much modeling activity (especially in business strategy and public policy domains), and it not the only means we use to assess models.  Indeed, for many modeling activities, calibration and prediction are problematic, and so predictive capability may not even be  possible as a form of model assessment.
  • 3. To manage or control (some properties of) some real phenomena or existing system.
  • 4. To better understand a model of some real phenomena or existing system.  Arguably, most of economic theorizing and modeling falls into this category, and Rubinstein’s preferred purpose is this type.   Macro-economic models, if they are calibrated at all, are calibrated against artificial, human-defined, variables such as employment, GDP and inflation, variables which may themselves bear a tenuous and dynamic relationship to any underlying economic reality.   Micro-economic models, if they are calibrated at all, are often calibrated with stylized facts, abstractions and simplifications of reality which economists have come to regard as representative of the domain in question.    In other words, economic models are not not usually calibrated against reality directly, but against other models of reality.  Similarly, large parts of contemporary mathematical physics (such as string theory and brane theory) have no access to any physical phenomena other than via the mathematical model itself:  our only means of apprehension of vibrating strings in inaccessible dimensions beyond the four we live in, for instance, is through the mathematics of string theory.    In this light, it seems nonsense to talk about the effectiveness, reasonable or otherwise, of mathematics in modeling reality, since how we could tell?
  • 5. To predict (some properties of) a model of some real phenomena or existing system.
  • 6. To better understand, predict or manage some intended (not-yet-existing) artificial system, so to guide its design and development.   Understanding a system that does  not yet exist is qualitatively different to understanding an existing domain or system, because the possibility of calibration is often absent and because the model may act to define the limits and possibilities of subsequent design actions on the artificial system.  The use of speech act theory (a model of natural human language) for the design of artificial machine-to-machine languages, or the use of economic game theory (a mathematical model of a stylized conceptual model of particular micro-economic realities) for the design of online auction sites are examples here.   The modeling activity can even be performative, helping to create the reality it may purport to describe, as in the case of the Black-Scholes model of options pricing.
  • 7. To provide a locus for discussion between relevant stakeholders in some business or public policy domain.  Most large-scale business planning models have this purpose within companies, particularly when multiple partners are involved.  Likewise, models of major public policy issues, such as epidemics, have this function.  In many complex domains, such as those in public health, models provide a means to tame and domesticate the complexity of the domain.  This helps stakeholders to jointly consider concepts, data, dynamics, policy options, and assessment of potential consequences of policy options,  all of which may need to be socially constructed. 
  • 8. To provide a means for identification, articulation and potentially resolution of trade-offs and their consequences in some business or public policy domain.   This is the case, for example, with models of public health risk assessment of chemicals or new products by environmental protection agencies, and models of epidemics deployed by government health authorities.
  • 9. To enable rigorous and justified thinking about the assumptions and their relationships to one another in modeling some domain.   Business planning models usually serve this purpose.   They may be used to inform actions, both to eliminate or mitigate negative consequences and to enhance positive consequences, as in retroflexive decision making.
  • 10. To enable a means of assessment of managerial competencies of the people undertaking the modeling activity. Investors in start-ups know that the business plans of the company founders are likely to be out of date very quickly.  The function of such business plans is not to model reality accurately, but to force rigorous thinking about the domain, and to provide a means by which potential investors can challenge the assumptions and thinking of management as way of probing the managerial competence of those managers.    Business planning can thus be seen to be a form of epideictic argument, where arguments are assessed on their form rather than their content, as I have argued here.
  • 11. As a means of play, to enable the exercise of human intelligence, ingenuity and creativity, in developing and exploring the properties of models themselves.  This purpose is true of that human activity known as doing pure mathematics, and perhaps of most of that academic activity known as doing mathematical economics.   As I have argued before, mathematical economics is closer to theology than to the modeling undertaken in the natural sciences. I see nothing wrong with this being a purpose of modeling, although it would be nice if academic economists were honest enough to admit that their use of public funds was primarily in pursuit of private pleasures, and any wider social benefits from their modeling activities were incidental.

POSTSCRIPT (Added 2011-06-17):  I have just seen Joshua Epstein’s 2008 discussion of the purposes of modeling in science and social science.   Epstein lists 17 reasons to build explicit models (in his words, although I have added the label “0″ to his first reason):

0. Prediction
1. Explain (very different from predict)
2. Guide data collection
3. Illuminate core dynamics
4. Suggest dynamical analogies
5. Discover new questions
6. Promote a scientific habit of mind
7. Bound (bracket) outcomes to plausible ranges
8. Illuminate core uncertainties
9. Offer crisis options in near-real time. [Presumably, Epstein means "crisis-response options" here.]
10. Demonstrate tradeoffe/ suggest efficiencies
11. Challenge the robustness of prevailing theory through peturbations
12. Expose prevailing wisdom as imcompatible with available data
13. Train practitioners
14. Discipline the policy dialog
15. Educate the general public
16. Reveal the apparently simple (complex) to be complex (simple).

These are at a lower level than my list, and I believe some of his items are the consequences of purposes rather than purposes themselves, at least for honest modelers (eg, #11, #12, #16).

References:

Joshua M Epstein [2008]: Why model? Keynote address to the Second World Congress on Social Simulation, George Mason University, USA.  Available here (PDF).

Robert E Marks [2007]:  Validating simulation models: a general framework and four applied examples. Computational Economics, 30 (3): 265-290.

David F Midgley, Robert E Marks and D Kunchamwar [2007]:  The building and assurance of agent-based models: an example and challenge to the field. Journal of Business Research, 60 (8): 884-893.

Robert Rosen [1985]: Anticipatory Systems. Pergamon Press.

Ariel Rubinstein [1998]: Modeling Bounded Rationality. Cambridge, MA, USA: MIT Press.  Zeuthen Lecture Book Series.

Ariel Rubinstein [2006]: Dilemmas of an economic theorist. Econometrica, 74 (4): 865-883.




The Matherati: Martin Harvey

I have just learnt of the death earlier this year of J. Martin Harvey (1949-2011), a friend and former colleague, and one of Zimbabwe’s great mathematicians. Martin was the first black student to gain First Class Honours in Mathematics from the University of Rhodesia (as it then was, now the University of Zimbabwe), the first person to gain a doctorate in mathematics from that University, and the first black lecturer appointed to teach mathematics there. He later became an actuary, one of the few of any colour in Zimbabwe, but this was a career that lost value with the declining Zimbabwe dollar: actuarial science is about financial planning under uncertainty, and planning is pointless in an economy with hyper-inflation. He then became part of the great Zimbabwean diaspora, lecturing at the University of the Western Cape, in South Africa.

Martin was a true child of the sixties, with all the best qualities of that generation – open, generous, tolerant, curious, unpompous, democratic, sincere. He was a category theorist, and like most, a deep thinker. Martin was a superb jazz flautist, and on his travels would seek out jazz musicians to jam with. He wrote and recited poetry, and indeed could talk with knowledge on a thousand topics. I once spent a month traveling the country with him on a market resarch project we did together, and his conversation was endlessly fascinating. Despite our very different childhoods, I recall a long, enjoyable evening with him in a shebeen in rural Zimbabwe talking about the various American and Japanese TV series we had both seen growing up (which I mentioned here). Among many memories, I recall him once arguing that a university in a marxist state should have only two faculties: a Faculty for the Forces of Production, and a Faculty for the Relations of Production. There was great laughter as he insisted that the arts and humanities were essential to effective production, and so belonged in the former faculty; this argument was typical of his wit and erudition.

Our mutual friend, Heneri Dzinotyiweyi, another great Zimbabwean mathematician, has a tribute here. I send my condolences to his wife, Winnie Harvey, and family. Vale, Martin. It has been an honour to have known you.

Bibliography:

J. M. Harvey [1977]: T0-separation in topological categories. Quaestiones Mathematicae, 2 (1-3): 177 – 190. An earlier version apperared in: Proceedings of the Second Symposium on Categorical Topology, University of Cape Town, Cape Town, RSA, 1976.
J. M. Harvey [1982]: A note on topological hom-functors. Proceedings of the American Mathematical Society, 85 (4): 517-519. Available here.

J. M. Harvey [1983]: Categorical characterization of uniform hyperspaces. Mathematical Proceedings of the Cambridge Philosophical Society, 94: 229-233. Available here.

J. M. Harvey [1985]: Reflective subcategories. Illinois Journal of Mathematics, 29 (3): 365-369. Available here.

 




ABS Cadets 1979

Australian Bureau of Statistics graduate cadets, 1979:

  • Phil Aungles
  • Gail Bansemer
  • Penny Barlow
  • Warren Bird
  • Wendy Darr
  • Ken Henry
  • Karen Hyams
  • Debra Keillor
  • Peter McBurney
  • Vivienne Palmer
  • Prue Phillips
  • Suzanne Sheridan
  • Steven Skates
  • John Stroud.



Antikythera

An orrery is a machine for predicting the movements of heavenly bodies.   The oldest known orrery is the Antikythera Mechanism, created in Greece around 2100 years ago, and rediscovered in 1901 in a shipwreck near the island of  Antikythera (hence its name).   The high-quality and precision nature of its components would indicate that this device was not unique, since the making of high-quality mechanical components is not trivial, and is not usually achieved with just one attempt (something Charles Babbage found, and which delayed his development of computing machinery immensely).

It took until 2006 and the development of x-ray tomography for a plausible theory of the purpose and operations of the Antikythera Mechanism to be proposed (Freeth et al. 2006).   The machine was said to be a physical examplification of  late Greek theories of cosmology, in particular the idea that the motion of a heavenly body could  be modeled by an epicycle – ie, a body traveling around a circle, which is itself moving around some second circle.  This model provided an explanation for the fact that many heavenly bodies appear to move at different speeds at different times of the year, and sometimes even (appear to) move backwards.

There have been two recent developments:  One is the re-creation of the machine (or, rather, an interpretation of it)  using lego components.

The second has arisen from a more careful examination of the details of the mechanism.  According to Marchant (2010), some people now believe that the mechanism examplifies Babylonian, rather than Greek, cosmology.   Babylonian astronomers modeled the movements of heavenly bodies by assuming each body traveled along just one circle, but at two different speeds:  movement in one period of the year being faster than during the other part of the year.

If this second interpretation of the Antikythera Mechanism is correct, then perhaps it was the mechanism itself (or others like it) which gave late Greek astronomers the idea for an epicycle model.   In support of this view is the fact that, apparently, gearing mechanisms and the epicycle model both appeared around the same time, with gears perhaps a little earlier.   So late Greek cosmology (and perhaps late geometry) may have arisen in response to, or at least alongside, practical developments and physical models.   New ideas in computing typically follow the same trajectory – first they exist in real, human-engineered, systems; then, we develop a formal, mathematical theory of them.   Programmable machines, for instance, were invented in the textile industry in the first decade of the 19th century (eg, the Jacquard Loom), but a mathematical theory of programming did not appear until the 1960s.   Likewise, we have had a fully-functioning, scalable, global network enabling multiple, asynchronous, parallel, sequential and interleaved interactions since Arpanet four decades ago, but we still lack a thorough mathematical theory of interaction.

And what have the Babylonians ever done for us?   Apart from giving us our units for measuring of time (divided into 60) and of angles (into 360 degrees)?

References:

T Freeth, Y Bitsakis, X Moussas, JH Seiradaki, A Tselikas, H Mangou, M Zafeiropoulou, R Hadland, D Bate, A Ramsey, M Allen, A Crawley, P Hockley, T Malzbender, D Gelb,W Ambrisco and MG Edmunds [2006]:  Decoding the ancient Greek astronomical calculator known as the Antikythera Mechanism.  Nature444 (30):   587-591.  30 November 2006.

J. Marchant [2010]:  Mechanical inspiration.  Nature, 468:  496-498.  25 November 2010.




Hardy on the Tripos

Lest anyone think I’m uniquely deranged for my criticisms of the  Cambridge University Mathematics Tripos examination, particularly during the 18th- and 19th-centuries, here is GH Hardy – perhaps Britain’s greatest 20th century pure mathematician – speaking in his Presidential Address to the Mathematics Association in 1926:

My own contribution to the discussion consisted merely in an expression of my feeling that the best thing that could happen to English mathematics, and to Cambridge mathematics in particular, would be that the Mathematical Tripos should be abolished. I stated this on the spur of the moment, but it is my considered opinion, and I propose to defend it at length to-day. And I am particularly anxious that you should understand quite clearly that I mean exactly what I say; that by “abolished” I mean “abolished”, and not “reformed”; that if I were prepared to co-operate, as in fact I have co-operated in the past, in “reforming” the Tripos, it would be because I could see no chance of any more revolutionary change; and that my “reforms” would be directed deliberately towards destroying the traditions of the examination and so preparing the way for its extinction.” [p. 134]

. . .

“I suppose that it would be generally agreed that Cambridge mathematics, during the last hundred years, has been dominated by the Mathematical Tripos in a way in which no first-rate subject in any other first-rate university [page-break] has ever been dominated by an examination. It would be easy for me, were the fact disputed, to justify my assertion by a detailed account of the history of the Tripos, but this is unnecessary, since you can find an excellent account, written by a man who was very much more in sympathy with the Tripos than I am, in Mr. Rouse Ball’s History of Mathematics in Cambridge. I must, however, call your attention to certain rather melancholy reflections which the history of Cambridge mathematics suggests. You will understand that when I speak of mathematics I mean primarily pure mathematics, not that I think that anything which I say about pure mathematics is not to a great extent true of applied mathematics also, but merely because I do not want to criticise where my competence as a critic is doubtful.

Mathematics at Cambridge challenges criticism by the highest standards. England is a first-rate country, and there is no particular reason for supposing that the English have less natural talent for mathematics than any other race; and if there is any first-rate mathematics in England, it is in Cambridge that it may be expected to be found. We are therefore entitled to judge Cambridge mathematics by the standards that would be appropriate in Paris or Gottingen or Berlin. If we apply these standards, what are the results?  I will state them, not perhaps exactly as they would have occurred to me spontaneously-though the verdict is one which, in its essentials, I find myself unable to dispute-but as they were stated to me by an outspoken foreign friend.

In the first place, about Newton there is no question; it is granted that he stands with Archimedes or with Gauss. Since Newton, England has produced no mathematician of the very highest rank. There have been English mathematicians, for example Cayley, who stood well in the front rank of the mathematicians of their time, but their number has been quite extraordinarily small; where France or Germany produces twenty or thirty, England produces two or three. There has been no country, of first-rate status and high intellectual tradition, whose standard has been so low; and no first-rate subject, except music, in which England has occupied so consistently humiliating a position. And what have been the peculiar characteristics of such English mathematics as there has been? Occasional flashes of insight, isolated achievements sufficient to show that the ability is really there, but, for the most part, amateurism, ignorance, incompetence, and triviality. It is indeed a rather cruel judgment, but it is one which any competent critic, surveying the evidence dispassionately, will find it uncommonly difficult to dispute.

I hope that you will understand that I do not necessarily endorse my friend’s judgment in every particular. He was a mathematician whose competence nobody could question, and whom nobody could accuse of any prejudice against England, Englishmen, or English mathematicians; but he was also, of course, a man developing a thesis, and he may have exaggerated a little in the enthusiasm of the moment or from curiosity to see how I should reply.  Let us assume that it is an exaggerated judgment, or one rhetorically expressed.  It is, at any rate, not a ridiculous judgment, and it is serious enough that such a condemnation, from any competent critic, should not be ridiculous. It is inevitable that we should ask whether, if such a judgment can really embody any sort of approximation to the truth, some share of the responsibility must not be laid on the Mathematical Tripos and the grip which it has admittedly exerted on English mathematics.

I am anxious not to fall into exaggeration in my turn and use extravagant language about the damage which the Tripos may have done, and it would no doubt be an extravagance to suggest that the most ruthless of examinations could destroy a whole side of the intellectual life of a nation. On the [page-break] other hand it is really rather difficult to exaggerate the hold which the Tripos has exercised on Cambridge mathematical life, and the most cursory survey of the history of Cambridge mathematics makes one thing quite clear; the reputation of the Tripos, and the reputation of Cambridge mathematics stand in correlation with one another, and the correlation is large and negative.  As one has developed, so has the other declined. As, through the early and middle nineteenth century, the traditions of the Tripos strengthened, and its importance in the eyes of the public grew greater and greater, so did the external reputation of Cambridge as a centre of mathematical learning steadily decay. When, in the years perhaps between 1880 and 1890, the Tripos stood, in difficulty, complexity, and notoriety, at the zenith of its reputation, English mathematics was somewhere near its lowest ebb. If, during the last forty years, there has been an obvious revival, the fortunes of the Tripos have experienced an equally obvious decline.” [pp. 135-137]

. . .

“It has often been said that Tripos mathematics was a collection of elaborate futilities, and the accusation is broadly true. My own opinion is that this is the inevitable result, in a mathematical examination, of high standards and traditions. The examiner is not allowed to content himself with testing the competence and the knowledge of the candidates; his instructions are to provide a test of more than that, of initiative, imagination, and even of some sort of originality. And as there is only one test of originality in mathematics, namely the accomplishment of original work, and as it is useless to ask a youth of twenty-two to perform original research under examination conditions, the examination necessarily degenerates into a kind of game, and instruction for it into initiation into a series of stunts and tricks. It was in any case certainly true, at the time of which I am speaking, that an undergraduate might study mathematics diligently throughout the whole of his career, and attain the very highest honours in the examination, without having acquired, and indeed without having encountered, any knowledge at all of any of the ideas which dominate modern mathematical thought. His ignorance of analysis would have been practically complete. About geometry I speak with less confidence, but I am sure that such knowledge as he possessed would have been exceedingly one-sided, and that there would have been whole fields of geometrical knowledge, and those perhaps the most fruitful and fascinating of all, of which he would have known absolutely nothing. A mathematical physicist, I may be told, would on the contrary have received an appropriate and an excellent education. It is possible; it would no doubt be very impertinent for me to deny it. Yet I do remember Mr. Bertrand Russell telling me that he studied electricity at Trinity for three years, and that at the end of them he had never heard of Maxwell’s equations; and I have also been told by friends whom I believe to be competent that Maxwell’s equations are really rather important in physics. And when I think of this I begin to wonder whether the teaching of applied mathematics was really quite so perfect as I have sometimes been led to suppose.” [p. 138]

. . .

“I shall judge the Tripos by its real or apparent influence on English mathematics. I have already told you that in my judgment this influence has in the past been bad, that the Tripos has done negligible good and by no means negligible harm, and that, so far from being the great glory of Cambridge mathematics, it has gone a very long way towards strangling its development.”  [p. 141]

Reference:

G. H. Hardy [1926/1948]: Presidential Address: The Case against the Mathematical Tripos. The Mathematical Gazette, 32 (300): 134-145 (July 1948).




Dynamic geometric abstraction

The Tate Modern Exhibition earlier this year on the art of Theo van Doesburg (1883-1931) and the International Avant-Garde included some sublime art by Bauhaus artist, Ludwig Hirschfeld-Mack (1893-1965).  These installations were computer-generated realizations of his originally-mechanical Farbenlicht-Spiel (Colourlight-Play) of 1921.   Hirschfeld-Mack’s concept, shown here, was a machine for producing dynamic images, images which slowly changed their colours and shapes.  The images were the projection onto a 2-dimensional surface of regular two-dimensional polygons (triangles, quadrilaterals, circles, ellipses, etc) moving, apparently independently, in planes parallel in the third dimension (the dimension of the projection).  As the example below may indicate, the resulting images are sublime.  Computer generation of such dynamic images is, of course, considerably easier now than with the mechanical means available to Hirschfeld-Mack.

I have asked before what music is for.  I don’t know Hirschfeld-Mack’s intentions.  However, from my own experience, I know that watching this work can induce an altered mental state in its viewer, “sobering and quieting the mind, thus rendering it susceptible to divine influences,” in the words of Gita Sarabhai (talking about music).  The experience of watching this work is intensely meditative, akin to listening attentively to the slowly-changing music of Morton Feldman (1926-1987).

Hirschfeld-Mack was the only Bauhaus artist to end his career in Australia, a career Helen Webberley describes here.    His art is another instance of the flowering of geometric abstraction in art in the first three decades of the 20th century.  In the last decades of the 19th century and the early years of the 20th, there was widespread public interest in the ideas which had recently revolutionized the study of geometry in pure mathematics.  These ideas – the manifestation of postmodernism in pure mathematics a century before it appeared in other disciplines – first involved the rigorous study of alternatives to Euclidean geometry during the 19th century, a study undertaken when there still considerably ambiguity about the epistemological status of such alternatives, and then the realization (initially by Mario Pieri and David Hilbert in the 1890s) that one could articulate and study formal axiomatic systems for geometry without regard to any possible real-world instantiation of them.  Geometry was no longer being studied in order to represent or model the world we live in, but for its own sake, for its inherent mathematical beauty and structure.

At the same time, there was interest – in mathematics and in the wider (European) culture – in additional dimensions of reality.    The concept of a “fourth dimension” of space motivated many artists, including Kazimir Malevich and Piet Mondrian; both men sought to represent these new ideas from geometry in their art, and said so explicitly.  Similarly, the cubists sought to present an object from all perspectives simultaneously, the futurists to capture the dynanism of machines and the colours of metals, and the constructivists to distill visual art to its essential and abstract forms and colours.   Of course, having many times flown over the Netherlands,  I have always seen Mondrian’s art as straightforward landscape painting, painting the Dutch countryside from above.

Geometric abstraction reappeared in the art of Brazil in the 1960s, and in so-called minimalist art in the USA and Europe, from the 1960s onwards.  Like Hirschfeld-Mack’s work, much of that art is sublime and deeply spiritual.  More of that anon.

References:

M Dabrowski [1992]:  Malevich and Mondrian:  nonobjective form as the expression of the “absolute’”.  pp. 145-168, in: GH Roman and VH Marquardt (Editors): The Avant-Garde Frontier: Russia Meets the West, 1910-1930. University Press of Florida, Gainesville, FL, USA.

Gladys Fabre and Doris Wintgens Hotte (Editors), Michael White (Consultant Editor) [2009]:  Van Doesburg & the International Avant-Garde.  Constructing a New World.  London, UK:  Tate Publishing.

LD Henderson [1983]: The Fourth Dimension and Non-Euclidean Geometry in Modern Art. Princeton University Press, Princeton, NJ, USA.

David Hilbert [1899]: Grundlagen der Geometrie. pp. 3-92, in: Festschrift zur Feier der Enthullung des Gauss-Weber-Denkmals in Gottingen. Teubner, Leipzig, Germany.   Translated by EJ Townsend as:  Foundations of Geometry, Open Court, Chicago, IL, USA. 1910.

Mario Pieri [1895]:  Sui principi che reggiono la geometria di posizione.  Atti della Reale Accademia delle scienze di Torino, 30: 54-108.

Mario Pieri [1897-98]: I principii della geometria di posizione composti in sistema logico deduttivo.  Memorie della Reale Accademia delle Scienze di Torino 2, 48: 1-62.

Note: The image shown above is from Ludwig Hirschfeld-Mack: “Farbenlicht-Spiel”, 1921.  Photography © Ludwig Hirschfeld-Mack.   Szenenfoto Farbenlichtspiel, Rekonstruktion 1999. Corinne Schweizer, Peter Böhm,  Ludwig Hirschfeld-Mack.

Technorati Tags: , , , ,




Impure mathematics at Cambridge

I have remarked before that the Mathematics Tripos at Cambridge, with its impure emphasis on the calculations needed for mathematical physics to the great detriment of pure mathematical thinking, understanding and rigor, had deleterious consequences across the globe more than a century later.  Even as late as the 1980s, there were few Australian university mathematics degree programs that did not require students to waste at least one year on the prehensile, brain-dead calculations needed for what is wrongly called Applied Mathematics.    I am still angered by this waste of effort.    Marx called traditions nothing more than the collected errors of past generations, and never was this statement more true.  What pure mathematician or statistician or computer scientist with integrity could stomach such nonsense?

I am not alone in my views. One of the earliest people who opposed Cambridge’s focus on impure, bottom-up, unprincipled mathematics – those three adjectives are each precisely judged – was Charles Babbage, later a computer pioneer and industrial organizer.  I mentioned his Analytical Society here, created while he was still an undergraduate.     Now, I have just seen an article by Harvey Becher [1995] which places Babbage’s campaign for Cambridge University to teach modern pure mathematics within its full radical political and nonconformist religious context.   A couple of nice excerpts from Becher’s article:

As the revolution and then Napoleon swept across Europe, French research mathematicians such as J. L. Lagrange and S. P. Laplace, and French textbook writers such as S. F. Lacroix, made it obvious that British mathematicians who adhered to the geometrically oriented fluxional mathematics and dot notation of Newton had become anachronisms.  The more powerful abstract and generalized analysis developed on the Continent had become the focus of mathematicians and the language of the physical sciences. This mathematical transmutation fused with social revolution.  ‘Lagrange’s treatises on the calculus were written in response to the educational needs of the Revolution’, recounts Ivor Grattan-Guinness, and Lagrange, Laplace and Lacroix were intimately involved with the educational and scientific reorganizations of the earlier revolutionaries and Napoleon.   Thus, French mathematics became associated with revolutionary France.

This confluence of social and mathematical revolution washed into the heart of Cambridge University because the main purpose of the Cambridge mathematics curriculum, as the core of a liberal education, Cambridge’s raison d’etre, was to produce [page-break] educated gentlemen for careers in the Church, the law and academe. With a student clientele such as this, few were disturbed that the Cambridge curriculum stuck to emphasizing Euclidean geometry, geometric optics and Newtonian fluxions, mechanics and astronomy. However, it was not the landed sons (who constituted the largest segment of the undergraduates), but the middle class and professional sons who, though a minority of the student body as a whole, made up the majority of the wranglers.   For them, especially those who might have an interest in mathematics as an end in itself rather than as merely a means to a comfortable career, the currency of the mathematics in the curriculum might be of concern.

Even though a Cambridge liberal education catered to a social/political elite, most nineteenth-century British mathematicians and mathematical physicists graduated from Cambridge University as wranglers. The Cambridge curriculum, therefore, contoured British mathematics, mathematical physics and other scientific fields. Early in the century, the mathematics curriculum underwent an ‘analytical revolution’ aimed at ending the isolation of Cambridge mathematics from continental mathematics by installing continental analytics in place of the traditional curriculum. Although the revolution began before the creation of the undergraduate constituted ‘Analytical Society’ in 1811, and though the revolution continued after the demise of that Society around 1817, the Analytical Society, its leaders – Charles Babbage, John Herschel and George Peacock – and their opponents, set the parameters within which the remodelling of the curriculum would take place.  This essay is an appraisal of their activities within the mathematical/social/political/religious environment of Cambridge.  The purpose is to reveal why the curriculum took the form it did, a form conducive to the education of a liberally educated elite and mathematical physicists, but not necessarily to the education of pure mathematicians.” [pages 405-406]

And later:

As Babbage and Herschel were radicals religiously and socially, they were radicals mathematically. They did not want to reform Cambridge mathematics; rather, they wanted [page-break] to reconstruct it. As young men, they had no interest in mixed mathematics, the focal point of Cambridge mathematics. In mixed mathematics, mathematics was creatively employed to achieve results for isolated, particular, sometimes trivial, physical problems. The mathematics created for a specific problem was intuitively derived from and applied to the problem, and its only mathematical relevance was that the ingenious techniques developed to solve one problem might be applicable to another. The test of mathematical rigour was to check results empirically. Correspondingly, mathematics was taught from ‘the bottom up’ by particular examples of applications.

Babbage’s and Herschel’s concerns lay not in mixed mathematics, but rather, as they put it in the introduction to the Memoirs, ‘exclusively with pure analytics’. In the Memoirs and other of their publications as young men, they devoted themselves to developing mathematics by means of the mechanical manipulation of symbols, a means purely abstract and general with no heuristic intuitive, physical, or geometric content. This Lagrangian formalism was what they conceived mathematics should be, and how it should be taught.  Indeed, they believed that Cambridge mathematicians could not read the more sophisticated French works because they had been taught analysis by means of its applications to the exclusion of general abstract operations. To overcome this, they wanted first to inculcate in the students general operations free of applications to get them to think in the abstract rather than intuitively.  On the theoretical level, they urged that the calculus ought not to be taught from an intuitive limit concept, to wit, as the derivative being generated by the vanishing sides of a triangle defined by two points on a curve approaching indefinitely close to one another; or by instantaneous velocity represented by the limit of time over distance as the quantities of time and distance vanished; or by force defined as the ultimate ratio of velocity to time. Rather, they urged that students start with derived functions of Lagrange, that is, successive coefficients of the expansion of a function in a Taylor Series being defined as the successive derivatives of the function. This was algebra, free of all limiting intuitive or physical encumbrances. It would condition the student to think in the abstract without intuitive crutches. And on the practical level, pure calculus, so defined, should be taught prior to any of its applications. To achieve this would have inverted the traditional Cambridge approach and revolutionized the curriculum, both intellectually and socially, for only a handful of abstract thinkers, pure mathematicians like Babbage and Herschel, could have successfully tackled it.   The established liberal education would have been a thing of the past.” [pages 411-412]

POSTSCRIPT (Added 2010-11-03):

I have just seen the short paper by David Forfar [1996], reporting on the subsequent careers of the Cambridge Tripos Wranglers.    The paper has two flaws.  First, he includes Charles Babbage in his Tripos alumni, someone who refused to sit the Tripos, and who actively and bravely campaigned for its reform.  Forfar does, it is true, mention Babbage’s non-sitting, but only a page later after first listing him, and then without reference to his principled opposition.  Second, Forfar presents overwhelming evidence for the failure of British pure mathematics in the 19th- and early 20th-centuries, listing just Cayley, Sylvester, Clifford, Hardy and Littlewood as world-class British pure mathematicians – I would add Babbage, Boole and De Morgan – against 14 world-class German and 17 world-class French mathematicians that he identifies.   But then, despite this pellucid evidence, Forfar can’t bring himself to admit the obvious cause of the phenomenon – the Tripos exam.  He concludes:  “The relative failure of British pure mathematics during this period in comparison with France and Germany remains something of a paradox.” No, Mr Forfar,  there is no paradox here; there is not even any mystery.    (En passant, I can’t imagine any pure mathematician using the word “paradox” in the way Forfar does here.)

Forfar says:  “While accepting these criticisms [of GH Hardy], it seems curious that those who became professional pure mathematicians apparently found difficulty in shaking off the legacy of the Tripos.” The years which Tripos students spent on the exam were those years generally judged most  productive for pure mathematicians – their late teens and early twenties.  To spend those years practising mindless tricks like some performing seal, instead of gaining a deep understanding of analysis or geometry, is why British pure mathematics was in the doldrums during the whole of the Georgian, Victorian and Edwardian eras.

References:

Harvey W. Becher [1995]:  Radicals, Whigs and conservatives:  the middle and lower classes in the analytical revolution at Cambridge in the age of aristocracy.   British Journal for the History of Science, 28:  405-426.

David O. Forfar [1996]:  What  became of the Senior Wranglers?  Mathematical Spectrum, 29 (1).

Technorati Tags: ,




Dyson on string theory

Physicist and mathematician Freeman Dyson on string theory:

But when I am at home at the Institute for Advanced Study in Princeton, I am surrounded by string theorists, and I sometimes listen to their conversations. Occasionally I understand a little of what they are saying. Three things are clear.  First, what they are doing is first-rate mathematics. The leading pure mathematicians, people like Michael Atiyah and Isadore Singer, love it. It has opened up a whole new branch of mathematics, with new ideas and new problems. Most remarkably,  it gave the mathematicians new methods to solve old problems that were previously unsolvable.  Second, the string theorists think of themselves as physicists rather than mathematicians. They believe that their theory describes something real in the physical world. And third, there is not yet any proof that the theory is relevant to physics.  The  theory is not yet testable by experiment. The theory remains in a world of its own, detached from the rest of physics. String theorists make strenuous efforts to deduce consequences of the theory that might be testable in the real world, so far without success.

. . .

Finally, I give you my own guess for the future of string theory. My guess is probably wrong. I have no illusion that I can predict the future. I tell [page-break] you my guess, just to give you something to think about. I consider it unlikely that string theory will turn out to be either totally successful or totally useless. By totally successful I mean that it is a complete theory of physics, explaining all the details of particles and their interactions. By totally useless I mean that it remains a beautiful piece of pure mathematics. My guess is that string theory will end somewhere between complete success and failure. I guess that it will be like the theory of Lie groups, which Sophus Lie created in the nineteenth century as a mathematical framework for classical physics. So long as physics remained classical, Lie groups remained a failure. They were a solution looking for a problem. But then, fifty years later, the quantum revolution transformed physics, and Lie algebras found their proper place. They became the key to understanding the central role of symmetries in the quantum world. I expect that fifty or a hundred years from now another revolution in physics will happen, introducing new concepts of which we now have no inkling, and the new concepts will give string theory a new meaning. After that, string theory will suddenly find its proper place in the universe, making testable statements about the real world. I warn you that this guess about the future is probably wrong. It has the virtue of being falsifiable, which according to Karl Popper is the hallmark of a scientific statement. It may be demolished tomorrow by some discovery coming out of the Large Hadron Collider in Geneva.” (page 221-222)

Reference:

Freeman Dyson [2009]:  Birds and frogs.  Notices of the American Mathematical Society, 56 (2): 212-223, February 2009.   Available here.




On birds and frogs

I have posted before about the two cultures of pure mathematicians – the theory-builders and the problem-solvers.  Thanks to string theorist and SF author Hannu Rajaniemi, I have just seen a fascinating paper by Freeman Dyson, which draws a similar distinction – between the birds (who survey the broad landscape, making links between disparate branches of mathematics) and the frogs (who burrow down in the mud, solving particular problems in specific branches of the discipline).   This distinction is analogous to that between a focus on breadth and a focus on depth, respectively, as strategies  in search.   As Dyson says, pure mathematics as a discipline needs both personality-types if it is to make progress.   Yet, a tension often exists between these types:  in my experience, frogs are often disdainful of birds for lacking deep technical expertise.   I have less often encountered disdain from birds, perhaps because that is where my own sympathies are.

A similar tension exists in computing – a subject which needs both deep technical expertise AND a rich awareness of the breadth of applications to which computing may be put.  This need arises because the history of the subject shows an intricate interplay of theory and applications, led almost always by the application.    Turing’s abstract cineprojector model of computing arrived a century after Babbage’s calculating machines, for example, and we’ve had programmable devices since at least Jacquard’s loom in 1804, yet only had a mathematical theory of programming since the 1960s.  In fact, since computer science is almost entirely a theory of human artefacts (apart from that part – still small – which looks at natural computing), it would be strange indeed were the theory to divorce itself from the artefacts which are its scope of study.

A story which examplifies this division in computing is here.

Reference:

Freeman Dyson [2009]:  Birds and frogs.  Notices of the American Mathematical Society, 56 (2): 212-223, February 2009.   Available here.




The Matherati

Howard Gardner’s theory of multiple intelligences includes an intelligence he called Logical-Mathematical Intelligence, the ability to reason about numbers, shapes and structure, to think logically and abstractly.   In truth, there are several different capabilities in this broad category of intelligence – being good at pure mathematics does not necessarily make you good at abstraction, and vice versa, and so the set of great mathematicians and the set of great computer programmers, for example, are not identical.

But there is definitely a cast of mind we might call mathmind.   As well as the usual suspects, such as Euclid, Newton and Einstein, there are many others with this cast of mind.  For example, Thomas Harriott (c. 1560-1621), inventor of the less-than symbol, and the first person to draw the  moon with a telescope was one.   Newton’s friend, Nicolas Fatio de Duiller (1664-1753), was another.   In the talented 18th-century family of Charles Burney, whose relatives and children included musicians, dancers, artists, and writers (and an admiral), Charles’ grandson, Alexander d’Arblay (1794-1837), the son of Fanny Burney, was 10th wrangler in the Mathematics Tripos at Cambridge in 1818, and played chess to a high standard.  He was friends with Charles Babbage, also a student at Cambridge at the time, and a member of the Analytical Society which Babbage had co-founded; this was an attempt to modernize the teaching of pure mathematics in Britain by importing the rigor and notation of continental analysis, which d’Arblay had already encountered as a school student in France.

And there are people with mathmind right up to the present day.   The Guardian a year ago carried an obituary, written by a family member, of Joan Burchardt, who was described as follows:

My aunt, Joan Burchardt, who has died aged 91, had a full and interesting life as an aircraft engineer, a teacher of physics and maths, an amateur astronomer, goat farmer and volunteer for Oxfam. If you had heard her talking over the gate of her smallholding near Sherborne, Dorset, you might have thought she was a figure from the past. In fact, if she represented anything, it was the modern, independent-minded energy and intelligence of England. In her 80s she mastered the latest computer software coding.”

Since language and text have dominated modern Western culture these last few centuries, our culture’s histories are mostly written in words.   These histories favor the literate, who naturally tend to write about each other.    Clive James’ book of a lifetime’s reading and thinking, Cultural Amnesia (2007), for instance, lists just 1 musician and 1 film-maker in his 126 profiles, and includes not a single mathematician or scientist.     It is testimony to text’s continuing dominance in our culture, despite our society’s deep-seated, long-standing reliance on sophisticated technology and engineering, that we do not celebrate more the matherati.

On this page you will find an index to Vukutu posts about the Matherati.

FOOTNOTE: The image above shows the equivalence classes of directed homotopy (or, dihomotopy) paths in 2-dimensional spaces with two holes (shown as the black and white boxes). The two diagrams model situations where there are two alternative courses of action (eg, two possible directions) represented respectively by the horizontal and vertical axes.  The paths on each diagram correspond to different choices of interleaving of these two types of actions.  The word directed is used because actions happen in sequence, represented by movement from the lower left of each diagram to the upper right.  The word homotopy refers to paths which can be smoothly deformed into one another without crossing one of the holes.  The upper diagram shows there are just two classes of dihomotopically-equivalent paths from lower-left to upper-right, while the lower diagram (where the holes are positioned differently) has three such dihomotopic equivalence classes.  Of course, depending on the precise definitions of action combinations, the upper diagram may in fact reveal four equivalence classes, if paths that first skirt above the black hole and then beneath the white one (or vice versa) are permitted.  Applications of these ideas occur in concurrency theory in computer science and in theoretical physics.

Technorati Tags: , , , , , ,