DOCSLIB.ORG

Mathematics in Computation •

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

SOCIETY THE AMERICAN MATHEMATICAL SOCIETY Edited by John W. Green and Gordon L. Walker CONTENTS MEETINGS Calendar of Meetings . • . .. • . • . 64 Program of the April Meeting in Chicago, Illinois . • . 65 Abstracts of the Meeting - pages 104- 117 Program of the April Meeting in Atlantic City, New Jersey ......•..... 71 Abstracts of the Meeting - pages 118-130 Program of the April Meeting in Monterey, California. • . • . 78 Abstracts of the Meeting- pages 131-138 PRELIMINARY ANNOUNCEMENT OF MEETING .....•....... 82 A REPORT TO MEMBERS ........•.....•............. 85 NEWS ITEMS AND ANNOUNCEMENTS .•.....•.........•.•.... 81, 88, 9Z, 94 PERSONAL ITEMS . • . • . • . • . • . • . 89 NEW AMS PUBLICATIONS . • . • . 93 LETTERS TO THE EDITOR ........•. 95 MEMORANDA TO MEMBERS Mathematics in Computation • . • . 96 Reprinting of Back Volumes of Mathematical Reviews . • . 96 Reciprocity Agreement With the Sociedade de Matematica de Sao Paulo . 96 Change of Address Notification Deadlines for Journals ....• , . • . 96 Group Travel to Stockholm . • . • . • . • . • . • . 97 CATALOG OF LECTURE NOTES . • . • . • • . • . 99 SUPPLEMENTARY PROGRAM -No. 10. 100 ABSTRACTS OF CONTRIBUTED PAPERS ...........•••............. 103 ERRATA - Volume 9. .. • . 155 INDEX TO ADVERTISERS. • . • . 163 RESERVATION FORM . • . • . • . 163 MEETINGS CALENDAR OF MEETINGS Note: This Calendar lists all of the meetings which have been approved by the Council up to the date at which this issue of the NOTICES was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change. This is particularly true of the meetings to which no numbers have yet been assigned. Meet­ Deadline ing Date Place for No. Abstracts* (june Issue of the NOTICES) April 27 592 August 27-31, 1962 Vancouver, British Columbia july 6 (67th Summer Meeting) 593 October Z7, 1962 Hanover, New Hampshire Sept. U- November 16-17, 1962 Tallahassee, Florida November 17, 1962 Los Angeles, California january 24-28, 1963 Berkeley, California (69th Annual Meeting) August 26-30, 1963 Boulder, Colorado (68th Summer Meeting) january Z0-24, 1964 Miami, Florida (70th Annual Meeting) August, 1964 Ann Arbor, Michigan (69th Summer Meeting) August, 1965 Ithaca, New York August, 1966 New Brunswick, New jersey * 'the abstracts of papers to be presented in person at the meetings must be received in the Head­ quarters Offices of the Society in Providence, Rhode Island, on or before these deadlines. The dead­ lines also apply to news items. The next two deadline dates for by title abstracts are April 27 and June 29. ----~ The NOTICES of the .American Mathematical Society is published by the Society six times a year, in February, April, june, August, October and November. Price per annual volume is $7.00. Price per copy, $2.00. Special price for copies sold at registration desks of meetings of the Society, $1.00 per copy. Subscriptions, orders for back numbers (none available before 1958), and inquiries should be addressed to the American Mathematical Society, 190 Hope Street, Providence 6,Rhode Island. Second-class postage paid at Providence, Rhode Island, and additional mailing offices. Authorization is granted under the authority of the act of August 24, 1912, as amended by the act of August 4, 1947 (Sec. 34. Zl, P. L. and R.). Accepted for mailing at the specialrateofpostagepro­ vided for in section 34.40, paragraph (d). Copyright© 1962 by the American Mathematical Society Printed in the United States of America 64 Five Hundred and Eighty-Ninth Meeting University of Chicago Chicago, Illinois April 12-14, 1962 PROGRAM The five hundred eighty-ninth meet­ Mark Kac, (Rockefeller Institute); R. D. ing of the American Mathematical Society Richtmyer, (New York University); and will be held in Chicago, lllinois on April A. H. Taub, (University of lllinois). The 1Z-14, 196Z. A feature of the meeting is objective of the Symposium is to examine that there will be a Symposium on Experi­ ways in which the arithmetic potential of mental Arithmetic supported by the Insti­ modern high speed computing equipment tute for Defense Analyses. can furnish experience which sheds light Meeting headquarters will be at the on outstanding mathematical problems, in­ Shoreland Hotel, 5454 South Shore Drive. cluding those arising in other sciences. The Shoreland is offering a special flat Thus, particular attention will be paid to rate of $8 per single room and $6 per per­ the arithmetic experience which may now son in a twin-bedded double. Members be acquired to give insight into important who wish to stay where most of the mathe­ mathematical problems. The design of maticians will be housed should make re­ arithmetic experiments, the reduction and servations directly with the Shoreland analysis of data obtained through arithme­ mentioning the Society. tic experiments, and the mathematical Registration will be in the Common theories pertaining to arithmetic experi­ Room on the second floor of Eckhart Hall ment, such as the theory of Monte Carlo beginning at 9:00 A.M. on Thursday, April calculations, will concern many of the 1Z. speakers. Table calculations and other By invitation of the Committee to non-experimental arithmetic will not be Select Hour Speakers for Western Sec­ included. tional Meetings, Professor Andrew Wal­ Sessions for the presentation of lace of Indiana University and Professor contributed papers will be held at 10:00 Noboru Ito of the University of lllinois A.M. on Thursday and at9:00 A.M. on Fri­ will address the Society. Professor Wal­ day and Saturday. Due to the crowding of lace's title is "Geometric methods in dif­ the program with the Symposium, there ferential topology," while Professor Ito will probably not be a special session for will speak on "On permutation groups of the presentation of papers which failed to prime degree." Both lectures will be in meet the deadline unless the program of Room 133,Eckhart Hall. Professor Wallace contributed papers is fairly small. A Vu­ will speak at 11:00 A.M. on Friday, April Graph will be available for those who wish 13 and Professor Ito at the same hour on to employ it in Eckhart 133, Eckhart Z06, Saturday, April 14. the other room to be used for the presen­ The sessions of the Symposium will tation of contributed papers, is a modern be held on Thursday, Friday, and Saturday classroom with first class blackboard beginning at Z;OO P.M. facilities. However, a Vu-graph will also The Organizing and Invitations be available for those who wish to employ Committee for the Symposium consists of it. N. C. Metropolis (Chairman), (Institute for The facilities of Hutchinson Com­ Computer Research, University of Chi­ mons, a dining room directly across from cago); Marshall Hall, Jr.(Californialnsti­ Eckhart Hall will be available for the So­ tute of Technology); Peter Henrici, (Uni­ ciety and guests for all meals. versity of California at Los Angeles); 65 PROGRAM OF THE SESSIONS The time limit for each contributed paper is ten minutes and no more. It is true that the contributed papers are scheduled at fifteen minute intervals, but the extra five minutes is for the purpose of permitting a listener to go from one session to another and to allow time for discussion of the preceding paper. The schedule in the Program must, therefore, be adhered to and to this end the time limit will be strictly en­ forced. ALL SESSIONS WILL BE HELD IN ECKHART HALL THURSDAY, 10:00 A.M. Session on Analysis and Applied Mathematics, Room 133 10:00 - 10:10 (1) On extensions of a positive-definite function from an interval Professor Joshua Chover, University of Wisconsin (589-19) 10:15 - 10:25 (2) Some spaces of Fourier coefficients Professor G. W. Goes, DePaul University and University of Western Ontario (589-28) 10:30 - 10:40 (3) The remainder of certain linear approximation formulae for two variables Professor D. D. Stancu, University of Wisconsin (589-11) 10:45 - 10:55 (4) An example of a measureable control function which is not piecewise continu­ ous Professor E. 0. Roxin, RIAS, Baltimore, Maryland (589-30) 11:00 - 11: lO (5) Isoperimetric inequalities of moments of inertia of plane convex sets Professor T. W. Ting, University of Texas (589-3) 11:15 - 11:25 (6) A method of generating integral representations Mr. W. W. Turner* and Professor Alfred Leitner, Michigan State Uni­ versity (589-33) 11:30 - 11:40 (7) Generalized mathematical fundamentals of relativistic theories Professor M. Z. v. Krzywoblocki, Michigan State University (589-9) THURSDAY, 10:00 A.M. Session on Topology, Room 206 10:00 - 10:10 (8) Improving the intersection of lines with surfaces Professor R. H. Bing, University of Wisconsin (589-13) 10:15 - 10:25 (9) On the sum of two solid Alexander Horned Spheres Mr. B. G. Casler, University of Wisconsin (589-15) (Introduced by Professor R. H. Bing) 10:30 - 10:40 (10) Uncountably many different involutions of the three sphere Mr. W. R. Alford, Tulane University (589-4) * For papers with more than one author, an asterisk follows the name of the author wh plans to present the paper at the meeting. 66 10:45 - 10:55 (11) Factorization of compact 3- and 4-manifolds. Preliminary report Dr. C. H. Edwards, Jr., University of Wisconsin (589-26) 11:00-11:10 (12) Conditions for tameness of a 2-sphere which is locally tame modulo a tame set Mr. Norman Hosay, University of Wisconsin (589-43) (Introduced by Professor R. H. Bing) 11:15 - 11:25 (13) Joins of topological spaces Professor K. W. Kwun*, Seoul National University and University of Wisconsin and Professor Frank Raymond, University of Wisconsin (589-37) 11:30 - 11:40 (14) On the most general plane closed point set through which it is possible to pass a pseudo-arc Mr.
Recommended publications
  • Thomas Ströhlein's Endgame Tables: a 50Th Anniversary

    Thomas Ströhlein's Endgame Tables: a 50Th Anniversary

    Thomas Ströhlein's Endgame Tables: a 50th Anniversary Article Supplemental Material The Festschrift on the 40th Anniversary of the Munich Faculty of Informatics Haworth, G. (2020) Thomas Ströhlein's Endgame Tables: a 50th Anniversary. ICGA Journal, 42 (2-3). pp. 165-170. ISSN 1389-6911 doi: https://doi.org/10.3233/ICG-200151 Available at http://centaur.reading.ac.uk/90000/ It is advisable to refer to the publisher’s version if you intend to cite from the work. See Guidance on citing . Published version at: https://content.iospress.com/articles/icga-journal/icg200151 To link to this article DOI: http://dx.doi.org/10.3233/ICG-200151 Publisher: The International Computer Games Association All outputs in CentAUR are protected by Intellectual Property Rights law, including copyright law. Copyright and IPR is retained by the creators or other copyright holders. Terms and conditions for use of this material are defined in the End User Agreement . www.reading.ac.uk/centaur CentAUR Central Archive at the University of Reading Reading’s research outputs online 40 Jahre Informatik in Munchen:¨ 1967 – 2007 Festschrift Herausgegeben von Friedrich L. Bauer unter Mitwirkung von Helmut Angstl, Uwe Baumgarten, Rudolf Bayer, Hedwig Berghofer, Arndt Bode, Wilfried Brauer, Stephan Braun, Manfred Broy, Roland Bulirsch, Hans-Joachim Bungartz, Herbert Ehler, Jurgen¨ Eickel, Ursula Eschbach, Anton Gerold, Rupert Gnatz, Ulrich Guntzer,¨ Hellmuth Haag, Winfried Hahn (†), Heinz-Gerd Hegering, Ursula Hill-Samelson, Peter Hubwieser, Eike Jessen, Fred Kroger,¨ Hans Kuß, Klaus Lagally, Hans Langmaack, Heinrich Mayer, Ernst Mayr, Gerhard Muller,¨ Heinrich Noth,¨ Manfred Paul, Ulrich Peters, Hartmut Petzold, Walter Proebster, Bernd Radig, Angelika Reiser, Werner Rub,¨ Gerd Sapper, Gunther Schmidt, Fred B.
  • The Advent of Recursion & Logic in Computer Science

    The Advent of Recursion & Logic in Computer Science

    The Advent of Recursion & Logic in Computer Science MSc Thesis (Afstudeerscriptie) written by Karel Van Oudheusden –alias Edgar G. Daylight (born October 21st, 1977 in Antwerpen, Belgium) under the supervision of Dr Gerard Alberts, and submitted to the Board of Examiners in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: November 17, 2009 Dr Gerard Alberts Prof Dr Krzysztof Apt Prof Dr Dick de Jongh Prof Dr Benedikt Löwe Dr Elizabeth de Mol Dr Leen Torenvliet 1 “We are reaching the stage of development where each new gener- ation of participants is unaware both of their overall technological ancestry and the history of the development of their speciality, and have no past to build upon.” J.A.N. Lee in 1996 [73, p.54] “To many of our colleagues, history is only the study of an irrele- vant past, with no redeeming modern value –a subject without useful scholarship.” J.A.N. Lee [73, p.55] “[E]ven when we can't know the answers, it is important to see the questions. They too form part of our understanding. If you cannot answer them now, you can alert future historians to them.” M.S. Mahoney [76, p.832] “Only do what only you can do.” E.W. Dijkstra [103, p.9] 2 Abstract The history of computer science can be viewed from a number of disciplinary perspectives, ranging from electrical engineering to linguistics. As stressed by the historian Michael Mahoney, different `communities of computing' had their own views towards what could be accomplished with a programmable comput- ing machine.
  • Early Life: 1924–1945

    Early Life: 1924–1945

    An interview with FRITZ BAUER Conducted by Ulf Hashagen on 21 and 26 July, 2004, at the Technische Universität München. Interview conducted by the Society for Industrial and Applied Mathematics, as part of grant # DE-FG02-01ER25547 awarded by the US Department of Energy. Transcript and original tapes donated to the Computer History Museum by the Society for Industrial and Applied Mathematics © Computer History Museum Mountain View, California ABSTRACT: Professor Friedrich L. Bauer describes his career in physics, computing, and numerical analysis. Professor Bauer was born in Thaldorf, Germany near Kelheim. After his schooling in Thaldorf and Pfarrkirchen, he received his baccalaureate at the Albertinium, a boarding school in Munich. He then faced the draft into the German Army, serving first in the German labor service. After training in France and a deployment to the Eastern Front in Kursk, he was sent to officer's school. His reserve unit was captured in the Ruhr Valley in 1945 during the American advance. He returned to Pfarrkirchen in September 1945 and in spring of 1946 enrolled in mathematics and physics at the Ludwig-Maximilians-Universitäat, München. He studied mathematics with Oscar Perron and Heinrich Tietze and physics with Arnold Sommerfeld and Paul August Mann. He was offered a full assistantship with Fritz Bopp and finished his Ph.D. in 1951 writing on group representations in particle physics. He then joined a group in Munich led by a professor of mathematics Robert Sauer and the electrical engineer Hans Piloty, working with a colleague Klaus Samelson on the design of the PERM, a computer based in part on the Whirlwind concept.
  • A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems

    A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems

    A Static Analysis Framework for Security Properties in Mobile and Cryptographic Systems Benyamin Y. Y. Aziz, M.Sc. School of Computing, Dublin City University A thesis presented in fulfillment of the requirements for the degree of Doctor of Philosophy Supervisor: Dr Geoff Hamilton September 2003 “Start by doing what’s necessary; then do what’s possible; and suddenly you are doing the impossible” St. Francis of Assisi To Yowell, Olivia and Clotilde Declaration I hereby certify that this material, which I now submit for assessment on the programme of study leading to the award of the degree of Doctor of Philosophy (Ph.D.) is entirely my own work and has not been taken from the work of others save and to the extent that such work has been cited and acknowledged within the text of my work. Signed: I.D. No.: Date: Acknowledgements I would like to thank all those people who were true sources of inspiration, knowledge, guidance and help to myself throughout the period of my doctoral research. In particular, I would like to thank my supervisor, Dr. Geoff Hamilton, without whom this work would not have seen the light. I would also like to thank Dr. David Gray, with whom I had many informative conversations, and my colleagues, Thomas Hack and Fr´ed´ericOehl, for their advice and guidance. Finally, I would like to mention that the work of this thesis was partially funded by project IMPROVE (Enterprise Ireland Strategic Grant ST/2000/94). Benyamin Aziz Abstract We introduce a static analysis framework for detecting instances of security breaches in infinite mobile and cryptographic systems specified using the languages of the π-calculus and its cryptographic extension, the spi calculus.
  • Die Gruncllehren Cler Mathematischen Wissenschaften

    Die Gruncllehren Cler Mathematischen Wissenschaften

    Die Gruncllehren cler mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Beriicksichtigung der Anwendungsgebiete Band 135 Herausgegeben von J. L. Doob . E. Heinz· F. Hirzebruch . E. Hopf . H. Hopf W. Maak . S. Mac Lane • W. Magnus. D. Mumford M. M. Postnikov . F. K. Schmidt· D. S. Scott· K. Stein Geschiiftsfiihrende Herausgeber B. Eckmann und B. L. van der Waerden Handbook for Automatic Computation Edited by F. L. Bauer· A. S. Householder· F. W. J. Olver H. Rutishauser . K. Samelson· E. Stiefel Volume I . Part a Heinz Rutishauser Description of ALGOL 60 Springer-Verlag New York Inc. 1967 Prof. Dr. H. Rutishauser Eidgenossische Technische Hochschule Zurich Geschaftsfuhrende Herausgeber: Prof. Dr. B. Eckmann Eidgenossische Tecbnische Hocbscbule Zurich Prof. Dr. B. L. van der Waerden Matbematisches Institut der Universitat ZUrich Aile Rechte, insbesondere das der Obersetzung in fremde Spracben, vorbebalten Ohne ausdriickliche Genehmigung des Verlages ist es auch nicht gestattet, dieses Buch oder Teile daraus auf photomechaniscbem Wege (Photokopie, Mikrokopie) oder auf andere Art zu vervielfaltigen ISBN-13: 978-3-642-86936-5 e-ISBN-13: 978-3-642-86934-1 DOl: 10.1007/978-3-642-86934-1 © by Springer-Verlag Berlin· Heidelberg 1967 Softcover reprint of the hardcover 1st edition 1%7 Library of Congress Catalog Card Number 67-13537 Titel-Nr. 5l1B Preface Automatic computing has undergone drastic changes since the pioneering days of the early Fifties, one of the most obvious being that today the majority of computer programs are no longer written in machine code but in some programming language like FORTRAN or ALGOL. However, as desirable as the time-saving achieved in this way may be, still a high proportion of the preparatory work must be attributed to activities such as error estimates, stability investigations and the like, and for these no programming aid whatsoever can be of help.
  • Lectures on Analytic Geometry Peter Scholze (All Results Joint with Dustin

    Lectures on Analytic Geometry Peter Scholze (All Results Joint with Dustin

    Lectures on Analytic Geometry Peter Scholze (all results joint with Dustin Clausen) Contents Analytic Geometry 5 Preface 5 1. Lecture I: Introduction 6 2. Lecture II: Solid modules 11 3. Lecture III: Condensed R-vector spaces 16 4. Lecture IV: M-complete condensed R-vector spaces 20 Appendix to Lecture IV: Quasiseparated condensed sets 26 + 5. Lecture V: Entropy and a real BdR 28 6. Lecture VI: Statement of main result 33 Appendix to Lecture VI: Recollections on analytic rings 39 7. Lecture VII: Z((T ))>r is a principal ideal domain 42 8. Lecture VIII: Reduction to \Banach spaces" 47 Appendix to Lecture VIII: Completions of normed abelian groups 54 Appendix to Lecture VIII: Derived inverse limits 56 9. Lecture IX: End of proof 57 Appendix to Lecture IX: Some normed homological algebra 65 10. Lecture X: Some computations with liquid modules 69 11. Lecture XI: Towards localization 73 12. Lecture XII: Localizations 79 Appendix to Lecture XII: Topological invariance of analytic ring structures 86 Appendix to Lecture XII: Frobenius 89 Appendix to Lecture XII: Normalizations of analytic animated rings 93 13. Lecture XIII: Analytic spaces 95 14. Lecture XIV: Varia 103 Bibliography 109 3 Analytic Geometry Preface These are lectures notes for a course on analytic geometry taught in the winter term 2019/20 at the University of Bonn. The material presented is part of joint work with Dustin Clausen. The goal of this course is to use the formalism of analytic rings as defined in the course on condensed mathematics to define a category of analytic spaces that contains (for example) adic spaces and complex-analytic spaces, and to adapt the basics of algebraic geometry to this context; in particular, the theory of quasicoherent sheaves.
  • The Education Column

    The Education Column

    The Education Column by Juraj Hromkovicˇ Department of Computer Science ETH Zürich Universitätstrasse 6, 8092 Zürich, Switzerland [email protected] Informatics –New Basic Subject Walter Gander Department of Computer Science ETH Zürich [email protected] Abstract Informatics, as Computer Science is called in Europe, has become a leading science. It is high time that it be adopted as a basic subject in schools like mathematics or physics. We discuss in this article some recent develop- ments in Europe concerning informatics in schools. 1 Computers have been invented for computing! The first computers were calculating machines designed to solve engineering problems faster and with fewer errors. Consider for instance two typical repre- sentatives of computer pioneers: 1. Howard Aiken (1900-1973), a physicist, who encountered a system of dif- ferential equations during his PhD studies in 1939 which could not be solved analytically. He therefore needed to compute a numerical approximation, a tedious work by hand calculations. He envisioned an electro-mechanical computing device that could do much of the tedious work for him. This computer was originally called the ASCC (Automatic Sequence Controlled Calculator) and later renamed Harvard Mark I. With engineering, construction, and funding from IBM, the machine was completed and installed at Harvard in February, 1944.1 2. Konrad Zuse (1910-1995), civil engineer, had to solve linear equations for static calculations. This tedious calculations motivated him to think about constructing a machine to do this work. Unlike Aiken he did not look for a sponsor but installed 1936 a workshop for constructing a computer in the living room of his parents! [8] 1http://en.wikipedia.org/wiki/Howard_H._Aiken His greatest achievement was the world’s first programmable computer; the functional program-controlled Turing-complete Z3 became operational in May 1941.
  • Literaturverzeichnis

    Literaturverzeichnis

    Literaturverzeichnis ABD+99. Dirk Ansorge, Klaus Bergner, Bernhard Deifel, Nicholas Hawlitzky, Christoph Maier, Barbara Paech, Andreas Rausch, Marc Sihling, Veronika Thurner, and Sascha Vogel: Managing componentware development – software reuse and the V-Modell process. In M. Jarke and A. Oberweis (editors): Advanced Information Systems Engineering, 11th International Conference CAiSE’99, Heidelberg, volume 1626 of Lecture Notes in Computer Science, pages 134–148. Springer, 1999, ISBN 3-540-66157-3. Abr05. Jean-Raymond Abrial: The B-Book. Cambridge University Press, 2005. AJ94. Samson Abramsky and Achim Jung: Domain theory. In Samson Abramsky, Dov M. Gabbay, and Thomas Stephen Edward Maibaum (editors): Handbook of Logic in Computer Science, volume 3, pages 1–168. Clarendon Press, 1994. And02. Peter Bruce Andrews: An introduction to mathematical logic and type theory: To Truth Through Proof, volume 27 of Applied Logic Series. Springer, 2nd edition, July 2002, ISBN 978-94-015-9934-4. AVWW95. Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams: Concurrent programming in Erlang. Prentice Hall, 2nd edition, 1995. Bac78. Ralph-Johan Back: On the correctness of refinement steps in program develop- ment. PhD thesis, Åbo Akademi, Department of Computer Science, Helsinki, Finland, 1978. Report A–1978–4. Bas83. Günter Baszenski: Algol 68 Preludes for Arithmetic in Z and Q. Bochum, 2nd edition, September 1983. Bau75. Friedrich Ludwig Bauer: Software engineering. In Friedrich Ludwig Bauer (editor): Advanced Course: Software Engineering, Reprint of the First Edition (February 21 – March 3, 1972), volume 30 of Lecture Notes in Computer Science, pages 522–545. Springer, 1975. Bau82. Rüdeger Baumann: Programmieren mit PASCAL. Chip-Wissen. Vogel-Verlag, Würzburg, 1982.
  • Mathematical Sciences Meetings and Conferences Section

    Mathematical Sciences Meetings and Conferences Section

    page 1349 Calendar of AMS Meetings and Conferences Thla calandar lists all meetings which have been approved prior to Mathematical Society in the issue corresponding to that of the Notices the date this issue of Notices was sent to the press. The summer which contains the program of the meeting, insofar as is possible. and annual meetings are joint meetings of the Mathematical Associ­ Abstracts should be submitted on special forms which are available in ation of America and the American Mathematical Society. The meet­ many departments of mathematics and from the headquarters office ing dates which fall rather far in the future are subject to change; this of the Society. Abstracts of papers to be presented at the meeting is particularly true of meetings to which no numbers have been as­ must be received at the headquarters of the Society in Providence, signed. Programs of the meetings will appear in the issues indicated Rhode Island, on or before the deadline given below for the meet­ below. First and supplementary announcements of the meetings will ing. Note that the deadline for abstracts for consideration for pre­ have appeared in earlier issues. sentation at special sessions is usually three weeks earlier than that Abatracta of papara presented at a meeting of the Society are pub­ specified below. For additional information, consult the meeting an­ lished in the journal Abstracts of papers presented to the American nouncements and the list of organizers of special sessions. Meetings Abstract Program Meeting# Date Place Deadline Issue
  • The Political Ascendance of the English Language in Computer Programming

    The Political Ascendance of the English Language in Computer Programming

    Talking to Machines: The Political Ascendance of the English Language in Computer Programming by Ejilayomi Mimiko B.A. (History), Simon Fraser University, 2018 Extended Essay Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Arts in the School of Communication (Dual Degree Program in Global Communication) Faculty of Communication, Art and Technology © Ejilayomi Mimiko 2019 SIMON FRASER UNIVERSITY Summer 2019 Copyright in this Work rests With the author. Please ensure that any reproduction or re-use is done in accordance With the relevant national copyright legislation. Approval Name: Ejilayomi Mimiko Degree: Master of Arts Title: Talking to Machines: The Political Ascendance of the English Language in Computer Programming Supervisory Committee: Program Director Katherine Reilly, Professor Yuezhi Zhao Senior Supervisor Professor Katherine Reilly Program Director Associate Professor Date Approved: 29th August, 2019. ii Abstract This essay explores possible reasons Why English has become the "default" natural language from Which programming commands are borroWed. Programming languages like C, C++, Java and Python use English keywords exclusively. The essay explores the social factors that underlie this phenomenon and how traditional poWer hierarchies are perpetuated. The essay is a critical response to the emancipatory rhetoric that ushered in the creation and popularization of the digital computer. It uses the story of ALGOL project to illustrate how technical goals are shaped by social factors Which inevitably reify inequality into technological artefacts. ALGOL, an attempt to create a standardized machine independent universal programming language, While answering a significant amount of technical questions, did not bridge the natural language gap. By Way of historical exploration, I argue this result is an expression of American globalization of the computing industry.
  • A Bibliography of Publications of Friedrich Ludwig Bauer

    A Bibliography of Publications of Friedrich Ludwig Bauer

    A Bibliography of Publications of Friedrich Ludwig Bauer Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 30 January 2021 Version 1.02 Abstract This bibliography records publications of Friedrich Ludwig Bauer (10 June 1924–26 March 2015). Title word cross-reference 2p−1 ≡ 3 π $24.50 [G.70]. 3; ( p−1 ) 1 (mod p ) [Bau88]. e [Bau07c, Bau07c]. g [Bau60b]. π [Bau05a]. π(x) [Bau03d]. πe [Bau07c]. QR [RB68]. -algorithm [Bau60b]. 1 [Bau05c, Bau06d]. 105 [BS62c]. 10th [BS81]. 11 [BGHS79]. 11/27/1978 [BGHS79]. 135 [Sch69]. 153 [Bau63a]. 17-Eck [BH08]. 17-gon [BH08]. 1905 [Bau05c, Bau06d]. 1945 [Bau08b]. 1960 [AGG60]. 1964 [Ghi10]. 1971 [Dij71]. 1972 [BW72a]. 1973 [Bau75a]. 1978 [BGHS79]. 1980 [GB81]. 1988 [Bau89b]. 1989 [Bau91a]. 1990 [Bau90c]. 1991 [BBS93]. 1999 [BS00]. 1 2 2001 [Bau01a]. 2007 [Bau07e]. 20th [BS00]. 22.8.1970 [GB71]. 25.5.1980 [GB81]. 28/29 [BD01]. 292 [Chu51]. 3 [Bau95a, Leh87]. 3-211-82527-4 [Bau95a]. 3-540-13814-5 [Leh87]. 300th [Bau07c, Bau07g]. 310447Theoretische [Bau95a]. 314 [Cul72b].ˇ 367 [Cul72a].ˇ 4 [Bau95a]. 4/21/1909 [BGHS79]. 5 [Leh87]. 50 [Gep66]. 60 [BBG+60, BBG+63c, BBG+63a, BBG+76, Bau61a, BHO+67, Cul72b,ˇ Cul72a,ˇ Gep66, GHL67, NBB+60, NBB+62, NBB+63, NBB+65, NBB+97]. 68 [vWMPK69b, vWMPK69a]. 80 [Ano04, Bod04, Hei68, Kad76].
  • The History of the ALGOL Effort

    The History of the ALGOL Effort

    Technische Universiteit Eindhoven Department of Mathematics and Computer Science The History of the ALGOL Effort by HT de Beer supervisors: C. Hemerik L.M.M. Royakkers Eindhoven, August 2006 Abstract This report studies the importancy of the ALGOL effort for computer science. Therefore the history of the ALGOL effort is told, starting with the compu- tational context of the 1950s when the ALGOL effort was initiated. Second, the development from IAL to ALGOL 60 and the role the BNF played in this development are discussed. Third, the translation of ALGOL 60 and the establishment of the scientific field of translator writing are treated. Finally, the period of ALGOL 60 maintenance and the subsequent period of creating a successor to ALGOL 60 are described. ii Preface This history on the ALGOL effort was written as a Master thesis in Com- puter Science and Engineering (Technische Informatica) at the Eindhoven University of Technology, the Netherlands. iii Contents Abstract ii Preface iii Contents iv 0 Introduction 1 0.0 On the sources used ........................ 2 0.1 My own perspective ........................ 3 0.2 The ALGOL effort: a definition .................. 4 0.3 Notes ................................ 4 1 Creation 5 1.0 The start of the ALGOL effort ................... 5 1.1 The need for a universal algorithmic language ........... 7 1.1.0 The American field of computing ............. 7 1.1.1 The European field of computing ............. 9 1.1.2 The difference between Europe and the USA and the need for universalism ...................... 11 1.2 Why was IAL chosen over other algorithmic languages? ..... 11 1.2.0 IT ............................