ICHM Co-Sponsored Conference On
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Preface Volume 23, Issue 3
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Electronic Notes in Theoretical Computer Science www.elsevier.com/locate/entcs Preface Volume 23, Issue 3 Alessandro Armando and Tudor Jebelean Abstract AbstractThis volume contains the Proceedings of Calculemus 99, a satellite workshop of CADE 16: “Computer Aided Deduction”, itself a part of FLoC 99: “Federated Logic Conference”. The workshop addressed the problem of combining the reasoning capabilities of Deduction Systems and the computational power of Computer Algebra Systems. This topic is of particular interest since both Deduction Systems and Computer Algebra Systems are receiving growing at- tention from industry and academia. On the one hand, Mathematical Software Systems have been commercially very successful: their use is now wide-spread in industry, education, and in scientific contexts. On the other hand, the use of formal methods in hardware and software development makes Deduction Systems indispensable not least because of the complexity and sheer size of the reasoning tasks involved. In spite of these successes there is still need for improvement as many application domains still fall outside the scope of existing Deduction Systems and Computer Al- gebra Systems. The emphasis of the workshop was on whether existing systems and technologies can be integrated as they stand or if a fundamental redesign is necessary. The proceedings contain contributions from some of the most important scientific groups in- volved in research and applications of automatic deduction and symbolic computation. The 11 papers selected by the programme committee and the two invited talks address various aspects related to the combination of deduction systems and computer algebra systems, including case studies and results from applications. -
Emil Artin in America
MATHEMATICAL PERSPECTIVES BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 50, Number 2, April 2013, Pages 321–330 S 0273-0979(2012)01398-8 Article electronically published on December 18, 2012 CREATING A LIFE: EMIL ARTIN IN AMERICA DELLA DUMBAUGH AND JOACHIM SCHWERMER 1. Introduction In January 1933, Adolf Hitler and the Nazi party assumed control of Germany. On 7 April of that year the Nazis created the notion of “non-Aryan descent”.1 “It was only a question of time”, Richard Brauer would later describe it, “until [Emil] Artin, with his feeling for individual freedom, his sense of justice, his abhorrence of physical violence would leave Germany” [5, p. 28]. By the time Hitler issued the edict on 26 January 1937, which removed any employee married to a Jew from their position as of 1 July 1937,2 Artin had already begun to make plans to leave Germany. Artin had married his former student, Natalie Jasny, in 1929, and, since she had at least one Jewish grandparent, the Nazis classified her as Jewish. On 1 October 1937, Artin and his family arrived in America [19, p. 80]. The surprising combination of a Roman Catholic university and a celebrated American mathematician known for his gnarly personality played a critical role in Artin’s emigration to America. Solomon Lefschetz had just served as AMS president from 1935–1936 when Artin came to his attention: “A few days ago I returned from a meeting of the American Mathematical Society where as President, I was particularly well placed to know what was going on”, Lefschetz wrote to the president of Notre Dame on 12 January 1937, exactly two weeks prior to the announcement of the Hitler edict that would influence Artin directly. -
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. -
Writing the History of Dynamical Systems and Chaos
Historia Mathematica 29 (2002), 273–339 doi:10.1006/hmat.2002.2351 Writing the History of Dynamical Systems and Chaos: View metadata, citation and similar papersLongue at core.ac.uk Dur´ee and Revolution, Disciplines and Cultures1 brought to you by CORE provided by Elsevier - Publisher Connector David Aubin Max-Planck Institut fur¨ Wissenschaftsgeschichte, Berlin, Germany E-mail: [email protected] and Amy Dahan Dalmedico Centre national de la recherche scientifique and Centre Alexandre-Koyre,´ Paris, France E-mail: [email protected] Between the late 1960s and the beginning of the 1980s, the wide recognition that simple dynamical laws could give rise to complex behaviors was sometimes hailed as a true scientific revolution impacting several disciplines, for which a striking label was coined—“chaos.” Mathematicians quickly pointed out that the purported revolution was relying on the abstract theory of dynamical systems founded in the late 19th century by Henri Poincar´e who had already reached a similar conclusion. In this paper, we flesh out the historiographical tensions arising from these confrontations: longue-duree´ history and revolution; abstract mathematics and the use of mathematical techniques in various other domains. After reviewing the historiography of dynamical systems theory from Poincar´e to the 1960s, we highlight the pioneering work of a few individuals (Steve Smale, Edward Lorenz, David Ruelle). We then go on to discuss the nature of the chaos phenomenon, which, we argue, was a conceptual reconfiguration as -
Job Description and Person Specificationselection Criteria
MATHEMATICAL INSTITUTE ANDREW WILES BUILDING Job Description and Selection Criteria Postdoctoral Research Assistant in history and impact of Job title mathematics and theory of computing Division Mathematical, Physical and Life Sciences Department Mathematical Institute Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Location Road, Oxford, OX2 6GG. Grade and salary Grade 7: salary £32,236 - £39,609 Hours Full time Contract type 2 years Fixed-term Reporting to Dr Christopher Hollings and Professor Ursula Martin Vacancy reference 142099 This is a full-time position that cannot be held concurrently with any other substantive post without the explicit permission of the Head of Department. This position is subject to a 9 month probationary period. Additional information This position is funded by EPSRC. (PLEASE NOTE: Applicants are responsible for contacting their referees and making sure that their letters are received by the closing date) The Role We invite applications for a Postdoctoral Research Assistant position to work with Dr Christopher Hollings and Professor Ursula Martin of the Mathematical Institute, University of Oxford, on an exciting new project to understand and model the long-term development and impact of mathematics or computing research. The postholder will be based in the History of Mathematics group in Oxford, led by Dr Christopher Hollings, who will be the immediate supervisor for this project. It is part of a multi- disciplinary EPSRC Fellowship, held by Professor Ursula Martin, Professor in the School of Informatics, University of Edinburgh, and Visiting Professor in the Oxford Mathematical Institute. The fellowship investigates the broader cultural context for the creation and impact of mathematical research, through this project in Oxford, and complementary projects in Edinburgh, on the deployment of new proof techniques in mathematics and computer science, and the evaluation of research impacts. -
Mathematicians Fleeing from Nazi Germany
Mathematicians Fleeing from Nazi Germany Mathematicians Fleeing from Nazi Germany Individual Fates and Global Impact Reinhard Siegmund-Schultze princeton university press princeton and oxford Copyright 2009 © by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW All Rights Reserved Library of Congress Cataloging-in-Publication Data Siegmund-Schultze, R. (Reinhard) Mathematicians fleeing from Nazi Germany: individual fates and global impact / Reinhard Siegmund-Schultze. p. cm. Includes bibliographical references and index. ISBN 978-0-691-12593-0 (cloth) — ISBN 978-0-691-14041-4 (pbk.) 1. Mathematicians—Germany—History—20th century. 2. Mathematicians— United States—History—20th century. 3. Mathematicians—Germany—Biography. 4. Mathematicians—United States—Biography. 5. World War, 1939–1945— Refuges—Germany. 6. Germany—Emigration and immigration—History—1933–1945. 7. Germans—United States—History—20th century. 8. Immigrants—United States—History—20th century. 9. Mathematics—Germany—History—20th century. 10. Mathematics—United States—History—20th century. I. Title. QA27.G4S53 2008 510.09'04—dc22 2008048855 British Library Cataloging-in-Publication Data is available This book has been composed in Sabon Printed on acid-free paper. ∞ press.princeton.edu Printed in the United States of America 10 987654321 Contents List of Figures and Tables xiii Preface xvii Chapter 1 The Terms “German-Speaking Mathematician,” “Forced,” and“Voluntary Emigration” 1 Chapter 2 The Notion of “Mathematician” Plus Quantitative Figures on Persecution 13 Chapter 3 Early Emigration 30 3.1. The Push-Factor 32 3.2. The Pull-Factor 36 3.D. -
Academic Genealogy of the Oakland University Department Of
Basilios Bessarion Mystras 1436 Guarino da Verona Johannes Argyropoulos 1408 Università di Padova 1444 Academic Genealogy of the Oakland University Vittorino da Feltre Marsilio Ficino Cristoforo Landino Università di Padova 1416 Università di Firenze 1462 Theodoros Gazes Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo Angelo Poliziano Florens Florentius Radwyn Radewyns Geert Gerardus Magnus Groote Università di Mantova 1433 Università di Mantova Università di Firenze 1477 Constantinople 1433 DepartmentThe Mathematics Genealogy Project of is a serviceMathematics of North Dakota State University and and the American Statistics Mathematical Society. Demetrios Chalcocondyles http://www.mathgenealogy.org/ Heinrich von Langenstein Gaetano da Thiene Sigismondo Polcastro Leo Outers Moses Perez Scipione Fortiguerra Rudolf Agricola Thomas von Kempen à Kempis Jacob ben Jehiel Loans Accademia Romana 1452 Université de Paris 1363, 1375 Université Catholique de Louvain 1485 Università di Firenze 1493 Università degli Studi di Ferrara 1478 Mystras 1452 Jan Standonck Johann (Johannes Kapnion) Reuchlin Johannes von Gmunden Nicoletto Vernia Pietro Roccabonella Pelope Maarten (Martinus Dorpius) van Dorp Jean Tagault François Dubois Janus Lascaris Girolamo (Hieronymus Aleander) Aleandro Matthaeus Adrianus Alexander Hegius Johannes Stöffler Collège Sainte-Barbe 1474 Universität Basel 1477 Universität Wien 1406 Università di Padova Università di Padova Université Catholique de Louvain 1504, 1515 Université de Paris 1516 Università di Padova 1472 Università -
The Future of Computing – a Vision
The Future of Computing—Visions and Reflections Ann Light e-Horizons Project of the Oxford Internet Institute and Oxford e-Research Centre Forum organisers: Ann Blandford University College London Marina Jirotka University of Oxford Ursula Martin Queen Mary University of London William H. Dutton Oxford Internet Institute (OII) OII / e-Horizons Forum Discussion Paper No. 11 Oxford Internet Institute University of Oxford 1 St Giles Oxford OX12 3JS United Kingdom August 2007 This paper is a summary of an e-Horizons forum ‘The Future of Computing: A Vision’ of the Oxford Internet Institute, Oxford e-Research Centre, Queen Mary University of London, and University College London, held at Newnham College, Cambridge, on 29-30 March 2007. The organizers thank the speakers and participants for their contributions to the engaging conversation captured in the following pages. They are particularly grateful to the James Martin 21st Century School at the University of Oxford and Women@CL for their support of this event. Dedication “Computing is too important to be left to men” Karen Spärck Jones, FBA Emeritus Professor of Computers and Information Honorary Fellow of Wolfson College 26 August 1935 - 4 April 2007 Karen was to give a talk at the forum but felt too unwell to attend. It was with great sorrow that, days later, we learnt of her death. She will be greatly missed. Obituary by Yorick Wilks: http://nlp.shef.ac.uk/KSJ.doc Ann Light ‘The Future of Computing: A Vision’ was a senior women’s forum, organised by The e- Horizons Institute (University of Oxford) and Women@CL. -
Prizes and Awards Session
PRIZES AND AWARDS SESSION Wednesday, July 12, 2021 9:00 AM EDT 2021 SIAM Annual Meeting July 19 – 23, 2021 Held in Virtual Format 1 Table of Contents AWM-SIAM Sonia Kovalevsky Lecture ................................................................................................... 3 George B. Dantzig Prize ............................................................................................................................. 5 George Pólya Prize for Mathematical Exposition .................................................................................... 7 George Pólya Prize in Applied Combinatorics ......................................................................................... 8 I.E. Block Community Lecture .................................................................................................................. 9 John von Neumann Prize ......................................................................................................................... 11 Lagrange Prize in Continuous Optimization .......................................................................................... 13 Ralph E. Kleinman Prize .......................................................................................................................... 15 SIAM Prize for Distinguished Service to the Profession ....................................................................... 17 SIAM Student Paper Prizes .................................................................................................................... -
Mathematical Genealogy of the Wellesley College Department Of
Nilos Kabasilas Mathematical Genealogy of the Wellesley College Department of Mathematics Elissaeus Judaeus Demetrios Kydones The Mathematics Genealogy Project is a service of North Dakota State University and the American Mathematical Society. http://www.genealogy.math.ndsu.nodak.edu/ Georgios Plethon Gemistos Manuel Chrysoloras 1380, 1393 Basilios Bessarion 1436 Mystras Johannes Argyropoulos Guarino da Verona 1444 Università di Padova 1408 Cristoforo Landino Marsilio Ficino Vittorino da Feltre 1462 Università di Firenze 1416 Università di Padova Angelo Poliziano Theodoros Gazes Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo 1477 Università di Firenze 1433 Constantinople / Università di Mantova Università di Mantova Leo Outers Moses Perez Scipione Fortiguerra Demetrios Chalcocondyles Jacob ben Jehiel Loans Thomas à Kempis Rudolf Agricola Alessandro Sermoneta Gaetano da Thiene Heinrich von Langenstein 1485 Université Catholique de Louvain 1493 Università di Firenze 1452 Mystras / Accademia Romana 1478 Università degli Studi di Ferrara 1363, 1375 Université de Paris Maarten (Martinus Dorpius) van Dorp Girolamo (Hieronymus Aleander) Aleandro François Dubois Jean Tagault Janus Lascaris Matthaeus Adrianus Pelope Johann (Johannes Kapnion) Reuchlin Jan Standonck Alexander Hegius Pietro Roccabonella Nicoletto Vernia Johannes von Gmunden 1504, 1515 Université Catholique de Louvain 1499, 1508 Università di Padova 1516 Université de Paris 1472 Università di Padova 1477, 1481 Universität Basel / Université de Poitiers 1474, 1490 Collège Sainte-Barbe -
RM Calendar 2017
Rudi Mathematici x3 – 6’135x2 + 12’545’291 x – 8’550’637’845 = 0 www.rudimathematici.com 1 S (1803) Guglielmo Libri Carucci dalla Sommaja RM132 (1878) Agner Krarup Erlang Rudi Mathematici (1894) Satyendranath Bose RM168 (1912) Boris Gnedenko 1 2 M (1822) Rudolf Julius Emmanuel Clausius (1905) Lev Genrichovich Shnirelman (1938) Anatoly Samoilenko 3 T (1917) Yuri Alexeievich Mitropolsky January 4 W (1643) Isaac Newton RM071 5 T (1723) Nicole-Reine Etable de Labrière Lepaute (1838) Marie Ennemond Camille Jordan Putnam 2002, A1 (1871) Federigo Enriques RM084 Let k be a fixed positive integer. The n-th derivative of (1871) Gino Fano k k n+1 1/( x −1) has the form P n(x)/(x −1) where P n(x) is a 6 F (1807) Jozeph Mitza Petzval polynomial. Find P n(1). (1841) Rudolf Sturm 7 S (1871) Felix Edouard Justin Emile Borel A college football coach walked into the locker room (1907) Raymond Edward Alan Christopher Paley before a big game, looked at his star quarterback, and 8 S (1888) Richard Courant RM156 said, “You’re academically ineligible because you failed (1924) Paul Moritz Cohn your math mid-term. But we really need you today. I (1942) Stephen William Hawking talked to your math professor, and he said that if you 2 9 M (1864) Vladimir Adreievich Steklov can answer just one question correctly, then you can (1915) Mollie Orshansky play today. So, pay attention. I really need you to 10 T (1875) Issai Schur concentrate on the question I’m about to ask you.” (1905) Ruth Moufang “Okay, coach,” the player agreed. -
Council Congratulates Exxon Education Foundation
from.qxp 4/27/98 3:17 PM Page 1315 From the AMS ics. The Exxon Education Foundation funds programs in mathematics education, elementary and secondary school improvement, undergraduate general education, and un- dergraduate developmental education. —Timothy Goggins, AMS Development Officer AMS Task Force Receives Two Grants The AMS recently received two new grants in support of its Task Force on Excellence in Mathematical Scholarship. The Task Force is carrying out a program of focus groups, site visits, and information gathering aimed at developing (left to right) Edward Ahnert, president of the Exxon ways for mathematical sciences departments in doctoral Education Foundation, AMS President Cathleen institutions to work more effectively. With an initial grant Morawetz, and Robert Witte, senior program officer for of $50,000 from the Exxon Education Foundation, the Task Exxon. Force began its work by organizing a number of focus groups. The AMS has now received a second grant of Council Congratulates Exxon $50,000 from the Exxon Education Foundation, as well as a grant of $165,000 from the National Science Foundation. Education Foundation For further information about the work of the Task Force, see “Building Excellence in Doctoral Mathematics De- At the Summer Mathfest in Burlington in August, the AMS partments”, Notices, November/December 1995, pages Council passed a resolution congratulating the Exxon Ed- 1170–1171. ucation Foundation on its fortieth anniversary. AMS Pres- ident Cathleen Morawetz presented the resolution during —Timothy Goggins, AMS Development Officer the awards banquet to Edward Ahnert, president of the Exxon Education Foundation, and to Robert Witte, senior program officer with Exxon.