DOCSLIB.ORG

Grigori Mints Papers SC1225

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Grigori Mints Papers SC1225 http://oac.cdlib.org/findaid/ark:/13030/c8h1356d No online items Guide to the Grigori Mints Papers SC1225 Daniel Hartwig & Jenny Johnson Department of Special Collections and University Archives December 2014 Green Library 557 Escondido Mall Stanford 94305-6064 [email protected] URL: http://library.stanford.edu/spc Guide to the Grigori Mints Papers SC1225 1 SC1225 Language of Material: Undetermined Contributing Institution: Department of Special Collections and University Archives Title: Grigori Mints papers creator: Mints, Grigori Identifier/Call Number: SC1225 Physical Description: 57.25 Linear Feet(44 boxes) Date (inclusive): 1954-2014 Information about Access The materials are open for research use. Audio-visual materials are not available in original format, and must be reformatted to a digital use copy. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94305-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/spc/using-collections/permission-publish. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Cite As [identification of item], Grigori Mints Papers (SC1225). Dept. of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif. Immediate Source of Acquisition Gift of Marianna Rozenfeld, 2014 & Evelyn McMillan, 2015. Subjects and Indexing Terms Philosophy. Philosophy -- Study and teaching. Research -- Philosophy. Logic, Symbolic and Mathematical. Mathematics -- Philosophy. Logicians -- United States -- Biography. Mints, Grigori Email (print-outs) 1990-2014 box 1 1990-1994 box 2 1995-1998 box 3 1998-2000 box 4 2000-2012 box 5 1994-2001 box 5 Foundations of Mathematics (FOM) digest 2002-2011 box 42 Friedman, Harvey; Foundations of Mathematics (FOM) digest 2003-2010 Conferences Russian box 26 Conference proceedings 1976-2001 box 28, folder 1 2012 English Guide to the Grigori Mints Papers SC1225 2 SC1225 Conferences English box 27, folder 1 Conference Materials from St. Petersberg 2014 box 27, folder 2 Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009 box 27, folder 3 Miscellaneous Documents undated box 27, folder 4 Association for Symbolic Logic 1997-2011 box 27, folder 5 Joint Mathematics Meetings 2012 Jan. 4-7 box 27, folder 6 Collegium Logicum - Cut-Elimination 2005 Jul. 4-6 box 27, folder 7 Mathematics - XXI Century - PDMI 70th Anniversary 2010 Sep. 13-18 box 27, folder 8 MFCS & CSL 2010 box 27, folder 9 Lecture Notes in Logic 1974, 1990, 1996 box 27, folder 10 The Rolf Schock Prizes 1997 box 27, folder 11 Universality of Science 1995-1996 box 27, folder 12 Methods of Logic in Mathematics III 2006 Jun. 1-7 box 27, folder 13 European Foundation for Logic, Language and Information 1992 Aug. box 27, folder 14 BRICS Proof Theory and Complexity 1998 Aug. 3-7 box 27, folder 15 First International Wormshop 2012 Apr. 16-19 box 27, folder 16 Mathematische Logik 1998 Jan. 18-24 box 27, folder 17 Proof Theory: Workshop on Logic, Foundational Research, and Mathematics 2003 Oct. 9-11 box 27, folder 18 Model Computation - Principles, Algorithms, Applications 6/16/2000 box 27, folder 19 1st North American Summer School in Logic, Language, and Information 2002 Jun. 24-30 box 27, folder 20 WoLLIC 2005 Proceedings 2005 Jul. 19-22 box 27, folder 21 ILCLI 1993-2003 box 27, folder 22 Takeuti Symposium 2003 Dec. 17-19 box 27, folder 23 Natural Deduction 2001 box 27, folder 24 WoLLIC 2006 box 27, folder 25 Conferences 2006 box 27, folder 26 Logic in the Netherlands 1998 Feb. box 27, folder 27 Banff International Research Station 2007 Feb. 18-23 box 27, folder 28 Shell Oil Symposium Series 11/5/1995 box 27, folder 29 9th International Conogress of Logic, Methodology, and Philosophy of Science 1991 Aug. 7-14 box 27, folder 30 10th International Conogress of Logic, Methodology, and Philosophy of Science 1995 Aug. 19-25 box 27, folder 31 Nato ASI Report 1993 Aug. 13-24 box 27, folder 32 Godel's Excursions Into Intuitionistic Logic 1983 Jul. 10-12 box 27, folder 33 Summer School and Conference on Mathematical Logic 1988 Sep. 13-23 box 27, folder 34 Logic Colloquium 2004 Jul. 25-31 box 27, folder 35 Logic Colloquium 1990 Jul. 15-22 box 27, folder 36 Computer Science Logic 1992 Jul. 13-17 box 27, folder 37 Proof Theory and Algorithms Workshops 2003 Mar. 23-28 box 27, folder 38 DAYS Shanin 1999 box 27, folder 39 Markov 2003 box 27, folder 40 CSR 2006 box 27, folder 41 Mathematische Logik 1995 Apr. 2-8 box 27, folder 42 HPLMC-02 2002 Nov. 7-9 box 27, folder 43 Nasslli 2003 Jun. 17-21 box 27, folder 44 Classical Logic and Computation 2010 box 27, folder 45 Symbolic Logic and Computer Science 1995 Sep. 17-20 box 28 Logic colloquium, Berlin 1989 box 28 Colloquium on Modal Logic 1991 box 24, folder 9 1992 box 24, folder 10 1992-1994 box 24, folder 2 1994 box 24, folder 7 1994-1995 box 24, folder 6 1994-1999 box 28 Logic colloquium 1995 Aug 9-17 box 24, folder 3 1995 Guide to the Grigori Mints Papers SC1225 3 SC1225 Conferences English box 24, folder 4 1996 box 28 International Conference TABLEAUX'97-Analytic Tableaux and Related Methods 1997-03 box 24, folder 8 1997 box 24, folder 5 1997-1998 box 28 Logic in Action: An NWO Spinoza Award Project 1997-1998 box 24, folder 1 1998 box 28 17th International Conference on Automated Deduction, Carnegie Mellon University 2000 Jun 17-20 box 28 Constructivism in Non-Classical Logics and Computer Science 2000 Sep 30-Oct 2 box 28 LCCS'2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science, Universite Paris, France 2001 Sep 3-5 box 28 Logic-Based Program Synthesis: State of the Art and Future Trends, 2002 AAAI Spring Symposium 2002 box 28 Conference in Honor of the 60th Birthday of Friedman, Harvey M. 2009 May 14-17 box 28 Leeds Symposium on Proof Theory and Constructivism 2009 Jul 3-16 box 28 Algebra and Coalgebra meet Proof Theory 2013 Department files box 30, folder 1 CAST 1995 box 30, folder 2 Funding 1994-2008 box 30, folder 3 Feferman, Solomon symposium 2004 box 30, folder 4 DTL 2004 box 30, folder 5 Drafts 1992-2009 box 30, folder 6 Dept 2008 box 30, folder 7 Dept 2005-2006 box 30, folder 8 2005 box 30, folder 9 Computer Science Department 2006 Publications box 22-23 Index cards (English and Russian) Scope and Contents note Arranged alphabetically publications index. box 25, folder 1 GM published articles in Russian undated box 25, folder 2 A Normal Form Theorem For Second-Order Classical Logic with an Axiom of Choice (2 copies) 1989 box 25, folder 3 A normal form for logical derivations implying one for arithmetic derivations (2 copies) 1993 box 25, folder 4 A New Reduction Sequence for Arithmetic undated box 25, folder 5 A New Reduction Sequence for Arithmetic 1982 box 25, folder 6 Development and present state of epsilon substitution method undated box 25, folder 7 Beklemisher's construction of Eo Stanford talk undated box 25, folder 8 Abstract for Banff 2007 box 25, folder 9 Model elimination and cut elimination undated box 25, folder 10 Abstract for Contibuted Talk 2004 box 25, folder 11 BSL 3, N3 Winter Meeting of the Association for Symbolic Logic 1997 box 25, folder 12 Bull. ASL V1.N3 Winter Meeting of the Association for Symbolic Logic 1995 box 25, folder 13 A Completeness Proof for Propositional S4 in Cantor Space (2 copies) 2001 box 25, folder 14 ADC Method of Proof Search for Intuitonistic Prepositional Natural Deduction 2012 box 25, folder 15 Admissible and Derived Rules undated box 25, folder 16 An Approach to an e-Substitution Method dor ID1 2001 box 25, folder 17 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 18 A proof of topological completeness for S4 in (0,1) (2 copies) 2004 box 25, folder 19 A simple proof of second-order strong normalization with permutative conversions (2 copies) 2005 box 25, folder 20 A simple proof of the coherence theorem fro Cartesian closed categories undated box 25, folder 21 A termination proof for epsilon substitution using partial derivations (3 copies) 2003 Guide to the Grigori Mints Papers SC1225 4 SC1225 Publications box 25, folder 22 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 23 Axiomatization of a Skolem Function in Intuitionistic Logic (3 copies) 2000 box 25, folder 24 Classical and Intuitionistic Geometric Logic (3 copies) 2012 box 25, folder 25 Logical Investigations (2 copies) 2000 box 25, folder 26 Closed Categories and the Theory of Proofs undated box 25, folder 27 Closed Categories and the Theory of Proofs (office copy) 1992 box 25, folder 28 Completeness of Indexed e-Calculus (2 copies) 2003 box 25, folder 29 Complexity of Subclasses of the Intuitionistic Propositional Calculus (2 copies) 1990 box 25, folder 30 Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof 1991 box 25, folder 31 Corrigenda and Addenda to the Article "On Predicate and Operator Variants of the Formation of the Theories of Constructive Mathematics" 1967 box 25, folder 32 Cut-elimination and Normal Forms of Sequent Derivations 1994 box 25, folder 33 Cut elimination for a simple formulation of epsilon calculus (2 copies) 2007 box 25, folder 34 Cut Elimination for S4C: A Case Study 2006 box 25, folder 35 Abstracts of the AMS 1985 box 25, folder 36 Cut-Elimination for Simple Type Theory with an Axiom of Choice (3 copies) 1999 box 25, folder 37 Cute-Free Calculi of the S5 Type (3 copies) undated box 25, folder 38 Cut-Free Formulations for a quantified logic of here and there 2010 box 25, folder 39 Decidability of the Class 3 by Maslov's Inverse Method 1971 box 25, folder 40 Decidability of the Class 3 by Maslov's Inverse Method 2010 box 25, folder 41 Disjunctive interpretation of the LJ-Calculus e.u.
Load more

Recommended publications
  • Public Recognition and Media Coverage of Mathematical Achievements
    Journal of Humanistic Mathematics Volume 9 | Issue 2 July 2019 Public Recognition and Media Coverage of Mathematical Achievements Juan Matías Sepulcre University of Alicante Follow this and additional works at: https://scholarship.claremont.edu/jhm Part of the Arts and Humanities Commons, and the Mathematics Commons Recommended Citation Sepulcre, J. "Public Recognition and Media Coverage of Mathematical Achievements," Journal of Humanistic Mathematics, Volume 9 Issue 2 (July 2019), pages 93-129. DOI: 10.5642/ jhummath.201902.08 . Available at: https://scholarship.claremont.edu/jhm/vol9/iss2/8 ©2019 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The editorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Public Recognition and Media Coverage of Mathematical Achievements Juan Matías Sepulcre Department of Mathematics, University of Alicante, Alicante, SPAIN [email protected] Synopsis This report aims to convince readers that there are clear indications that society is increasingly taking a greater interest in science and particularly in mathemat- ics, and thus society in general has come to recognise, through different awards, privileges, and distinctions, the work of many mathematicians.
    [Show full text]
  • Hadiah Nobel & Kreativiti Sains
    BAB 9 HADIAH NOBEL & KREATIVITI SAINS PENGENALAN Hadiah adalah salah satu kaedah yang boleh digunakan untuk mengiktiraf pencapaian seseorang. Hadiah adalah ganjaran yang diterima dalam pelbagai bentuk seperti wang tunai, aset tetap seperti rumah, tanah dan sebagainya. Konsep hadiah amat luas untk dibicarakan ia boleh mencakupi hal yang berkaitan dengan perkahwinan, pertandingan, perniagaan, peperiksaan dan sebagainya. Lazimnya, orang awam akan mengaitkan hadiah dengan suatu bentuk pertandingan. Pertandingan bertujuan mencari pemenang dalam sesuatu pertandingan yang diadakan. Hadiah adalah suatu bentuk ganjaran yang diberikan oleh pihak yang mengiktiraf pencapaian seseorang dalam sesuatu bidang seperti dalam bidang seni, muzik, pendidikan, penyelidikan, sukan, sains, teknologi dan sebaganya. Hadiah dianugerahkan kepada individu setelah individu itu berjaya melakukan sesuatu yang luarbiasa dan hebat. Hadiah adalah salah suatu tanda kecemerlangan yang dicapai oleh seseorang individu dalam hidupnya. Hadiah merupakan suatu ganjaran dan pengiktirafan terhadap hasil kerja yang bermutu tinggi yang telah dilakukan oleh seseorang. Hadiah akan diberikan sama ada semasa individu itu masih hidup atau pun telah meninggal dunia. Namun begitu, adalah lebih bermakna sekiranya hadiah dan ganjaran diberikan kepada individu ketika individu berkenaan masih hidup. Dengan ini, individu tersebut akan berasa idea, pemikiran dan usahanya diiktiraf oleh pihak lain. Sebelum seseorang itu diberikan hadiah sebagai pengiktirafan terhadap pencapainnya, terlebih dahulu akan ada pihak yang akan menilai hasil kerja yang telah dilakukannya. Bentuk dan metodologi penilaian yang dijalankan bergantung kepada jenis pertandingan yang diadakan. Semakin tinggi hadiah semakin rigid metodologi penilaian yang dibuat. Malah semakin ‘established’ reputasi sesuatu pertandingan itu, semakin ketat corak penilaian yang dijalankan. Selain itu, persaingan antara peserta sangat tinggi hinggakan sukar untuk pane penilai menentukan pemenangnya.
    [Show full text]
  • Wlodek Rabinowicz Derek Parfit's Contributions to Philosophy
    Wlodek Rabinowicz Derek Parfit's contributions to Philosophy Article (Accepted version) (Refereed) Original citation: Rabinowicz, Wlodek (2016) Derek Parfit's contributions to Philosophy. Theoria, 82 (2). pp. 104-109. ISSN 0040-5825 DOI: 10.1111/theo.12088 © 2016 Stiftelsen Theoria This version available at: http://eprints.lse.ac.uk/66819/ Available in LSE Research Online: June 2016 LSE has developed LSE Research Online so that users may access research output of the School. Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Users may download and/or print one copy of any article(s) in LSE Research Online to facilitate their private study or for non-commercial research. You may not engage in further distribution of the material or use it for any profit-making activities or any commercial gain. You may freely distribute the URL (http://eprints.lse.ac.uk) of the LSE Research Online website. This document is the author’s final accepted version of the journal article. There may be differences between this version and the published version. You are advised to consult the publisher’s version if you wish to cite from it. Derek Parfit’s Contributions to Philosophy Wlodek Rabinowicz In 2014, The Royal Swedish Academy of Sciences awarded Derek Parfit the Rolf Schock Prize in Logic and Philosophy. In its motivation, the Academy stressed Parfit’s ground-breaking contributions to theory of personal identity, population ethics and analysis of the structure of moral theories. The list of philosophers and logicians who have received the Rolf Schock Prize is as yet relatively short.
    [Show full text]
  • Appendix a Curriculum Vitæ
    Appendix A Curriculum Vitæ All my life I have been in education: as a student, as a teacher, as a researcher. An account of my life may therefore naturally be divided into periods corresponding to the institutions of learning where I have been active and the people I met there. Early Years (1936–54) I was born in 1936 in Skövde, a small city in the southern part of Sweden. Between the ages of six and ten I lived in Stensele, a village of a few hundred inhabitants in the North on the Ume river. My parents were both apothecaries—my mother no less than my father—and in order to obtain a royal privilege to operate an apotek (roughly, a big pharmacy) my parents had decided to try a part of the country where no member of our family had ever been before. My first school was of a type long since abandoned: in each class-room there were two classes each covering one of two consecutive years and both taught at the same time by one and the same teacher. Thus one teacher had years 1 and 2, another had years 3 and 4, and yet another had years 5 and 6. It was not a big school: three teachers and altogether certainly fewer than one hundred children, including a substantial number of children from even more isolated villages. (The teacher for the years 3 and 4, Margareta Ljunglöf, was the aunt of Lars Svenonius who, much later, was to teach me recursion theory in Uppsala (before ending up at the University of Maryland).) In 1946 I was sent down the Ume river some 200km to Umeå, the city on the Baltic where that magnificent river ends.
    [Show full text]
  • Appendices Due to Concerns Over the Quality of the Data Collected
    APPENDIX A WSU 2014-19 STRATEGIC PLAN Appendix A: WSU Strategic Plan 2014-15 Strategic Plan 2014-2019 President Elson S. Floyd, Ph.D. Strategic Plan 2014-2019 Introduction The 2014-19 strategic plan builds on the previous five-year plan, recognizing the core values and broad mission of Washington State University. Goals and strategies were developed to achieve significant progress toward WSU’s aspiration of becoming one of the nation’s leading land-grant universities, preeminent in research and discovery, teaching, and engagement. The plan emphasizes the institution’s unique role as an accessible, approachable research institution that provides opportunities to an especially broad array of students while serving Washington state’s broad portfolio of social and economic needs. While providing exceptional leadership in traditional land-grant disciplines, Washington State University adds value as an integrative partner for problem solving due to its innovative focus on applications and its breadth of program excellence. The plan explicitly recognizes the dramatic changes in public funding that have occurred over the duration of the previous strategic plan, along with the need for greater institutional nimbleness, openness, and entrepreneurial activity that diversifies the University’s funding portfolio. In addition, the plan reaffirms WSU’s land-grant mission by focusing greater attention system-wide on increasing access to educational opportunity, responding to the needs of Washington state through research, instruction, and outreach, and contributing to economic development and public policy. While the new plan retains the four key themes of the previous plan, its two central foci include offering a truly transformative educational experience to undergraduate and graduate students and accelerating the development of a preeminent research portfolio.
    [Show full text]
  • Mathematics People
    NEWS Mathematics People Tardos Named Goldfarb and Nocedal Kovalevsky Lecturer Awarded 2017 von Neumann Éva Tardos of Cornell University Theory Prize has been chosen as the 2018 AWM- SIAM Sonia Kovalevsky Lecturer by Donald Goldfarb of Columbia the Association for Women in Math- University and Jorge Nocedal of ematics (AWM) and the Society for Northwestern University have been Industrial and Applied Mathematics awarded the 2017 John von Neu- (SIAM). She was honored for her “dis- mann Theory Prize by the Institute tinguished scientific contributions for Operations Research and the to the efficient methods for com- Management Sciences (INFORMS). binatorial optimization problems According to the prize citation, “The Éva Tardos on graphs and networks, and her award recognizes the seminal con- work on issues at the interface of tributions that Donald Goldfarb computing and economics.” According to the prize cita- Jorge Nocedal and Jorge Nocedal have made to the tion, she is considered “one of the leaders in defining theory and applications of nonlinear the area of algorithmic game theory, in which algorithms optimization over the past several decades. These contri- are designed in the presence of self-interested agents butions cover a full range of topics, going from modeling, governed by incentives and economic constraints.” With to mathematical analysis, to breakthroughs in scientific Tim Roughgarden, she was awarded the 2012 Gödel Prize computing. Their work on the variable metric methods of the Association for Computing Machinery (ACM) for a paper “that shaped the field of algorithmic game theory.” (BFGS and L-BFGS, respectively) has been extremely in- She received her PhD in 1984 from Eötvös Loránd Univer- fluential.” sity.
    [Show full text]
  • Mathematics People
    Mathematics People theoretical physics and mathematics. The medalists also Szemerédi Awarded Schock receive a prize of US$5,000. An international committee Prize of distinguished scientists selects the winners from a list of nominated candidates. The Dirac Medal is not awarded Endre Szemerédi of Rutgers University and the Alfréd to Nobel laureates, Fields Medalists, or Wolf Foundation Rényi Institute of Mathematics, Hungarian Academy of Prize winners. Sciences, has been awarded the Rolf Schock Prize in Math- ematics by the Royal Swedish Academy of Sciences, the —From an ICTP announcement Royal Academy of Fine Arts, and the Royal Academy of Music. The prize carries a cash award of 500,000 Swedish kroner (approximately US$80,000). Rice Receives 2008 Jerome Szemerédi was honored “for his deep and pioneering work from 1975 on arithmetic progressions in subsets of Sacks Award the integers, which has led to great progress and discover- ies in several branches of mathematics.” John Rice of the University of California Berkeley has The Rolf Schock Prizes are awarded triennially in the been named the 2008 recipient of the Jerome Sacks Award fields of logic and philosophy, mathematics, the visual for Cross-Disciplinary Research by the National Institute arts, and musical arts. The prize amount is 500,000 kro- of Statistical Sciences (NISS). He was recognized “for his ner per category. The awards ceremony will take place on outstanding, diverse cross-disciplinary contributions to October 22, 2008, in Stockholm. ion channel receptors, energy demand, transportation, astronomy, and functional data analysis.” —From a Royal Swedish Academy of Sciences The NISS Board of Trustees established the Jerome announcement Sacks Award for Cross-Disciplinary Research in 2000 to honor Sacks’s service as the founding director of NISS, a capacity in which he served from 1991 to 2000.
    [Show full text]
  • Public Recognition and Media Coverage of Mathematical Achievements Juan Matías Sepulcre University of Alicante
    Journal of Humanistic Mathematics Volume 9 | Issue 2 July 2019 Public Recognition and Media Coverage of Mathematical Achievements Juan Matías Sepulcre University of Alicante Follow this and additional works at: https://scholarship.claremont.edu/jhm Part of the Arts and Humanities Commons, and the Mathematics Commons Recommended Citation Sepulcre, J. "Public Recognition and Media Coverage of Mathematical Achievements," Journal of Humanistic Mathematics, Volume 9 Issue 2 (July 2019), pages 93-129. DOI: 10.5642/jhummath.201902.08 . Available at: https://scholarship.claremont.edu/jhm/vol9/ iss2/8 ©2019 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The de itorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Public Recognition and Media Coverage of Mathematical Achievements Juan Matías Sepulcre Department of Mathematics, University of Alicante, Alicante, SPAIN [email protected] Synopsis This report aims to convince readers that there are clear indications that society is increasingly taking a greater interest in science and particularly in mathemat- ics, and thus society in general has come to recognise, through different awards, privileges, and distinctions, the work of many mathematicians.
    [Show full text]
  • Math Department Newsletter, 2017 University of Dayton
    University of Dayton eCommons Department of Mathematics Newsletters Department of Mathematics 8-2017 Math Department Newsletter, 2017 University of Dayton. Department of Mathematics Follow this and additional works at: https://ecommons.udayton.edu/mth_newsletter Part of the Applied Mathematics Commons, and the Mathematics Commons Recommended Citation University of Dayton. Department of Mathematics, "Math Department Newsletter, 2017" (2017). Department of Mathematics Newsletters. 21. https://ecommons.udayton.edu/mth_newsletter/21 This Article is brought to you for free and open access by the Department of Mathematics at eCommons. It has been accepted for inclusion in Department of Mathematics Newsletters by an authorized administrator of eCommons. For more information, please contact [email protected], [email protected]. DEPARTMENT OF MATHEMATICS NEWSLETTER August 2017 Table of Contents CHAIRPERSON’S MESSAGE • Chairperson’s message page 1 • Thanks for your generosity page 3 Dear alums, colleagues, students and friends, o Mathematics Scholarships page 4 • Awards to faculty and alums page 5 I have now completed my first year as chair • MathEvents at UD page 7 of the Mathematics Department. I want to • Faculty Updates page 9 thank Joe Mashburn for helping me find my • Faculty Activities page 10 footing and always answering the many, o Individual Reports page 10 many questions I have had. I thank my o Capstone Requirement page 15 colleagues for their good will, their input and o Skills Tests page 16 o New Courses page 16 their indulgence. And I could not function o Colloquium page 17 without Vicki Withrow, our administrative o Problem of the Fortnight page 17 assistant, whose institutional knowledge, • Activities of Undergraduate Students page 18 patience and all-around great attitude keeps o Math Club, Pi Mu Epsilon page 18 the place running.
    [Show full text]
  • Derek Parfit – Logic and Philosophy Derek Parfit
    Rolf Schock Prizes 2014 Photo: Gerard Vong Derek Parfit – Logic and Philosophy Derek Parfit “for his ground-breaking contributions concerning personal identity, regard for future generations and analysis of the structure of moral theories” What is morally right, what is wrong? How do we act responsibly in relation to future generations? Can rational thinking provide answers to these and other moral matters? With the publication of his ground-breaking work Reasons and Persons in the mid-1980s, Derek Parfit set the direction for the mainstream of moral theory. The book’s impact was momentous, not only by virtue of the ideas put forward, but also by its style, characterized by numerous examples appealing to the reader’s intuitions about moral matters. To begin with, Parfit shows how the prescriptions issued by moral theories may defeat the objectives these theories put forward. Common-sense morality, for instance, requires a particular consideration for our nearest and dearest; however, if practised by everyone, it may well lead to an outcome that will be suboptimal for everyone concerned. The same goes for self-interest theory which prescribes exclusive attention to our self-interest, but as this theory does not purport to be a moral code – a code for the collective – it has to be criticized in another way. Parfit argues that self-interest theory is inconsistent; it privileges the self but not the present. It gives the same weight to preferences one holds at different times – in the present and in the future. The temporal aspect is also important in relation to personal identity, because, as Parfit argues, there is no underlying “I” that survives time passage.
    [Show full text]
  • Working Group on Research Cooperation. Final Report
    Article in: ALLEA Biennial Yearbook 2006. New Perspectives in Academia (pp.203-218). Amsterdam: ALLEA Working Group on Research Cooperation Final Report ∗ Jüri Engelbrecht Introduction The visions and missions of Academies associated in ALLEA have many similarities and numerous common fundamental objectives and goals. Some of them are here ordered and presented in a limited format following the WG area on research cooperation. The set of objectives of Academies united under the umbrella of ALLEA is briefly the following1 - Advancing the frontier research in all the scientific and scholarly disciplines; - Enhancing critical scientific thinking in a society, i.e. approaching the knowledge-based society; - Promoting of independence and freedom of science, by removing barriers and building bridges. All the Academies have the same objectives in their respective coun- tries. ALLEA as an independent and multiscience / multi-scholarship institution works as a whole for policy for science and can give “au- thoritative opinions, judgements, evaluations, advices on the promotion of science and science policy”.2 The ALLEA WG on research cooperation carried out the compara- tive study on similarities and differences in the best practices of coop- eration and exchange between the Academies. Information provided by the Academies about their international activities at their web sites and through other media proves that the need to support co-operation (incl. cross-border mobility) is never an issue. The careful selection of the ∗ President of ALLEA and Chair of the Working Group on Research Cooperation. 1 Compiled by: J Engelbrecht, A Pöitel (Estonian Academy of Sciences) Complemented by: J Ekmanis (Latvian Academy of Sciences), A Kralj (Slovenian Academy of Sciences and Arts), M Saarnisto (Finnish Academy of Science and Letters).
    [Show full text]
  • Award Governing Society
    Award Governing Society Award Name Academy of American Poets Academy Fellowship Academy of American Poets Harold Morton Landon Translation Award Academy of American Poets James Laughlin Award Academy of American Poets Lenore Marshall Poetry Prize Academy of American Poets Raiziss/de Palchi Translation Awards Academy of American Poets Wallace Stevens Award Academy of American Poets Walt Whitman Award Alfred P. Sloan Foundation Sloan Research Fellowship-Chemistry Alfred P. Sloan Foundation Sloan Research Fellowship-Computer Science Alfred P. Sloan Foundation Sloan Research Fellowship-Economics Alfred P. Sloan Foundation Sloan Research Fellowship-Mathematics Alfred P. Sloan Foundation Sloan Research Fellowship-Molecular Biology Alfred P. Sloan Foundation Sloan Research Fellowship-Neuroscience Alfred P. Sloan Foundation Sloan Research Fellowship-Physics Alfred P. Sloan Foundation Sloan Research Fellowship-Ocean Sciences American Academy In Rome Rome Prize American Academy In Rome Residency American Academy of Actuaries Jarvis Farley Service Award American Academy of Actuaries Robert J Myers Public Service Award American Academy of Arts and Sciences Fellow American Academy of Arts and Sciences Foreign Honorary Members American Academy of Arts and Sciences The Hellman Fellowship in Science and Technology American Academy of Arts and Sciences Award for Humanistic Studies American Academy of Arts and Sciences Emerson-Thoreau Medal American Academy of Arts and Sciences Founders Award American Academy of Arts and Sciences Talcott Parsons Prize American
    [Show full text]