FOCUS August/September 2005

Total Page:16

File Type:pdf, Size:1020Kb

FOCUS August/September 2005 FOCUS August/September 2005 FOCUS is published by the Mathematical Association of America in January, February, March, April, May/June, FOCUS August/September, October, November, and Volume 25 Issue 6 December. Editor: Fernando Gouvêa, Colby College; [email protected] Inside Managing Editor: Carol Baxter, MAA 4 Saunders Mac Lane, 1909-2005 [email protected] By John MacDonald Senior Writer: Harry Waldman, MAA [email protected] 5 Encountering Saunders Mac Lane By David Eisenbud Please address advertising inquiries to: Rebecca Hall [email protected] 8George B. Dantzig 1914–2005 President: Carl C. Cowen By Don Albers First Vice-President: Barbara T. Faires, 11 Convergence: Mathematics, History, and Teaching Second Vice-President: Jean Bee Chan, An Invitation and Call for Papers Secretary: Martha J. Siegel, Associate By Victor Katz Secretary: James J. Tattersall, Treasurer: John W. Kenelly 12 What I Learned From…Project NExT By Dave Perkins Executive Director: Tina H. Straley 14 The Preparation of Mathematics Teachers: A British View Part II Associate Executive Director and Director By Peter Ruane of Publications: Donald J. Albers FOCUS Editorial Board: Rob Bradley; J. 18 So You Want to be a Teacher Kevin Colligan; Sharon Cutler Ross; Joe By Jacqueline Brennon Giles Gallian; Jackie Giles; Maeve McCarthy; Colm 19 U.S.A. Mathematical Olympiad Winners Honored Mulcahy; Peter Renz; Annie Selden; Hortensia Soto-Johnson; Ravi Vakil. 20 Math Youth Days at the Ballpark Letters to the editor should be addressed to By Gene Abrams Fernando Gouvêa, Colby College, Dept. of 22 The Fundamental Theorem of ________________ Mathematics, Waterville, ME 04901, or by email to [email protected]. By Jeffrey Nunemacher Subscription and membership questions 24 2005 Award Winners for Distinguished Teaching should be directed to the MAA Customer 26 “I Like Change” An Interview with Tina Straley Service Center, 800-331-1622; e-mail: [email protected]; (301) 617-7800 (outside By Don Albers U.S. and Canada); fax: (301) 206-9789. MAA 32 Third Annual Mathematical Study Tour—Home of the Ancient Maya Headquarters: (202) 387-5200. 34 Archives of American Mathematics Spotlight: Copyright © 2005 by the Mathematical Association of America (Incorporated). The New Mathematical Library Records Educational institutions may reproduce By Robin Howard and Kristy Sorensen articles for their own use, but not for sale, 36 What I Learned About…Online Assignment Management provided that the following citation is used: “Reprinted with permission of FOCUS, the By Glenn Ledder newsletter of the Mathematical Association 38 Letters to the Editor of America (Incorporated).” 40 Finding Common Ground in K-12 Mathematics Education Periodicals postage paid at Washington, DC By Michael Pearson and additional mailing offices. Postmaster: Send address changes to FOCUS, 41 U.S. Team Survives Hurricane to Place 2nd in the Mathematical Association of America, P.O. International Mathematical Olympiad Box 90973, Washington, DC 20090-0973. By Steve Dunbar ISSN: 0731-2040; Printed in the United States of America. 42 The Missouri Collegiate Mathematics Competition By Alvin Tinsley and Curtis Cooper 44 Short Takes 2 August/September 2005 FOCUS William McCallum and Ken Ono Named Distinguished Teaching Scholars On June 21, the National Science William McCallum’s research work is in Ken Ono’s work has focused on modu- Foundation named seven Distinguished number theory and arithmetic algebraic lar forms and their relations with ellip- Teaching Scholars, honoring scholars geometry, but he is best known as a leader tic curves. He has obtained remarkable who have achieved success in both re- in the calculus reform movement and results on congruence properties of the search and teaching, and who have suc- one of the main authors of the “Harvard” partition function that are closely related cessfully integrated the two. Among the calculus textbook. He has also been in- to congruences discovered by Ra- recipients are two mathematicians: Wil- volved with the Arizona Winter School manujan many years ago. His work with liam McCallum of the University of Ari- on Arithmetic Algebraic Geometry, undergraduates has successfully involved zona (and a member of the MAA) and which has made this area accessible to them in research, resulting in papers Ken Ono of the University of Wisconsin countless graduate students and schol- published by students and in collabora- Madison. The awards, which are worth ars wishing to learn more about the sub- tion with students. He has also worked up to $300,000 over four years, are “NSF’s ject. NSF reports that “His new work will with K-12 students on projects related to recognition of accomplishments by sci- focus on better communication among number theory. NSF reports that “His entists and engineers whose roles as edu- mathematicians, teachers and math edu- award will help fund summer institutes cators and mentors are considered as cation researchers in a systematic con- that will provide high-school and under- important as their ground-breaking re- tent analysis of problems in algebraic graduate students with a structured re- sults in research,” said NSF Director thinking that should lead to new instruc- search environment. It will also allow for Arden L. Bennet, Jr. The Distinguished tional materials for a broad range of stu- Ono to travel to conduct lectures and Teaching Scholars program has existed dents.” hands-on activities with middle- and since 2001, and has so far honored 34 high-school students alongside Nobel people. Prize and National Medal of Science win- ners.” MAA Election Results Joseph A. Gallian Carl Pomerance Deanna B. Haunsperger President-Elect (2006) First Vice-President (2006-07) Second Vice-President (2006-07) The MAA’s national election concluded at the end of May; 3759 votes were cast, about 35% of them electronically. Joseph Gallian was chosen as President-Elect for 2006, which means that he will be President of the Association in 2007–2008. Carl Pomerance and Deanna Haunsperger will be vice-presidents during 2006–2007. 3 FOCUS August/September 2005 Saunders Mac Lane, 1909-2005 By John MacDonald Saunders Mac Lane was one of the most directly involved in the proofreading of influential mathematicians of the 20th each chapter as it was typed and used to century and was, together with Samuel delight in finding misprints because Eilenberg, a creator of Category Theory. Saunders would say I had an “eagle eye”. Details of this achievement together with He liked to have his students read much other information about his career original source material and had me read can be found in his new book Saunders early papers by Hopf, his papers with Mac Lane, A Mathematical Auto- Eilenberg on K(π,n) spaces, Lawvere’s biography, published by A.K. Peters, Ltd. thesis, as well as Freyd’s, at that time new, in 2005. However, in this article, I will book on abelian categories. present my personal point of view, since Saunders Mac Lane was my thesis At Oberwohlfach he climbed through the advisor, mentor, and lifetime friend. hills with his special walking stick. In the 1970s there were many category meetings I first met Saunders as a graduate student there and many impassioned discussions in Chicago in 1961 when I took a course amongst the participants, especially with him in category theory. I probably about the new developments in topos first came to his attention around that theory. There were discussions during time, when I pointed out a slight error the day and in the evening, and in one of the exercises in his book with arguments too, often with both Eilenberg Birkhoff on Modern Algebra. Saunders Mac Lane and Mac Lane present. Freyd, Lawvere, MAA President 1951-52 Johnstone, Kock, Tholen, Rosicky, Isbell, Saunders’ influence on me did, in fact, suggest some other lemma or theorem Barr and Tierney and many others were extend much further back in time, to that needed proving. involved. Eilenberg’s students were September 1956, when I took a course in always part of the inner circle. Jon Beck’s algebra at Harvard from Andrew Gleason My most important interactions with work, in particular, continues to using the book just mentioned. This Saunders, in fact, took place this way command the highest respect. course resulted in my changing majors when I was a graduate student. He from physics to mathematics, since it insisted on weekly meetings as well as on I remember Saunders’ first wife, Dorothy, convinced me that mathematics had the a progress report from the previous week. quite vividly from the 1974 International richness and mystery that I wished to It was not enough to have read Conference in Vancouver when I had explore further. something — he wanted evidence of many categorists at my house. I met some thought applied to the research Saunders’ second wife Osa at MSRI in In his later years when he had passed problem at hand. In this way he was very 1993. I have a much treasured photo of from his role of advisor and mentor to serious and not nearly as light and Osa, Saunders and my wife standing friend I was constantly amazed by his easygoing as he seemed with some around my son Ian, then 18 months old. tenacity and independence. To give an visitors. I saw her later at notable events like the example, here is a story from when he celebration in Coimbra, Portugal, in was in Coimbra, Portugal, at the At this time in the early 60s, there was 1999, and kept in touch with her up and Category Theory meeting in 1999. After indeed a whirl of categorical ideas through the time of Saunders’ memorial the lectures one day, everyone was urging evolving with visits to Chicago from service at MSRI on May 4, 2005. him to take a cab back to the hotel Eilenberg, Freyd, Lawvere, Beck, and because of the steep walk from the Linton.
Recommended publications
  • Questions About Boij-S\" Oderberg Theory
    QUESTIONS ABOUT BOIJ–SODERBERG¨ THEORY DANIEL ERMAN AND STEVEN V SAM 1. Background on Boij–Soderberg¨ Theory Boij–S¨oderberg theory focuses on the properties and duality relationship between two types of numerical invariants. One side involves the Betti table of a graded free resolution over the polynomial ring. The other side involves the cohomology table of a coherent sheaf on projective space. The theory began with a conjectural description of the cone of Betti tables of finite length modules, given in [10]. Those conjectures were proven in [25], which also described the cone of cohomology tables of vector bundles and illustrated a sort of duality between Betti tables and cohomology tables. The theory itself has since expanded in many directions: allowing modules whose support has higher dimension, replacing vector bundles by coherent sheaves, working over rings other than the polynomial ring, and so on. But at its core, Boij–S¨oderberg theory involves: (1) A classification, up to scalar multiple, of the possible Betti tables of some class of objects (for example, free resolutions of finitely generated modules of dimension ≤ c). (2) A classification, up to scalar multiple, of the cohomology tables of some class of objects (for examples, coherent sheaves of dimension ≤ n − c). (3) Intersection theory-style duality results between Betti tables and cohomology tables. One motivation behind Boij and S¨oderberg’s conjectures was the observation that it would yield an immediate proof of the Cohen–Macaulay version of the Multiplicity Conjectures of Herzog–Huneke–Srinivasan [44]. Eisenbud and Schreyer’s [25] thus yielded an immediate proof of that conjecture, and the subsequent papers [11, 26] provided a proof of the Mul- tiplicity Conjecture for non-Cohen–Macaulay modules.
    [Show full text]
  • The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary
    The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary i Reproduction. The work may be reproduced by any means for educational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents. In any reproduction, the original publication by the Publisher must be credited in the following manner: “First published in The William Lowell Putnam Mathematical Competition 1985–2000: Problems, Solutions, and Commen- tary, c 2002 by the Mathematical Association of America,” and the copyright notice in proper form must be placed on all copies. Ravi Vakil’s photo on p. 337 is courtesy of Gabrielle Vogel. c 2002 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2002107972 ISBN 0-88385-807-X Printed in the United States of America Current Printing (last digit): 10987654321 ii The William Lowell Putnam Mathematical Competition 1985–2000 Problems, Solutions, and Commentary Kiran S. Kedlaya University of California, Berkeley Bjorn Poonen University of California, Berkeley Ravi Vakil Stanford University Published and distributed by The Mathematical Association of America iii MAA PROBLEM BOOKS SERIES Problem Books is a series of the Mathematical Association of America consisting of collections of problems and solutions from annual mathematical competitions; compilations of problems (including unsolved problems) specific to particular branches of mathematics; books on the art and practice of problem solving, etc. Committee on Publications Gerald Alexanderson, Chair Roger Nelsen Editor Irl Bivens Clayton Dodge Richard Gibbs George Gilbert Art Grainger Gerald Heuer Elgin Johnston Kiran Kedlaya Loren Larson Margaret Robinson The Inquisitive Problem Solver, Paul Vaderlind, Richard K.
    [Show full text]
  • Bibliography
    Bibliography [1] Emil Artin. Galois Theory. Dover, second edition, 1964. [2] Michael Artin. Algebra. Prentice Hall, first edition, 1991. [3] M. F. Atiyah and I. G. Macdonald. Introduction to Commutative Algebra. Addison Wesley, third edition, 1969. [4] Nicolas Bourbaki. Alg`ebre, Chapitres 1-3.El´ements de Math´ematiques. Hermann, 1970. [5] Nicolas Bourbaki. Alg`ebre, Chapitre 10.El´ements de Math´ematiques. Masson, 1980. [6] Nicolas Bourbaki. Alg`ebre, Chapitres 4-7.El´ements de Math´ematiques. Masson, 1981. [7] Nicolas Bourbaki. Alg`ebre Commutative, Chapitres 8-9.El´ements de Math´ematiques. Masson, 1983. [8] Nicolas Bourbaki. Elements of Mathematics. Commutative Algebra, Chapters 1-7. Springer–Verlag, 1989. [9] Henri Cartan and Samuel Eilenberg. Homological Algebra. Princeton Math. Series, No. 19. Princeton University Press, 1956. [10] Jean Dieudonn´e. Panorama des mat´ematiques pures. Le choix bourbachique. Gauthiers-Villars, second edition, 1979. [11] David S. Dummit and Richard M. Foote. Abstract Algebra. Wiley, second edition, 1999. [12] Albert Einstein. Zur Elektrodynamik bewegter K¨orper. Annalen der Physik, 17:891–921, 1905. [13] David Eisenbud. Commutative Algebra With A View Toward Algebraic Geometry. GTM No. 150. Springer–Verlag, first edition, 1995. [14] Jean-Pierre Escofier. Galois Theory. GTM No. 204. Springer Verlag, first edition, 2001. [15] Peter Freyd. Abelian Categories. An Introduction to the theory of functors. Harper and Row, first edition, 1964. [16] Sergei I. Gelfand and Yuri I. Manin. Homological Algebra. Springer, first edition, 1999. [17] Sergei I. Gelfand and Yuri I. Manin. Methods of Homological Algebra. Springer, second edition, 2003. [18] Roger Godement. Topologie Alg´ebrique et Th´eorie des Faisceaux.
    [Show full text]
  • Samuel Eilenberg Assistant Professorships
    Faculty of Mathematics, Informatics and Mechanics Dean, Professor Paweł Strzelecki Samuel Eilenberg Assistant Professorships Four academic positions in the group of researchers and lecturers are vailable at the Faculty of Mathematics, Informatics and Mechanics Pursuant to the Law on Higher Education and Science, the Univeristy of Warsaw invites the applications for four positions of Samuel Eilenberg Assistant Professorships. Samuel Eilenberg (1913-1998) obtained his PhD degree in Mathematics at the University of Warsaw in 1936 under the supervision of Kazimierz Kuratowski and Karol Borsuk. He spent most of his career in the USA as a professor at Columbia Univeristy. He exerted a critical influence on contemporary mathematics and theoretical computer science; he was a co- founder of modern topology, category theory, homological algebra, and automata theory. His scientific development epitomizes openness to new ideas and readiness to face demanding intellectual challenges. Terms of employment: starting date October 1, 2020; full time job, competitive salary, fixed term employment contract for 2 or 4 years (to be decided with successful applicants). The candidates will concentrate on intensive research and will have reduced teaching duties (120 teaching hours per academic year). Requirements. Successful candidates for Samuel Eilenberg Professorships should have: 1. a PhD degree in mathematics, computer science or related fields obtained in the past 5 years; 2. significant papers in mathematics or computer science, published in refereed, globally recognized journals or confer- ences; 3. teaching experience and willingness to undertake organizational activities related to teaching; 4. significant international experience (internships or post-doctoral fellowships, projects etc.). Candidates obtain extra points for: • research fellowships outside Poland within the last two years; • high pace of scientific development that is confirmed by high quality papers; a clear concept of maintaining this development is required.
    [Show full text]
  • Tōhoku Rick Jardine
    INFERENCE / Vol. 1, No. 3 Tōhoku Rick Jardine he publication of Alexander Grothendieck’s learning led to great advances: the axiomatic description paper, “Sur quelques points d’algèbre homo- of homology theory, the theory of adjoint functors, and, of logique” (Some Aspects of Homological Algebra), course, the concepts introduced in Tōhoku.5 Tin the 1957 number of the Tōhoku Mathematical Journal, This great paper has elicited much by way of commen- was a turning point in homological algebra, algebraic tary, but Grothendieck’s motivations in writing it remain topology and algebraic geometry.1 The paper introduced obscure. In a letter to Serre, he wrote that he was making a ideas that are now fundamental; its language has with- systematic review of his thoughts on homological algebra.6 stood the test of time. It is still widely read today for the He did not say why, but the context suggests that he was clarity of its ideas and proofs. Mathematicians refer to it thinking about sheaf cohomology. He may have been think- simply as the Tōhoku paper. ing as he did, because he could. This is how many research One word is almost always enough—Tōhoku. projects in mathematics begin. The radical change in Gro- Grothendieck’s doctoral thesis was, by way of contrast, thendieck’s interests was best explained by Colin McLarty, on functional analysis.2 The thesis contained important who suggested that in 1953 or so, Serre inveigled Gro- results on the tensor products of topological vector spaces, thendieck into working on the Weil conjectures.7 The Weil and introduced mathematicians to the theory of nuclear conjectures were certainly well known within the Paris spaces.
    [Show full text]
  • The Geometry of Syzygies
    The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points .
    [Show full text]
  • Hilbert Constance Reid
    Hilbert Constance Reid Hilbert c COPERNICUS AN IMPRINT OF SPRINGER-VERLAG © 1996 Springer Science+Business Media New York Originally published by Springer-Verlag New York, Inc in 1996 All rights reserved. No part ofthis publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher. Library ofCongress Cataloging·in-Publication Data Reid, Constance. Hilbert/Constance Reid. p. Ctn. Originally published: Berlin; New York: Springer-Verlag, 1970. Includes bibliographical references and index. ISBN 978-0-387-94674-0 ISBN 978-1-4612-0739-9 (eBook) DOI 10.1007/978-1-4612-0739-9 I. Hilbert, David, 1862-1943. 2. Mathematicians-Germany­ Biography. 1. Title. QA29.HsR4 1996 SIO'.92-dc20 [B] 96-33753 Manufactured in the United States of America. Printed on acid-free paper. 9 8 7 6 543 2 1 ISBN 978-0-387-94674-0 SPIN 10524543 Questions upon Rereading Hilbert By 1965 I had written several popular books, such as From liro to Infinity and A Long Way from Euclid, in which I had attempted to explain certain easily grasped, although often quite sophisticated, mathematical ideas for readers very much like myself-interested in mathematics but essentially untrained. At this point, with almost no mathematical training and never having done any bio­ graphical writing, I became determined to write the life of David Hilbert, whom many considered the profoundest mathematician of the early part of the 20th century. Now, thirty years later, rereading Hilbert, certain questions come to my mind.
    [Show full text]
  • Positional Notation Or Trigonometry [2, 13]
    The Greatest Mathematical Discovery? David H. Bailey∗ Jonathan M. Borweiny April 24, 2011 1 Introduction Question: What mathematical discovery more than 1500 years ago: • Is one of the greatest, if not the greatest, single discovery in the field of mathematics? • Involved three subtle ideas that eluded the greatest minds of antiquity, even geniuses such as Archimedes? • Was fiercely resisted in Europe for hundreds of years after its discovery? • Even today, in historical treatments of mathematics, is often dismissed with scant mention, or else is ascribed to the wrong source? Answer: Our modern system of positional decimal notation with zero, to- gether with the basic arithmetic computational schemes, which were discov- ered in India prior to 500 CE. ∗Bailey: Lawrence Berkeley National Laboratory, Berkeley, CA 94720, USA. Email: [email protected]. This work was supported by the Director, Office of Computational and Technology Research, Division of Mathematical, Information, and Computational Sciences of the U.S. Department of Energy, under contract number DE-AC02-05CH11231. yCentre for Computer Assisted Research Mathematics and its Applications (CARMA), University of Newcastle, Callaghan, NSW 2308, Australia. Email: [email protected]. 1 2 Why? As the 19th century mathematician Pierre-Simon Laplace explained: It is India that gave us the ingenious method of expressing all numbers by means of ten symbols, each symbol receiving a value of position as well as an absolute value; a profound and important idea which appears so simple to us now that we ignore its true merit. But its very sim- plicity and the great ease which it has lent to all computations put our arithmetic in the first rank of useful inventions; and we shall appre- ciate the grandeur of this achievement the more when we remember that it escaped the genius of Archimedes and Apollonius, two of the greatest men produced by antiquity.
    [Show full text]
  • Memorial Resolution George Bernard Dantzig (1914–2005)
    MEMORIAL RESOLUTION GEORGE BERNARD DANTZIG (1914–2005) George Bernard Dantzig, the C. A. Criley Professor of Transportation Sciences and Professor of Operations Research and of Computer Science, Emeritus, died at his campus home on May 13, 2005 at age 90. Born on November 8, 1914 in Portland, Oregon, George Dantzig was given the middle name “Bernard” as an expression of his parents’ hope that he would become a writer. This was not to be, even though late in his life George was engaged in writing a novel. Instead, George became a mathematician. He graduated from the University of Maryland with an A.B. in mathematics and physics (1936) and took his M.A. in mathematics from the University of Michigan (1938). After a two-year period at the Bureau of Labor Statistics, he enrolled in the doctoral program in mathematics at the University of California, Berkeley, with the intention of writing his dissertation on mathematical statistics under the supervision of Jerzy Neyman. Arriving late to one of Neyman’s lectures, George copied down two problem statements from the blackboard thinking they were a homework assignment. George found these problems challenging. After a while though, he was able to solve them both and turned them in to the professor. As it happened, the problems were not just exercises but open questions in the field. The solutions to these problems became the two independent parts of George’s doctoral dissertation. With the outbreak of World War II, George took a leave of absence from the doctoral program at Berkeley to join the U.S.
    [Show full text]
  • Alfred Tarski and a Watershed Meeting in Logic: Cornell, 1957 Solomon Feferman1
    Alfred Tarski and a watershed meeting in logic: Cornell, 1957 Solomon Feferman1 For Jan Wolenski, on the occasion of his 60th birthday2 In the summer of 1957 at Cornell University the first of a cavalcade of large-scale meetings partially or completely devoted to logic took place--the five-week long Summer Institute for Symbolic Logic. That meeting turned out to be a watershed event in the development of logic: it was unique in bringing together for such an extended period researchers at every level in all parts of the subject, and the synergetic connections established there would thenceforth change the face of mathematical logic both qualitatively and quantitatively. Prior to the Cornell meeting there had been nothing remotely like it for logicians. Previously, with the growing importance in the twentieth century of their subject both in mathematics and philosophy, it had been natural for many of the broadly representative meetings of mathematicians and of philosophers to include lectures by logicians or even have special sections devoted to logic. Only with the establishment of the Association for Symbolic Logic in 1936 did logicians begin to meet regularly by themselves, but until the 1950s these occasions were usually relatively short in duration, never more than a day or two. Alfred Tarski was one of the principal organizers of the Cornell institute and of some of the major meetings to follow on its heels. Before the outbreak of World War II, outside of Poland Tarski had primarily been involved in several Unity of Science Congresses, including the first, in Paris in 1935, and the fifth, at Harvard in September, 1939.
    [Show full text]
  • Cohomology Theory of Lie Groups and Lie Algebras
    COHOMOLOGY THEORY OF LIE GROUPS AND LIE ALGEBRAS BY CLAUDE CHEVALLEY AND SAMUEL EILENBERG Introduction The present paper lays no claim to deep originality. Its main purpose is to give a systematic treatment of the methods by which topological questions concerning compact Lie groups may be reduced to algebraic questions con- cerning Lie algebras^). This reduction proceeds in three steps: (1) replacing questions on homology groups by questions on differential forms. This is accomplished by de Rham's theorems(2) (which, incidentally, seem to have been conjectured by Cartan for this very purpose); (2) replacing the con- sideration of arbitrary differential forms by that of invariant differential forms: this is accomplished by using invariant integration on the group manifold; (3) replacing the consideration of invariant differential forms by that of alternating multilinear forms on the Lie algebra of the group. We study here the question not only of the topological nature of the whole group, but also of the manifolds on which the group operates. Chapter I is concerned essentially with step 2 of the list above (step 1 depending here, as in the case of the whole group, on de Rham's theorems). Besides consider- ing invariant forms, we also introduce "equivariant" forms, defined in terms of a suitable linear representation of the group; Theorem 2.2 states that, when this representation does not contain the trivial representation, equi- variant forms are of no use for topology; however, it states this negative result in the form of a positive property of equivariant forms which is of interest by itself, since it is the key to Levi's theorem (cf.
    [Show full text]
  • Constance Reid
    Constance Reid John Ewing, former director of the American Mathematical Society, says this of Constance Reid: “ She has a special talent for understanding mathematicians and their culture. She understands us. She is the Boswell for mathematics – a biographer who has made the mathematical life understandable to the general public and to mathematicians themselves. Her work has enriched our profession.” The “autobiography” of her sister Julia Robinson has been a source of inspiration for many young women contemplating careers in mathematics, and her biography of David Hilbert stands as one of the best mathematical biographies ever written. It is no exaggeration to say that publication of Hilbert made her a star among mathematical biographers. Her five lively and penetrating biographies of mathematicians have been highly praised and constitute a great contribution to the world of mathematics. She has set a high standard for future biographers. We are proud that she was a member of our section. Although the formal mathematical education of Constance Reid concluded with high school algebra and geometry, she was able to understand mathematical ideas well enough to write three best - selling popularizations of mathematics: From Zero to Infinity (1955), Introduction to Higher Mathematics (1959), and A Long Way From Euclid (1963). Several mathematicians have commented on the influence of From Zero to Infinity on their development. Her writing ability was early demonstrated in her book Slacks and Calluses(1944), an account of her working for a summer on a bomber factory assembly line in World War II. At the time she was a high school English teacher in San Diego and only twenty - six.
    [Show full text]