Saunders Mac Lane 1909–2005
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
MAA AMC 8 Summary of Results and Awards
The Mathematical Association of America AMERICAN MatHEmatICS COMPETITIONS 2006 22nd Annual MAA AMC 8 Summary of Results and Awards Learning Mathematics Through Selective Problem Solving Examinations prepared by a subcommittee of the American Mathematics Competitions and administered by the office of the Director The American Mathematics Competitions are sponsored by The Mathematical Association of America and The Akamai Foundation Contributors: American Mathematical Association of Two Year Colleges American Mathematical Society American Society of Pension Actuaries American Statistical Association Art of Problem Solving Awesome Math Canada/USA Mathcamp Canada/USA Mathpath Casualty Actuarial Society Clay Mathematics Institute Institute for Operations Research and the Management Sciences L. G. Balfour Company Mu Alpha Theta National Assessment & Testing National Council of Teachers of Mathematics Pedagoguery Software Inc. Pi Mu Epsilon Society of Actuaries U.S.A. Math Talent Search W. H. Freeman and Company Wolfram Research Inc. TABLE OF CONTENTS 2006 IMO Team with their medals ................................................................... 2 Report of the Director ..........................................................................................3 I. Introduction .................................................................................................... 3 II. General Results ............................................................................................. 3 III. Statistical Analysis of Results ....................................................................... -
Topics in Geometric Group Theory. Part I
Topics in Geometric Group Theory. Part I Daniele Ettore Otera∗ and Valentin Po´enaru† April 17, 2018 Abstract This survey paper concerns mainly with some asymptotic topological properties of finitely presented discrete groups: quasi-simple filtration (qsf), geometric simple connec- tivity (gsc), topological inverse-representations, and the notion of easy groups. As we will explain, these properties are central in the theory of discrete groups seen from a topo- logical viewpoint at infinity. Also, we shall outline the main steps of the achievements obtained in the last years around the very general question whether or not all finitely presented groups satisfy these conditions. Keywords: Geometric simple connectivity (gsc), quasi-simple filtration (qsf), inverse- representations, finitely presented groups, universal covers, singularities, Whitehead manifold, handlebody decomposition, almost-convex groups, combings, easy groups. MSC Subject: 57M05; 57M10; 57N35; 57R65; 57S25; 20F65; 20F69. Contents 1 Introduction 2 1.1 Acknowledgments................................... 2 arXiv:1804.05216v1 [math.GT] 14 Apr 2018 2 Topology at infinity, universal covers and discrete groups 2 2.1 The Φ/Ψ-theoryandzippings ............................ 3 2.2 Geometric simple connectivity . 4 2.3 TheWhiteheadmanifold............................... 6 2.4 Dehn-exhaustibility and the QSF property . .... 8 2.5 OnDehn’slemma................................... 10 2.6 Presentations and REPRESENTATIONS of groups . ..... 13 2.7 Good-presentations of finitely presented groups . ........ 16 2.8 Somehistoricalremarks .............................. 17 2.9 Universalcovers................................... 18 2.10 EasyREPRESENTATIONS . 21 ∗Vilnius University, Institute of Data Science and Digital Technologies, Akademijos st. 4, LT-08663, Vilnius, Lithuania. e-mail: [email protected] - [email protected] †Professor Emeritus at Universit´eParis-Sud 11, D´epartement de Math´ematiques, Bˆatiment 425, 91405 Orsay, France. -
Experience Implementing a Performant Category-Theory Library in Coq
Experience Implementing a Performant Category-Theory Library in Coq Jason Gross, Adam Chlipala, and David I. Spivak Massachusetts Institute of Technology, Cambridge, MA, USA [email protected], [email protected], [email protected] Abstract. We describe our experience implementing a broad category- theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed sub- stantial engineering effort to teach Coq to cope with large categorical constructions without slowing proof script processing unacceptably. In this paper, we share the lessons we have learned about how to repre- sent very abstract mathematical objects and arguments in Coq and how future proof assistants might be designed to better support such rea- soning. One particular encoding trick to which we draw attention al- lows category-theoretic arguments involving duality to be internalized in Coq's logic with definitional equality. Ours may be the largest Coq development to date that uses the relatively new Coq version developed by homotopy type theorists, and we reflect on which new features were especially helpful. Keywords: Coq · category theory · homotopy type theory · duality · performance 1 Introduction Category theory [36] is a popular all-encompassing mathematical formalism that casts familiar mathematical ideas from many domains in terms of a few unifying concepts. A category can be described as a directed graph plus algebraic laws stating equivalences between paths through the graph. Because of this spar- tan philosophical grounding, category theory is sometimes referred to in good humor as \formal abstract nonsense." Certainly the popular perception of cat- egory theory is quite far from pragmatic issues of implementation. -
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. -
Mathematics People
Mathematics People symmetric spaces, L²-cohomology, arithmetic groups, and MacPherson Awarded Hopf the Langlands program. The list is by far not complete, and Prize we try only to give a representative selection of his contri- bution to mathematics. He influenced a whole generation Robert MacPherson of the Institute for Advanced Study of mathematicians by giving them new tools to attack has been chosen the first winner of the Heinz Hopf Prize difficult problems and teaching them novel geometric, given by ETH Zurich for outstanding scientific work in the topological, and algebraic ways of thinking.” field of pure mathematics. MacPherson, a leading expert Robert MacPherson was born in 1944 in Lakewood, in singularities, delivered the Heinz Hopf Lectures, titled Ohio. He received his B.A. from Swarthmore College in “How Nature Tiles Space”, in October 2009. The prize also 1966 and his Ph.D. from Harvard University in 1970. He carries a cash award of 30,000 Swiss francs, approximately taught at Brown University from 1970 to 1987 and at equal to US$30,000. the Massachusetts Institute of Technology from 1987 to The following quotation was taken from a tribute to 1994. He has been at the Institute for Advanced Study in MacPherson by Gisbert Wüstholz of ETH Zurich: “Singu- Princeton since 1994. His work has introduced radically larities can be studied in different ways using analysis, new approaches to the topology of singular spaces and or you can regard them as geometric phenomena. For the promoted investigations across a great spectrum of math- latter, their study demands a deep geometric intuition ematics. -
The Probl\Eme Des M\'Enages Revisited
The probl`emedes m´enages revisited Lefteris Kirousis and Georgios Kontogeorgiou Department of Mathematics National and Kapodistrian University of Athens [email protected], [email protected] August 13, 2018 Abstract We present an alternative proof to the Touchard-Kaplansky formula for the probl`emedes m´enages, which, we believe, is simpler than the extant ones and is in the spirit of the elegant original proof by Kaplansky (1943). About the latter proof, Bogart and Doyle (1986) argued that despite its cleverness, suffered from opting to give precedence to one of the genders for the couples involved (Bogart and Doyle supplied an elegant proof that avoided such gender-dependent bias). The probl`emedes m´enages (the couples problem) asks to count the number of ways that n man-woman couples can sit around a circular table so that no one sits next to her partner or someone of the same gender. The problem was first stated in an equivalent but different form by Tait [11, p. 159] in the framework of knot theory: \How many arrangements are there of n letters, when A cannot be in the first or second place, B not in the second or third, &c." It is easy to see that the m´enageproblem is equivalent to Tait's arrangement problem: first sit around the table, in 2n! ways, the men or alternatively the women, leaving an empty space between any two consecutive of them, then count the number of ways to sit the members of the other gender. Recurrence relations that compute the answer to Tait's question were soon given by Cayley and Muir [2,9,3, 10]. -
Transactions American Mathematical Society
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY EDITED BY A. A. ALBERT OSCAR ZARISKI ANTONI ZYGMUND WITH THE COOPERATION OF RICHARD BRAUER NELSON DUNFORD WILLIAM FELLER G. A. HEDLUND NATHAN JACOBSON IRVING KAPLANSKY S. C. KLEENE M. S. KNEBELMAN SAUNDERS MacLANE C. B. MORREY W. T. REID O. F. G. SCHILLING N. E. STEENROD J. J. STOKER D. J. STRUIK HASSLER WHITNEY R. L. WILDER VOLUME 62 JULY TO DECEMBER 1947 PUBLISHED BY THE SOCIETY MENASHA, WIS., AND NEW YORK 1947 Reprinted with the permission of The American Mathematical Society Johnson Reprint Corporation Johnson Reprint Company Limited 111 Fifth Avenue, New York, N. Y. 10003 Berkeley Square House, London, W. 1 First reprinting, 1964, Johnson Reprint Corporation PRINTED IN THE UNITED STATES OF AMERICA TABLE OF CONTENTS VOLUME 62, JULY TO DECEMBER, 1947 Arens, R. F., and Kelley, J. L. Characterizations of the space of con- tinuous functions over a compact Hausdorff space. 499 Baer, R. Direct decompositions. 62 Bellman, R. On the boundedness of solutions of nonlinear differential and difference equations. 357 Bergman, S. Two-dimensional subsonic flows of a compressible fluid and their singularities. 452 Blumenthal, L. M. Congruence and superposability in elliptic space.. 431 Chang, S. C. Errata for Contributions to projective theory of singular points of space curves. 548 Day, M. M. Polygons circumscribed about closed convex curves. 315 Day, M. M. Some characterizations of inner-product spaces. 320 Dushnik, B. Maximal sums of ordinals. 240 Eilenberg, S. Errata for Homology of spaces with operators. 1. 548 Erdös, P., and Fried, H. On the connection between gaps in power series and the roots of their partial sums. -
THE RIEMANN HYPOTHESIS BERNARD RUSSO University Of
THE RIEMANN HYPOTHESIS BERNARD RUSSO University of California, Irvine PART I THE PRIME NUMBER THEOREM JULY 29, 2010 PACIFIC SUMMER UNSOLVED PROBLEMS SEMINAR PART II THE RIEMANN HYPOTHESIS SEPTEMBER 14, 2010 MATH COLLOQUIUM FULLERTON COLLEGE DEPARTMENT OF MATHEMATICS BEGINNING OF PART I “book report” “PRIME OBSESSION” JOHN DERBYSHIRE 2003 PRESENTATION OF CREDENTIALS Bernard Russo 1965 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 L. Fejer 1902 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 L. Fejer 1902 H. A. Schwarz 1864 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 L. Fejer 1902 H. A. Schwarz 1864 Karl Weierstrass 1854—E. E. Kummer 1831 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 L. Fejer 1902 H. A. Schwarz 1864 Karl Weierstrass 1854—E. E. Kummer 1831 C. Gudermann 1841—H. Scherk 1823 PRESENTATION OF CREDENTIALS Bernard Russo 1965 Henry Dye 1950 Irving Segal 1940 Einar Hille 1918 M. Riesz 1912 L. Fejer 1902 H. A. Schwarz 1864 Karl Weierstrass 1854—E. E. Kummer 1831 C. Gudermann 1841—H. -
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. -
J´Ozef Marcinkiewicz
JOZEF¶ MARCINKIEWICZ: ANALYSIS AND PROBABILITY N. H. BINGHAM, Imperial College London Pozna¶n,30 June 2010 JOZEF¶ MARCINKIEWICZ Life Born 4 March 1910, Cimoszka, Bialystok, Poland Student, 1930-33, University of Stefan Batory in Wilno (professors Stefan Kempisty, Juliusz Rudnicki and Antoni Zygmund) 1931-32: taught Lebesgue integration and trigono- metric series by Zygmund MA 1933; military service 1933-34 PhD 1935, under Zygmund 1935-36, Fellowship, U. Lw¶ow,with Kaczmarz and Schauder 1936, senior assistant, Wilno; dozent, 1937 Spring 1939, Fellowship, Paris; o®ered chair by U. Pozna¶n August 1939: in England; returned to Poland in anticipation of war (he was an o±cer in the reserve); already in uniform by 2 September Second lieutenant, 2nd Battalion, 205th In- fantry Regiment Defence of Lwo¶w12 - 21 September 1939; Lwo¶wsurrendered to Red (Soviet) Army Prisoner of war 25 September ("temporary in- ternment" by USSR); taken to Starobielsk Presumed executed Starobielsk, or Kharkov, or Kozielsk, or Katy¶n;Katy¶nMassacre commem- orated on 10 April Work We outline (most of) the main areas in which M's influence is directly seen today, and sketch the current state of (most of) his areas of in- terest { all in a very healthy state, an indication of M's (and Z's) excellent mathematical taste. 55 papers 1933-45 (the last few posthumous) Collaborators: Zygmund 15, S. Bergman 2, B. Jessen, S. Kaczmarz, R. Salem Papers (analysed by Zygmund) on: Functions of a real variable Trigonometric series Trigonometric interpolation Functional operations Orthogonal systems Functions of a complex variable Calculus of probability MATHEMATICS IN POLAND BETWEEN THE WARS K. -
Right Ideals of a Ring and Sublanguages of Science
RIGHT IDEALS OF A RING AND SUBLANGUAGES OF SCIENCE Javier Arias Navarro Ph.D. In General Linguistics and Spanish Language http://www.javierarias.info/ Abstract Among Zellig Harris’s numerous contributions to linguistics his theory of the sublanguages of science probably ranks among the most underrated. However, not only has this theory led to some exhaustive and meaningful applications in the study of the grammar of immunology language and its changes over time, but it also illustrates the nature of mathematical relations between chunks or subsets of a grammar and the language as a whole. This becomes most clear when dealing with the connection between metalanguage and language, as well as when reflecting on operators. This paper tries to justify the claim that the sublanguages of science stand in a particular algebraic relation to the rest of the language they are embedded in, namely, that of right ideals in a ring. Keywords: Zellig Sabbetai Harris, Information Structure of Language, Sublanguages of Science, Ideal Numbers, Ernst Kummer, Ideals, Richard Dedekind, Ring Theory, Right Ideals, Emmy Noether, Order Theory, Marshall Harvey Stone. §1. Preliminary Word In recent work (Arias 2015)1 a line of research has been outlined in which the basic tenets underpinning the algebraic treatment of language are explored. The claim was there made that the concept of ideal in a ring could account for the structure of so- called sublanguages of science in a very precise way. The present text is based on that work, by exploring in some detail the consequences of such statement. §2. Introduction Zellig Harris (1909-1992) contributions to the field of linguistics were manifold and in many respects of utmost significance. -
A Century of Mathematics in America, Peter Duren Et Ai., (Eds.), Vol
Garrett Birkhoff has had a lifelong connection with Harvard mathematics. He was an infant when his father, the famous mathematician G. D. Birkhoff, joined the Harvard faculty. He has had a long academic career at Harvard: A.B. in 1932, Society of Fellows in 1933-1936, and a faculty appointmentfrom 1936 until his retirement in 1981. His research has ranged widely through alge bra, lattice theory, hydrodynamics, differential equations, scientific computing, and history of mathematics. Among his many publications are books on lattice theory and hydrodynamics, and the pioneering textbook A Survey of Modern Algebra, written jointly with S. Mac Lane. He has served as president ofSIAM and is a member of the National Academy of Sciences. Mathematics at Harvard, 1836-1944 GARRETT BIRKHOFF O. OUTLINE As my contribution to the history of mathematics in America, I decided to write a connected account of mathematical activity at Harvard from 1836 (Harvard's bicentennial) to the present day. During that time, many mathe maticians at Harvard have tried to respond constructively to the challenges and opportunities confronting them in a rapidly changing world. This essay reviews what might be called the indigenous period, lasting through World War II, during which most members of the Harvard mathe matical faculty had also studied there. Indeed, as will be explained in §§ 1-3 below, mathematical activity at Harvard was dominated by Benjamin Peirce and his students in the first half of this period. Then, from 1890 until around 1920, while our country was becoming a great power economically, basic mathematical research of high quality, mostly in traditional areas of analysis and theoretical celestial mechanics, was carried on by several faculty members.