rev madden

Upload: karl-andersson

Post on 14-Apr-2018

216 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/30/2019 Rev Madden

    1/7

    best-known re-marks, translatedas the essay Math-ematical Creationin [P1], includespeculations aboutthe unconsciousprocesses that pre-cede discovery.This is where we

    read the famousstory of how, whileboarding a bus inCoutances, Poin-car suddenly real-ized the identity of

    the transformations used to define the Fuchsianfunctions with those of non-Euclidean geometry.

    In his 1905 essay LIntuition et la Logique enMathmatiques, which appears in translation in[P1], pages 210222, Poincar looks at mathemat-ical production from a different angle. He picturestwo different kinds of mathematician. One kind is

    devoted to explicit logical precision. Ideas must bebroken down into definitions and deductions. Evenconceptions that seem clear and obvious must besubjected to analysis, cut apart, and examinedunder the microscope of logic. The other kind ofmathematician is guided by geometric intuition,physical analogies, and images derived from ex-perience. This mathematician is like Klein, whoproved a theorem in complex function theory byimagining a Riemann surface made of metal andconsidering how electricity must flow through it.

    1182 NOTICES OF THE AMS VOLUME 48, NUMBER 10

    Book Review

    Where Mathematics ComesFrom: How the Embodied MindBrings Mathematics into BeingReviewed by James J. Madden

    Where Mathematics Comes From: How the

    Embodied Mind Brings Mathematics into Being

    George Lakoff and Rafael E. Nez

    Basic Books, 2000

    ISBN 0-465-03770-4

    $30.00, hardcover/$20.00, softcover

    A metaphor is an alteration of a

    woorde from the proper and naturall

    meanynge, to that which is not proper,and yet agreeth thereunto, by some

    lykenes that appeareth to be in it.

    Thomas Wilson,

    The Arte of Rhetorique (1553) [Wi], page 345

    Conceptual metaphor is a cognitive

    mechanism for allowing us to reason

    about one kind of thing as if it were

    another. It is a grounded, inference-

    preserving cross-domain mappinga

    neural mechanism that allows us to use

    the inferential structure of one concep-

    tual domain (say, geometry) to reason

    about another (say, arithmetic).

    Where Mathematics Comes From,page 6

    In his philosophical writings, Poincar reflectedon the origins of mathematical knowledge. His

    James J. Madden is professor of mathemat ic s atLouisiana State University. His e-mail address is

    [email protected] .

  • 7/30/2019 Rev Madden

    2/7

    NOVEMBER 2001 NOTICES OF THE AMS 1183

    Poincar goes on to argue that logic and intu-ition play complementary roles in mathematics.Logic provides rigor and certainty by substitutingprecise notions for vague and ambiguous onesand by moving in sure, syllogistic steps. Logic,however, does not perceive goals and does notgrasp that which motivates and organizes our

    mathematical activity. We may follow the logicaltrail through an argument yet fail to see the ideain it. For this we need intuition, which provides in-sight, purpose, and direction. But intuition is some-times ambiguous, and some-times it even deceives. Soultimately it is only by thecombination of logic and in-tuition that mathematicsadvances.

    Poincar set his ideas downat a time when revolutionaryadvances in mathematicallogic were just beginning. He

    could not have foreseen whatthe next century wouldachieve in foundational stud-ies. Today, we cannot claimto have the final word, but weclearly understand muchmore about logic and the roleit plays in mathematics thanwe did one hundred years ago.

    How about intuition? Whatmore do we know about this?A few references come tomind: Hilbert and Cohn-Vossens book [HC],Hadamards essay [H], and perhaps a couple of

    more recent items, particularly S. Dehaenes workon the number sense [Dh] and Devlins book [De].I find noteworthy the essay [T], written by a youngOxford mathematics student who went on to be-come a neuroscientist of high repute at the Uni-versity of California Los Angeles. Overall, how-ever, it seems that intuition has remained largelyunanalyzed and poorly understood.

    A good way to approach the book of Lakoff andNez is to see it, as the authors suggest in the pref-ace, as an empirical study of the precise nature ofclear mathematical intuitions (page xv). Lakoff andNez promise in the introduction to give an ac-count of how normal human cognitive mecha-

    nisms rooted in the brain are used to formulatemathematical concepts, reason mathematically,and create and understand mathematical ideas.Logic and formal rigor do not figure prominentlyin this account. Rather, the book is about the in-tuitive side; the focus is on certain conceptualmetaphors which, the authors hypothesize, are thebasic building blocks of mathematical intuition.Moving beyond cognitive science into philosophy,the authors even suggest that metaphors accountfor the meaning of mathematical concepts and are

    the basis of mathematical truth. Metaphor is thekey word in this book.

    Much of the book is devoted to the examinationof prominent topics in standard mathematics cur-ricula. These topics include grade school arith-metic, algebraic structures and their models, logic,set theory, limits, real numbers, and a little bit of

    nonstandard analysis. Chapters 13 and 14 have ahistorical orientation, discussing the contributionsof Dedekind and Weierstrass to the foundations ofanalysis. Chapters 15 and 16 treat philosophical

    issues. The book ends withan extended discussion of theequation ei + 1 = 0 intendedto illustrate mathematicalidea analysis, a techniquethat was invented by the au-thors and that they use to un-cover the metaphorical ele-ments in mathematical ideas.

    The arguments do not fol-

    low a direct path. The bookbuilds on many fronts, elab-orates subgoals, and spins offsubsidiary projects. Whilereading the book, I sometimesfound it difficult to keep trackof what the authors were aim-ing at. For this review, there-fore, I shall simplify things bypicking out three majorstrands and commenting onthem separately. I have men-

    tioned them already. They are:

    a hypothesis about the role of metaphors in

    mathematical cognition, a philosophical position about mathematical

    truth, and the technique of mathematical idea analysis.

    In many ways the three strands are interdepen-denta point to be remembered, even though mydiscussion is divided into three parts. I find themetaphor hypothesis the most interesting, andaccordingly I devote more space to this than to theother two items.

    Let me state the metaphor hypothesis as I in-terpret it. When people think about mathemat-icseven very deep, advanced mathematicsthey

    somehow activate links to mundane experiencesthat occur in everyday functioning in the world andlinks to other mathematical experiences as well.These links are not logical or deductiveoften, theyare not even conscious. They involve very complexpattern-matching, by means of which people trans-fer abilities and concepts that are relevant or adap-tive in familiar, natural settings to new settings thatare less familiar and more abstract. The lifting orretooling of cognitive categories and abilities inthis fashion is what the authors call conceptual

    How do

    metaphorsfunction in the

    mathematical

    activities of

    actual people?

    On this, Lakoff

    and Nez arenot very clear.

  • 7/30/2019 Rev Madden

    3/7

    1184 NOTICES OF THE AMS VOLUME 48, NUMBER 10

    arithmetic, or in riding a bike, are cognitively quitecomplex. This is most obvious in the fact thatlearningthem is not at all trivial. I would even sug-gest that evidence in favor of the metaphor hy-pothesis can be found in the fact that exposure todifferent metaphors influences the learningprocess. In the appendix of [MC], Robert Moses dis-

    cusses a strategy he developed for teaching arith-metic with signed numbers. Moses does not men-tion metaphors explicitly, but in the terminologyof Lakoff and Nez, what he did was hypothesizethat certain children were failing to progress be-cause they were inappropriately bound by the col-lection metaphor. So Moses developed a teachingstrategy intended to strengthen the trip metaphor,and this strategy succeeded quite well.

    Here is another example of a groundingmetaphor. In Chapter 8 Lakoff and Nez intro-duce what is the single most important metaphorin the book, the Basic Metaphor of Infinity (BMI),and illustrate its occurrence in several mathemat-

    ical contexts. Like all conceptual metaphors, theBMI involves a correspondence between a sourcedomain, which is familiar and often concrete, anda target domain, which is less familiar and usu-ally more abstract. In the BMI, the source is the gen-eral idea of an iterative process that reaches acompletion. Examples would be walking to a des-tination or picking all the berries off a bush. Thetarget is any iterative process that potentially goeson and on, like counting One, two, three . TheBMI simply shifts the idea of a completed processfrom its natural context into a new context, likecounting, in which the idea does not exactly fit butto which it bears a likeness or analogy. Thus, we

    can reason about the collection of all natural num-bers by extending or generalizing the patterns bywhich we reason about things like the set of allsteps taken on a walk somewhere. It is not claimedthat the use of this metaphor is conscious, but justthat there is a common pattern. We are preparedto think about infinite processes by experiencingfinite ones, and the descriptive categories we applyin the finite case have analogues in the infinite. Ofcourse, there are vast differences between the logicof finite and infinite processes, but the authors donot seem very concerned about such differences.I suppose that the authors consider such detailsto be peripheral to the cognitive science, despite

    their mathematical importance.How do metaphors function in the mathemati-

    cal activities of actual people? On this, Lakoff andNez are not very clear. When they do talk aboutthe mathematical activities of real people, theydescribe them in generic terms: people entertainideas or use cognitive mechanisms of one sortor another to conceptualize this or that. Pre-sumably, when an individual is engaged in math-ematical work, that person is guided by metaphorsthat are somehow represented in his or her own

    metaphor. The second quote at the beginning ofthis review is as close to a definition of this as any-thing that the authors give.

    Lakoff and Nez present the metaphor hy-pothesis within the framework of a general theoryof human cognition that Lakoff himself played animportant role in creating; see [LJ]. In addition to

    the idea that most abstract concepts are metaphor-ical, this theory has two other basic tenets. One isthat thought is mostly unconscious and mostly in-volves automatic, immediate, implicit rather thanexplicit understanding (page 28). Conceptualmetaphors may be unconscious; they support andinfluence our thinking without our necessarilybeing aware of them. The other tenet is that humanconceptual structures are deeply influenced bythe particulars of our concrete, physical being. Wereason with the same equipment we use to observeour immediate surroundings, move about in them,and interact with people and things. Even the mostabstract concepts, if analyzed properly, show the

    marks of their origin in, and dependence on, basicperceptual and motor schemata. In summary, allconceptsmathematical concepts in particularare metaphorical and rest upon unconscious un-derstandings that originate in bodily experience.

    Let us look at some examples. There are vari-ous kinds of conceptual metaphors. Groundingmetaphorstransfer conceptual abilities acquiredin concrete experiences (like putting things in pilesor traveling) to abstract domains like arithmetic.Linking metaphorsmake connections between dif-ferent abstract domains. What struck Poincar ashe stepped aboard the bus, for example, was alinking metaphor at a very high level that had

    somehow evolved in his unconscious and thenmade its way to the surface.Basic arithmetic has several grounding

    metaphors, all discussed in Chapter 3. One ofthese metaphors connects experiences with col-lections of objects on the one hand and the basicarithmetic operations on the other. Joining two col-lections, for example, corresponds to addition,while splitting a collection into many subcollectionsof equal size corresponds to division. The com-mutative law of addition corresponds to the factthat when two collections are thrown together, itdoes not matter which goes first. Understandingthe commutative law presumably involves some

    sort of reference back to this property of collec-tions and thus the activation of this metaphor.Other aspects of arithmetic are associated withother grounding metaphors. Adding positive andnegative numbers may be understood metaphor-ically by referring to forward and backward tripsalong a linear path.

    One might react to this with the feeling that itis all pretty trivial. Of course, once the arithmeticmetaphors are internalized, using them is as easyas riding a bike. But the skills involved in using

  • 7/30/2019 Rev Madden

    4/7

    brain. The details would depend on the specific taskor problem. Unfortunately, Lakoff and Nez donot provide any illustrations of what they sup-pose goes on in real time, so this is about as muchas I can say.

    This brings me to my first main criticism con-cerning the metaphor hypothesis: What is the qual-

    ity of the evidence for it? If, as the authors say onpage 1, their goal is to determine what mecha-nisms of the human brain and mind allow humanbeings to formulate mathematical ideas and rea-son mathematically, then one would expect somedata about the actualthoughts and actions of peo-ple in the process of doingmathematics. Such data doexist; the work of RobertMoses provides one example.However, essentially the onlykind of evidence Lakoff andNez provide comes from

    the examination of the con-tents of texts and curricula.How much can we infer aboutthe basic cognitive mecha-nisms used in mathematicsfrom what we find in textsand curricula? A study of nav-igation based on the standard manuals would tellus very little indeed about how the task was actu-ally accomplished on the bridge of a large ship. Howexactly do people use metaphors when they arelearning new material, solving problems, provingtheorems, and communicating with one another?I would like to have seen direct support for the

    metaphor hypothesis from the observation ofmathematical behaviors. After a demonstrationthat metaphors are indeed as common as the au-thors believe, I would want a detailed examinationof the waysmetaphors are used in a wide varietyof settings. The authors report no such informa-tion, and in fact they acknowledge the lack of di-rect empirical support for their hypotheses inmany places. Carefully designed studies mightlead to very different ideas about how metaphorsfunction in mathematics or mathematics learning.For example, at the AMS meeting in New Orleansin January 2001, Eric Hsu and Michael Oehrtman,mathematics education research postdocs at the

    Dana Center at the University of Texas at Austin,spoke about their study of calculus learners. Theyfound students making up their own, often dys-functional, metaphors, and they raised the fasci-nating question of how it is that some learners shedthe idiosyncratic metaphors they initially buildand acquire the ones that are standard.

    My second main criticism concerns lack of pre-cision in the concept of metaphor. By rough pagecount, more than half the text is devoted to dis-playing mathematical metaphors of one sort or

    another. After a while, the notion of metaphorseems to become a catchall. In the discussion be-ginning on page 384, for example, metaphor isused to refer to the following: the algebra/geom-etry dictionary in analytic geometry; the defini-tion of function addition, (f+ g)(x) := f(x) + g(x);the Unit Circle Blend, which involves various

    things one might attend to in a diagram showingthe unit circle at the origin in a Cartesian coordi-nate system, together with a central angle; theTrigonometry Metaphor, i.e., thinking of the co-sine and sine of as the x- and y-coordinates of

    the point reached after mov-ing counterclockwise from(1,0) along the unit circlethrough an angle of; theRecurrence Is CircularityMetaphor, which refers toconnections between mathe-matical concepts and the lan-guage of recurrence used in

    nonmathematical settings todescribe things like the sea-sons; and, finally, polar coor-dinates. Other parts of thebook add yet more variety. Inabstract algebra the relation-ship of an abstract structure

    (e.g., a group) to a model of that structure (a groupof rotations) is an example of a metaphor. Cauchy,Dedekind, and Weierstrass contributed to the foun-dations of analysis by creating the Arithmetic CutMetaphor, the Spaces Are Sets of PointsMetaphor, and many others. When mathemati-cians write axioms, they are using the Essence

    Metaphor. Set-theoretic foundations give us aninstance of the Formal Reduction Metaphor. Withexamples of so many differing kinds serving suchdiverse functions, the notion of metaphor beginsto lose its meaning. If I had been given the origi-nal definition and a couple of examples and thenhad gone looking for conceptual metaphors inmathematics, I would never have come back withmany of the things listed in this paragraph. The ideathat metaphors play a role in mathematical think-ing is quite attractive, but what is needed is a no-tion specific and precise enough so that peopleworking independently and without consultingone another can discover the same metaphors and

    agree on the functions they perform. I do not thinkwe have this yet.Let me turn now to the philosophical parts of

    the book. The authors devote many pages to por-traying a sort of philosophy/ideology that theycall the Romance of Mathematics, which theycontrast with their own philosophy. This is a goodrhetorical strategy, since the so-called romancewould probably be disliked by all readers exceptsome superficial and self-congratulatory mathe-maticians. For the sake of brevity, I will not

    NOVEMBER 2001 NOTICES OF THE AMS 1185

    Mathematics is

    constantly

    absorbing what

    it learns about

    itself by gazingat itself.

  • 7/30/2019 Rev Madden

    5/7

    1186 NOTICES OF THE AMS VOLUME 48, NUMBER 10

    1See the websitehttp://www.unifr.ch/perso/nunezr/errata.html for a list of errata. One error in

    the first printing (pages 4168) was fairly serious. The cor-

    rection that I found at the website and that appears inthe recently distributed softcover edition of the book is a

    kind of mathematical red herringa passage that appearsto answer a question but in fact misleads. The authors pref-

    ace this passage by criticizing other texts for failing to an-

    swer the most basic of questions: Whyshould this par-ticular limit, limn(1 +

    1n )

    n , be the base of the exponential

    function that is its own derivative? (pages 4156). In therevised explanation (errata 4168), the unacknowledged

    assumption thatlimn(1 +1n )

    n exists is used in an es-sential way. (There are situations that are analogous inall explicit details but in which the pattern of explanation

    that the authors use would explain a falsehood.) Whenthe authors complete their proffered explanation, they

    make a point of saying that, once the meanings and

    metaphors are combined with some simple algebraic

    manipulations, there is nothing mysterious (errata,page 419) about the result. I would retort that what is re-

    ally the most basic question is: How do we know that

    there is any number at all to which the values of(1 + 1n )ntend asn increases? The authors create the appearanceof simplicity only by suppressing this issue, and in fact they

    create a path that can lead to error. The book [Do], onthe other hand, contains a nice self-contained treatment

    of this limit, beginning, appropriately, with a non-myste-

    rious demonstration of its existence; see page 45. The cen-tral claims of the book under review, which are in cogni-

    tive science and philosophy, may not be threatened by suchmathematical infelicities, but perhaps they serve as use-

    ful reminders of the importance of logical discipline inmathematics.

    comment on the romance but just go directly tothe authors philosophical ideas.

    According to my reading, Lakoff and Nezwant us to view mathematics as a natural humanactivity, about which their cognitive theory informsus. They would like us to use words like meaning,existence, and truth to describe aspects of this

    activity. In particular, they say that mathematicalentities are metaphorical entities that exist con-ceptually only in the minds of beings with [ap-propriate] metaphorical ideas (pages 3689). Theyalso say that when we speak of the truth of a math-ematical statement, we must speak only relative toa particular person, and we may mean no more thanthis: that persons understanding of the statementaccords with his or her understanding of the sub-ject matter and the situation at hand; see page366. Such a view of mathematical truth appears tobe at odds with the reality of how mathematicianscommunicate. Ifmymathematics depends on themetaphors that happen to be in my head, andyour

    mathematics depends on the metaphors in yours,then how is it that we can share mathematicalideas? And why is it that we agree on so much?

    Lakoff and Nez make a couple of hypothesesthat might address these objections. First, theyclaim that the metaphors on which mathematicsis based are not arbitrary. Many groundingmetaphors, in particular, are forced on us by ourphysical nature. Second, they claim that naturalmetaphors have a very elaborate and precise struc-ture; see page 375. These, of course, are empiricalhypotheses. Some day we might acquire goodevidence for or against them. If they are borneout, they might support the kind of naturalistic ap-

    proach to the philosophy of mathematics that theauthors have begun to sketch. In my opinion,though, a naturalistic approach should certainly notdismiss the way mathematicians share definitionswith one another, understand and criticize oneanothers reasoning, and use a precise, if artificial,logical language to put their ideas in writing so thatthose ideas can be judged by the world. Surely we

    can acknowledge a role for intuition without ig-noring the ways that logic and conventional rigorsupport the kind of knowledge that mathemati-cians build and share.

    Let me move now to the third and last of thethree major strands on which I promised to com-ment. The authors argue that mathematical ideas

    occur within elaborate networks of interconnectedmetaphors. Mathematical idea analysis is thetechnique of teasing apart the network to revealthe metaphorical parts. The reason for doing thisis to characterize in precise cognitive terms themathematical ideas in the cognitive unconsciousthat go unformalized and undescribed when a for-malization of conscious mathematical ideas isdone (page 375).

    The appendix contains an extended discussion ofthe equation ei + 1 = 0 that is intended to illus-trate the method. The authors say that they want tocharacterize the meaning of the equation and pro-vide an understanding of it (page 384). What a math-

    ematician will find here is a detailed description ofthe geometric interpretation of complex exponen-tiation. Building from basic high-school-level ideasup to college-level complex analysis, the treatmentis, at different times, insightful, entertaining, opaque,interesting, breezy, ponderous, and muddled.1 Math-ematicians will find the images and metaphors dis-cussed here to be very familiar, scarcely unconscious.Many come directly from the pages of calculus booksand are things most of us describe over and over toour calculus classes. To me, these mental imagesare certainly very helpful in understanding. The mys-tery has always been how difficult it is for studentsto absorb them and use them productively.

    Lakoff and Nez seem to want to open up thatwhatever-it-is that makes mathematics into a co-herent, meaningful whole and expose it for all tosee and appreciate. If only there were a way! Poin-car himself speculated about how best to teachmathematics, concluding finally that understand-ing means different things to different people atdifferent times and for different purposes; see

    http://www.unifr.ch/perso/nunezr/errata.htmlhttp://www.unifr.ch/perso/nunezr/errata.htmlhttp://www.%20unifr.ch/perso/nunezr/errata.htmlhttp://www.%20unifr.ch/perso/nunezr/errata.htmlhttp://www.unifr.ch/perso/nunezr/errata.html
  • 7/30/2019 Rev Madden

    6/7

    NOVEMBER 2001 NOTICES OF THE AMS 1187

    defend, clarify, and refine their mathematicalunderstandings ([W], page 224). Isnt this a minia-ture version of what a group of research mathe-maticians might be found doing in front of atentative proof sketched on a blackboard? Or whatyou do alone when you draft a proof and thenread, correct, and redraft it?

    If mathematical thinking is like other kinds ofthinking in its use of metaphors, what distinguishesmathematical thinking may be the exquisite, con-scious control that mathematicians exercise overhow intuitive structures are used and interpreted. Wecan step back from our own thinking and criticallyexamine our attempts at meaning-making. This, Iwould venture, is as fundamental a cognitive mech-anism as any mentioned by Lakoff and Nez. Math-ematics is constantly absorbing what it learns aboutitself by gazing at itself. In Al Cuocos memorablephrase, mathematics is its own mirror on the verythinking that creates it ([CC], page x). In a similarvein, Schoenfelds classic study [S] showed how im-

    portant self-observation is in solving mathematicalproblems. Today we can associate the ability to ob-serve and control our own thought processes withcertain clearly demarcated regions of the brain, andwe understand much about how these regions func-tion in normal brains and how they fail in certaindiseased brains; see [M].

    Where does mathematics come from? Poincarviewed mathematical intuition as that which in-vents and logic as that which proves. Perhaps inthis sense mathematics starts with intuition. ButPoincar also said that without proof there is nounderstanding, no communication, no meaning([P2], page 956). Most mathematicians would prob-

    ably agree that mathematics is both invention andproof and that it comes from the cooperation ofintuition andlogic.

    What about the question I asked earlier: whatdo we know today about mathematical intuitionthat we did not know one hundred years ago?Lakoff and Nez have suggested that intuition isnot as formless and elusive as perhaps we hadthought. To the contrary, or so they claim, it workson the basic mechanism of metaphor, and it hasa profound structure that is dictated by human na-ture. These are interesting and appealing ideas, orperhaps intuitions, about the nature of mathe-matical intuition.

    Among the sciences, mathematics is not alonein building on intuition. Nor is it alone in requir-ing more. Every science also needs concepts thatare precise enough to frame testable hypotheses,and every scientific theoryneeds proofnot inthe mathematical sense, but at least in the sensethat the theory has been subjected to the most rig-orous trials we can devise and has survived. Lakoffand Nez have shared with us their intuitionsabout the way the mathematical mind operates.More work remains to be done. We do not know

    [P1], page 432. Surely there will always be goodreasons to experiment with new formats for math-ematical exposition, and Lakoff and Nez are notalone in exploring. Zalman Usiskin, for example,has proposed something he calls concept analy-sis, intended for people who are learning to teachmathematics; see [U]. Concept analysis examines

    various methods of representing and definingmathematical ideas, as well as how those methodsevolved over time, how they are used, the problemspeople have understanding them, and strategiesthat are useful in explaining them.

    This concludes my comments on the three strandsI identified earlier. If I think about the portrayal ofmathematics in the book as a whole, I find myselfdisappointed by the pale picture the authors havedrawn. In the book, people formulate ideas andreason mathematically, realize things, extendideas, infer, understand, symbolize, calculate,and, most frequently of all, conceptualize. Theseplain vanilla words scarcely exhaust the kinds of

    things that go on when people do mathematics. Theyexplore, search for patterns, organize data, keeptrack of information, make and refine conjectures,monitor their own thinking, develop and executestrategies (or modify or abandon them), check theirreasoning, write and rewrite proofs, look for andrecognize errors, seek alternate descriptions, lookfor analogies, consult one another, share ideas,encourage one another, change points of view,learn new theories, translate problems from onelanguage into another, become obsessed, bang theirheads against walls, despair, and find light. Any oneof these activities is itself enormously complexcognitivelyand in social, cultural, and historical

    dimensions as well. In all this, what role do metaphorsplay?Moving to a different perspective, I want to note

    that there are areas not even hinted at in the bookwhere cognitive science is prepared to contributeto our understanding of mathematical thought.Consider this: Metaphorical ideas are frequentlymisleading, sometimes just plain wrong. Zariskispent most of his career creating a precise languageand theory capable of holding the truths that theItalian geometers had glimpsed intuitively whileavoiding the errors into which they fell. What cog-nitive mechanisms enable people to recognize thata metaphor is not doing the job it is supposed to

    do and to respond by fashioning better conceptualtools?

    From early childhood people comment on theirown thinking or on the things they create in orderto represent their thinking, and they use this com-mentary to adjust and correct themselves. In afascinating article about her own first-grade class-room, Kristine Reed Woleck describes how childrentalk to themselves and to one another while draw-ing and revising pictures to depict mathematicalideas, in the process coming to question, debate,

  • 7/30/2019 Rev Madden

    7/7

    1188 NOTICES OF THE AMS VOLUME 48, NUMBER 10

    what scientists may some day build upon these in-tuitions.

    Acknowledgments. I would like to thank RogerHowe for sharing with me his reactions to thisbook and for reading and commenting on an ear-lier version of this review. I would also like tothank Allyn Jackson and two unknown referees for

    useful comments. Most of this review was writtenwhile I was visiting Wesleyan University, where Ireceived partial support from the mathematics de-partment. I would like to thank the university andthe department for their excellent hospitality.

    References

    [CC] ALBERT A. CUOCO and FRANCES R. CURCIO, eds., TheRoles of Representation in School Mathematics, Year-

    book, National Council of Teachers of Mathematics,2001.

    [De] KEITH DEVLIN, The Math Gene: How MathematicalThinking Evolved and Why Numbers Are Like Gos-

    sip, Basic Books, 2000.[Dh] STANISLAS DEHAENE, The Number Sense: How the Mind

    Creates Mathematics, Oxford University Press, 1997.[Do] HEINRICH DRRE, 100 Great Problems of ElementaryMathematics: Their History and Solutions, translated

    by David Antin, Dover, New York, 1965.[H] JACQUES HADAMARD, The Psychology of Invention in the

    Mathematical Field, Princeton University Press, 1945.[HC] DAVID HILBERT and S. COHN-VOSSEN, Anschauliche

    Geometrie, Julius Springer, Berlin, 1932; translatedas Geometry and the Imagination, Chelsea, NewYork, 1952.

    [LJ] GEORGE LAKOFF and MARK JOHNSON, Philosophy in theFlesh: The Embodied Mind and Its Challenge to West-ern Thought, Basic Books, 1999.

    [M] EARL K. MILLER, The prefrontal cortex and cognitive con-trol, Nature Reviews in Neuroscience 1 (2000), 5965.

    [MC] ROBERT P. MOSES and CHARLES E. COBB JR., RadicalEquations: Math Literacy and Civil Rights, BeaconPress, Boston, 2001.

    [P1] HENRI POINCAR, The Foundations of Science, authorizedtranslation by G. B. Halsted, The Science Press, NewYork, 1913.

    [P2] , Dernires Penses, Flammarion, Paris, 1913;reprint 1963.

    [S] ALAN SCHOENFELD, Mathematical Problem Solving, Aca-demic Press, Orlando, FL, 1985.

    [T] PAUL THOMPSON, The nature and role of intuition inmathematical epistemology, Philosophia: Philos.Quart. Israel26 (1998), 279319.

    [U] ZALMAN USISKIN, Teachers mathematics: A collectionof content deserving to be a field, UCSMP Newslet-ter, No. 28, Winter 2000-01, 510.

    [Wi] THOMAS WILSON, Arte of Rhetorique (Thomas J. Derrick,ed.), Garland Publishing, Inc., New York and London,1982.

    [W] KRISTINE REED WOLECK, Listen to their pictures: An in-vestigation of childrens mathematical drawings,in [CC].