DOCSLIB.ORG

(Founded by Louis Bamberqer and Mrs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

THE INSTITUTE FOR .4DVANCED STUDY (Founded by Louis Bamberqer and Mrs. Felix Fuld) BULLETIN NO. 5 THE INSTITUTE FOR ADVANCED STUDY 20 Nassau Street Princeton, New Jersey February, 1936 TABLE OF CONTENTS PAGE Extract from the letter addressed by Trustees .................................. iv the Founders to their Trustees, dated Newark, New Jersey, June 6, 2930 Oficers of the Board of Trustees "It is fundamental in our purpose, and our express desire, and Standing Committees .................. vi that in the appointments to the staff and faculty, as well as ... in the admission of workers and students, no account shall be Staff of the Institute ........................ VIII taken, directly or indirectly, of race, religion, or sex. We feel strongly that the spirit characteristic of America at its noblest, Calendar, 1936-1937 ....................... ix above all, the pursuit of higher learning, cannot admit of any conditions as to )personnel other than those designed to Members, 1935-1936 ........................ x promote the objects for which this institution is established, and particularly with no regard whatever to accidents of I History and Organization 1 race, creed, or sex." ................... I1 Purpose .................................. 5 111 School of Mathematics ...................... 7 IV School of Economics and Politics .............. lo V School of Humanistic Studies ................ 1 I VI Applications and Fees ....................... 1 z LIFE TRUSTEES LOUISBAMBERGER '940 South Orange, New Jersey ABRAHAMFLEXNER MRS.FELIX FULD Princeton, New Jersey South Orange, New Jersey PERCYS. STRAUS New York, New York TRUSTEES Terms Expire 1936 ALEXISCARREL New York, New York JULIUS~R~EDENWALD Baltimore, Maryland LEWISH. WEED Baltimore, Maryland '937 JOHNR. HARDIN Newark, New Jersey SAMUELD. LEIDESDORF New York, New York WALTERW. STEWART New York, New York '938 EDGARS. BAMBEROER West Orange, New Jersey ALANSONB. HOUGHTON Washington, District of Columbia HERBERTH. MAASS New York, New York 1939 FRAKKAYDELOTTE Swarthmore, Pennsylvania FLORENCER. SABIN New York, New York OSWALDVEBLEN Princeton, New Jersey OFFICERS OF THE BOARD OF TRUSTEES FINANCE COMMITTEE Chairman: ALAN~ONB. HOUGHTON MR. HARDIN,Chairman Vice-Chairman: HERBERTH. Muss MR. EDGARS. BAMBERGER Vice-Chairman: WALTERW. STEWART MR. LOUISBAMBERGER Treasurer: SAMUELD. LEIDESDORF MR. LEIDESDORF Assistant Treasurer: IRAA. SCHUR MR. MAASS Secretary: FRANKAYDELOTTE Assistant Secretary: ESTHERS. BAILEY COMMITTEE ON BUILDINGS AND GROUNDS STANDING COMMITTEES OF THE MR. MAASS,Chairman BOARD OF TRUSTEES MR. AYDELOTTE MR. LOUIS BAMBERGER,MRS. FULD, the Chairman, and MR. LOUISBAMBERGER Vice-Chairmen are members of all committees. MR. VEBLEN THEDIRECTOR OF THE INSTITUTE EXECUTIVE COMMITTEE MR. WEED,Chairman COMMITTEE ON NOMINATIONS MR. AYDELOTTE MR. LEIDESDORF,Chairman MR. LEIDESDORF MR. AYDELOTTE MISS SABIN MR. STEWART THEDIRECTOR OF THE INSTITUTE STAFF OF THE INSTITUTE Direcfor: AEMHAMFLEXNER Professors JAMES WADDELLALEXANDER ALBERTEINSTEIN CALENDAR MARSTONMORSE OSWALDVEBLEN JOHN VON NEUMANN October I : First term opens HERMANNWEYL December 14: First term closes l'isiting Professor (1935-1936) January 14: Second term opens WOLFGANGPAULI May 1 : Second term closes Associate WALTHERMAYER Assistants LEONARDM. BLUMENTHAL JAMESW. GIVENS.JR. ROBERTS. MARTIN ARTHURE. PITCHER ABRAHAMH. TAUE LEOZIPPIN SCHOOLOF ECONOMICSAND POLITICS Professors *EDWARDMEAD EARLE DAVIDMITRANY WINFIELDW. RIEFLER Professors ERNSTHERZFELD E. A. LOWE BENJAMIN D. MERITT ERWINPANOFSKY LAWRENCEM. GRAVES,Ph.D., University of Chicago, 1924 Associate Professor, University of Chicago *WILLIAMJ. HENDERSON,Ph.D., University of Cambridge, MEMBERS, 1935-1936 1935 REINHOLDBAER, Ph.D., University of Giittingen, 1925 +JOSEPH O.HIRSCHFELDER,P~.D.,Princeton University, 1936 *AcHlLLE BASSI,Dr. Math., University of Pisa, 1929 BANESHHOFFMANN, Ph.D., Princeton University, 1932 Libero docente, University of Turin SPOFFORDH. KIMBALL,Ph.D., Harvard University, 1932 PAULI. BERNAYS,Ph.D., University of Giittingen, 1912 WIN~STONE. KOCK,Ph.D., University of Berlin, 19% "*WILLARDE. BLEICK,Ph.D., Johns Hopkins University, 1933 NORMANLEVINSON, D.Sc., Massachusetts Institute of Tech- LOUISP. BOUCKAERT,Dr. Math. and Phys., Louvain Uni- nology, 1935 versity, 1934 National Research Council Fellow C.R.B. Educational Foundation Fellow WILLIAMT. MARTIN,Ph.D., University of Illinois, 1934 GREGORYBREIT, Ph.D., Johns Hopkins University, 1921 National Research Council Fellow Professor, University of Wisconsin FRANCISJ. MURRAY,Ph.D., Columbia University, 1935 LEONARDCARLITZ, Ph.D., University of Pennsylvania, 1930 National Research Council Fellow Assistant Professor, Duke University SUMNERB. MYERS,Ph.D., Harvard University, 1932 JOHNF. CARLSON,Ph.D., University of California, 1932 National Research Council Fellow EDUARDCECH, Ph.D., Charles University, Prague, 1920 DANIELPEDOE, B.A., Magdalene College, Cambridge, 1933 Professor, Masaryk University, Brno Cambridge University Fellow EDWARDW. CHITTENDEN,Ph.D.,Uuiversity of Chicago, 1912 MAURICEH. L. PRYCE,B.A., Trinity College, Cambridge, Professor, University of Iowa '933 JAMESA. CLARKSON,Ph.D., Brown University, 1934 Commonwealth Fund Fellow National Research Council Fellow WILLIAMC. RANDELS,Ph.D., Brown University, 19% ALFREDH. CLIFFORD,Ph.D., California Institute of Tech- **LOUISN. RIDENOUR,JR., B.S., University of Chicago, 1932 nology, 1933 MORRIS E. ROSE,Ph.D., University of Michigan, 1935 GEORGECOMENETZ, Ph.D., Columbia University, 1934 NATHANROSEN, Sc.D., Massachusetts Institute of Technol- EDWARDH. CUTLER,Ph.D., Harvard University, 1930 ogy, 1932 Instructor, Lehigh University OTTOF. G. SCHILLING,Ph.D., University of Marburg, 1934 **ARNOLDDRESDEN, Ph.D., University of Chicago, 1909 ROMANSMOLUCHOWSKI, Dr. Math. and Phys., University Professor, Swarthmore College of Groningen, 1935 PHILIP FRANKLIN,Ph.D., Princeton University, 1921 RICHARDF. S. STARR,B.S., Cornell University, 1924 Associate Professor, Massachusetts Institute of Tech- MARTINH. STOBBE,Ph.D., University of Giittingen, 1930 nology ERICD. TAGG,B.A., Clare College, Cambridge, 1933 BENNINGTONP. GILL, Ph.D., Columbia University, 1930 Commonwealth Fund Fellow Associate Professor, College of the City of New York *STANISLAWM. ULAM,Dr. Sci., Polytechnic Institute, Lwbw, **KURT GODEL,Ph.D., University of Vienna, 1930 1933 Venia legendi, University of Vienna GASTONVAN DER LIJN, Dr. Sci. Fhys. and Math., university of Brussels, 1931 ' Absent first term Abarnt rccond arm C.R.B. Educational Foundation Fellow *KURTWEITZMANN, Dr. Phil., University of Berlin, 1929 *DONALDN. WILBER,M.F.A. in Architecture, Princeton Uni- versity, 1933 LEE R. WILCOX,Ph.D., University of Chicago, 1935 SHAUNWYLIE, B.A., University of Oxford, 1934 Commonwealth Fund Fellow HISTORY AND ORGANIZATION AMERICANuniversities now offer abundant facili- ties for study in the liberal arts and sciences leading to the Ph.D. degree. Some universities have made ex- cellent arrangements also for work beyond the Ph.D. degree, especially in recent years since the organiza- tion of advanced fellowships such as the fellowships offered by the National Research Council, the Rocke- feller Foundation, and the Commonwealth Fund. But, with the exception of medicine and a few other branches, the country has not hitherto possessed an institution whose sole purpose it is to provide young men and women of unusual gifts and promise with opportunities to continue their independent training beyond the Ph.D. degree without pressure of num- bers or routine. To provide such opportunities Mr. Louis Bamberger and his sister, Mrs. Felix Fuld, established in 1930 the Institute for Advanced Study with an initial gift of $~,OOO,OOO. In April, 1934, an anonymous gift of $I ,ooo,ooo was made to facilitate the organization of a school of economics and poli- tics, and in 1935 a school of humanistic studies was added. In order that the ideals of the Founders might be realized, the organization and administration of the Institute have been kept simple and unostentatious, and the several schools are in their internal conduct as nearly autonomous as possible, though movement from school to school takes place spontaneously. 2 THE INSTITUTE FOR ADVANCED STUDY THE INSTITUTE FOR ADVANCED STUDY 3 The internal affairs of the several schools are principle of full-time work, and this is equally ap- managed by their respective faculties. Co6pera- plicable to those who come as members for a year or tion with the corresponding authorities of Princeton more and to those who have continuing appoint- University and with the director has proved to be ments. easy and informal. The Board of Trustees is com- The Institute for Advanced Study is located at posed of laymen, scholars, and scientists. It is hoped Princeton, New Jersey. Work began in the field of that in this way perfect accord may be established mathematics on October 2, 1933. The authorities of between the administrative officers and the scholars Princeton University have been most helpful and co- who really constitute an institution of learning. The operative. They offered the Institute space in the new scale of salaries and retiring allowances is such that mathematics building, Fine Hall, opened in 1931. the teaching staff is freed from all financial concern The School of Humanistic Studies and the School of and feels under the strongest obligation to refrain Economics and Politics have been comfortably ac- from activities that bring a financial return without commodated in
Recommended publications
  • Publications of Members, 1930-1954

    Publications of Members, 1930-1954

    THE INSTITUTE FOR ADVANCED STUDY PUBLICATIONS OF MEMBERS 1930 • 1954 PRINCETON, NEW JERSEY . 1955 COPYRIGHT 1955, BY THE INSTITUTE FOR ADVANCED STUDY MANUFACTURED IN THE UNITED STATES OF AMERICA BY PRINCETON UNIVERSITY PRESS, PRINCETON, N.J. CONTENTS FOREWORD 3 BIBLIOGRAPHY 9 DIRECTORY OF INSTITUTE MEMBERS, 1930-1954 205 MEMBERS WITH APPOINTMENTS OF LONG TERM 265 TRUSTEES 269 buH FOREWORD FOREWORD Publication of this bibliography marks the 25th Anniversary of the foundation of the Institute for Advanced Study. The certificate of incorporation of the Institute was signed on the 20th day of May, 1930. The first academic appointments, naming Albert Einstein and Oswald Veblen as Professors at the Institute, were approved two and one- half years later, in initiation of academic work. The Institute for Advanced Study is devoted to the encouragement, support and patronage of learning—of science, in the old, broad, undifferentiated sense of the word. The Institute partakes of the character both of a university and of a research institute j but it also differs in significant ways from both. It is unlike a university, for instance, in its small size—its academic membership at any one time numbers only a little over a hundred. It is unlike a university in that it has no formal curriculum, no scheduled courses of instruction, no commitment that all branches of learning be rep- resented in its faculty and members. It is unlike a research institute in that its purposes are broader, that it supports many separate fields of study, that, with one exception, it maintains no laboratories; and above all in that it welcomes temporary members, whose intellectual development and growth are one of its principal purposes.
  • Oswald Veblen

    Oswald Veblen

    NATIONAL ACADEMY OF SCIENCES O S W A L D V E B LEN 1880—1960 A Biographical Memoir by S A U N D E R S M A C L ANE Any opinions expressed in this memoir are those of the author(s) and do not necessarily reflect the views of the National Academy of Sciences. Biographical Memoir COPYRIGHT 1964 NATIONAL ACADEMY OF SCIENCES WASHINGTON D.C. OSWALD VEBLEN June 24,1880—August 10, i960 BY SAUNDERS MAC LANE SWALD VEBLEN, geometer and mathematical statesman, spanned O in his career the full range of twentieth-century Mathematics in the United States; his leadership in transmitting ideas and in de- veloping young men has had a substantial effect on the present mathematical scene. At the turn of the century he studied at Chi- cago, at the period when that University was first starting the doc- toral training of young Mathematicians in this country. He then continued at Princeton University, where his own work and that of his students played a leading role in the development of an outstand- ing department of Mathematics in Fine Hall. Later, when the In- stitute for Advanced Study was founded, Veblen became one of its first professors, and had a vital part in the development of this In- stitute as a world center for mathematical research. Veblen's background was Norwegian. His grandfather, Thomas Anderson Veblen, (1818-1906) came from Odegaard, Homan Con- gregation, Vester Slidre Parish, Valdris. After work as a cabinet- maker and as a Norwegian soldier, he was anxious to come to the United States.
  • January 2013 Prizes and Awards

    January 2013 Prizes and Awards

    January 2013 Prizes and Awards 4:25 P.M., Thursday, January 10, 2013 PROGRAM SUMMARY OF AWARDS OPENING REMARKS FOR AMS Eric Friedlander, President LEVI L. CONANT PRIZE: JOHN BAEZ, JOHN HUERTA American Mathematical Society E. H. MOORE RESEARCH ARTICLE PRIZE: MICHAEL LARSEN, RICHARD PINK DEBORAH AND FRANKLIN TEPPER HAIMO AWARDS FOR DISTINGUISHED COLLEGE OR UNIVERSITY DAVID P. ROBBINS PRIZE: ALEXANDER RAZBOROV TEACHING OF MATHEMATICS RUTH LYTTLE SATTER PRIZE IN MATHEMATICS: MARYAM MIRZAKHANI Mathematical Association of America LEROY P. STEELE PRIZE FOR LIFETIME ACHIEVEMENT: YAKOV SINAI EULER BOOK PRIZE LEROY P. STEELE PRIZE FOR MATHEMATICAL EXPOSITION: JOHN GUCKENHEIMER, PHILIP HOLMES Mathematical Association of America LEROY P. STEELE PRIZE FOR SEMINAL CONTRIBUTION TO RESEARCH: SAHARON SHELAH LEVI L. CONANT PRIZE OSWALD VEBLEN PRIZE IN GEOMETRY: IAN AGOL, DANIEL WISE American Mathematical Society DAVID P. ROBBINS PRIZE FOR AMS-SIAM American Mathematical Society NORBERT WIENER PRIZE IN APPLIED MATHEMATICS: ANDREW J. MAJDA OSWALD VEBLEN PRIZE IN GEOMETRY FOR AMS-MAA-SIAM American Mathematical Society FRANK AND BRENNIE MORGAN PRIZE FOR OUTSTANDING RESEARCH IN MATHEMATICS BY ALICE T. SCHAFER PRIZE FOR EXCELLENCE IN MATHEMATICS BY AN UNDERGRADUATE WOMAN AN UNDERGRADUATE STUDENT: FAN WEI Association for Women in Mathematics FOR AWM LOUISE HAY AWARD FOR CONTRIBUTIONS TO MATHEMATICS EDUCATION LOUISE HAY AWARD FOR CONTRIBUTIONS TO MATHEMATICS EDUCATION: AMY COHEN Association for Women in Mathematics M. GWENETH HUMPHREYS AWARD FOR MENTORSHIP OF UNDERGRADUATE
  • The Development of Mathematical Logic from Russell to Tarski: 1900–1935

    The Development of Mathematical Logic from Russell to Tarski: 1900–1935

    The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu Richard Zach Calixto Badesa The Development of Mathematical Logic from Russell to Tarski: 1900–1935 Paolo Mancosu (University of California, Berkeley) Richard Zach (University of Calgary) Calixto Badesa (Universitat de Barcelona) Final Draft—May 2004 To appear in: Leila Haaparanta, ed., The Development of Modern Logic. New York and Oxford: Oxford University Press, 2004 Contents Contents i Introduction 1 1 Itinerary I: Metatheoretical Properties of Axiomatic Systems 3 1.1 Introduction . 3 1.2 Peano’s school on the logical structure of theories . 4 1.3 Hilbert on axiomatization . 8 1.4 Completeness and categoricity in the work of Veblen and Huntington . 10 1.5 Truth in a structure . 12 2 Itinerary II: Bertrand Russell’s Mathematical Logic 15 2.1 From the Paris congress to the Principles of Mathematics 1900–1903 . 15 2.2 Russell and Poincar´e on predicativity . 19 2.3 On Denoting . 21 2.4 Russell’s ramified type theory . 22 2.5 The logic of Principia ......................... 25 2.6 Further developments . 26 3 Itinerary III: Zermelo’s Axiomatization of Set Theory and Re- lated Foundational Issues 29 3.1 The debate on the axiom of choice . 29 3.2 Zermelo’s axiomatization of set theory . 32 3.3 The discussion on the notion of “definit” . 35 3.4 Metatheoretical studies of Zermelo’s axiomatization . 38 4 Itinerary IV: The Theory of Relatives and Lowenheim’s¨ Theorem 41 4.1 Theory of relatives and model theory . 41 4.2 The logic of relatives .
  • Equivalents to the Axiom of Choice and Their Uses A

    Equivalents to the Axiom of Choice and Their Uses A

    EQUIVALENTS TO THE AXIOM OF CHOICE AND THEIR USES A Thesis Presented to The Faculty of the Department of Mathematics California State University, Los Angeles In Partial Fulfillment of the Requirements for the Degree Master of Science in Mathematics By James Szufu Yang c 2015 James Szufu Yang ALL RIGHTS RESERVED ii The thesis of James Szufu Yang is approved. Mike Krebs, Ph.D. Kristin Webster, Ph.D. Michael Hoffman, Ph.D., Committee Chair Grant Fraser, Ph.D., Department Chair California State University, Los Angeles June 2015 iii ABSTRACT Equivalents to the Axiom of Choice and Their Uses By James Szufu Yang In set theory, the Axiom of Choice (AC) was formulated in 1904 by Ernst Zermelo. It is an addition to the older Zermelo-Fraenkel (ZF) set theory. We call it Zermelo-Fraenkel set theory with the Axiom of Choice and abbreviate it as ZFC. This paper starts with an introduction to the foundations of ZFC set the- ory, which includes the Zermelo-Fraenkel axioms, partially ordered sets (posets), the Cartesian product, the Axiom of Choice, and their related proofs. It then intro- duces several equivalent forms of the Axiom of Choice and proves that they are all equivalent. In the end, equivalents to the Axiom of Choice are used to prove a few fundamental theorems in set theory, linear analysis, and abstract algebra. This paper is concluded by a brief review of the work in it, followed by a few points of interest for further study in mathematics and/or set theory. iv ACKNOWLEDGMENTS Between the two department requirements to complete a master's degree in mathematics − the comprehensive exams and a thesis, I really wanted to experience doing a research and writing a serious academic paper.
  • Forcing in Proof Theory∗

    Forcing in Proof Theory∗

    Forcing in proof theory¤ Jeremy Avigad November 3, 2004 Abstract Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound e®ects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation re- sults for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. 1 Introduction In 1963, Paul Cohen introduced the method of forcing to prove the indepen- dence of both the axiom of choice and the continuum hypothesis from Zermelo- Fraenkel set theory. It was not long before Saul Kripke noted a connection be- tween forcing and his semantics for modal and intuitionistic logic, which had, in turn, appeared in a series of papers between 1959 and 1965. By 1965, Scott and Solovay had rephrased Cohen's forcing construction in terms of Boolean-valued models, foreshadowing deeper algebraic connections between forcing, Kripke se- mantics, and Grothendieck's notion of a topos of sheaves. In particular, Lawvere and Tierney were soon able to recast Cohen's original independence proofs as sheaf constructions.1 It is safe to say that these developments have had a profound impact on most branches of mathematical logic.
  • Introduction: the 1930S Revolution

    Introduction: the 1930S Revolution

    PROPERTY OF MIT PRESS: FOR PROOFREADING AND INDEXING PURPOSES ONLY Introduction: The 1930s Revolution The theory of computability was launched in the 1930s by a group of young math- ematicians and logicians who proposed new, exact, characterizations of the idea of algorithmic computability. The most prominent of these young iconoclasts were Kurt Gödel, Alonzo Church, and Alan Turing. Others also contributed to the new field, most notably Jacques Herbrand, Emil Post, Stephen Kleene, and J. Barkley Rosser. This seminal research not only established the theoretical basis for computability: these key thinkers revolutionized and reshaped the mathematical world—a revolu- tion that culminated in the Information Age. Their motive, however, was not to pioneer the discipline that we now know as theoretical computer science, although with hindsight this is indeed what they did. Nor was their motive to design electronic digital computers, although Turing did go on to do so (in fact producing the first complete paper design that the world had seen for an electronic stored-program universal computer). Their work was rather the continuation of decades of intensive investigation into that most abstract of subjects, the foundations of mathematics—investigations carried out by such great thinkers as Leopold Kronecker, Richard Dedekind, Gottlob Frege, Bertrand Russell, David Hilbert, L. E. J. Brouwer, Paul Bernays, and John von Neumann. The concept of an algorithm, or an effective or computable procedure, was central during these decades of foundational study, although for a long time no attempt was made to characterize the intuitive concept formally. This changed when Hilbert’s foundation- alist program, and especially the issue of decidability, made it imperative to provide an exact characterization of the idea of a computable function—or algorithmically calculable function, or effectively calculable function, or decidable predicate.
  • Leon W. Cohen

    Leon W. Cohen

    From the collections of the Seeley G. Mudd Manuscript Library, Princeton, NJ These documents can only be used for educational and research purposes (“Fair use”) as per U.S. Copyright law (text below). By accessing this file, all users agree that their use falls within fair use as defined by the copyright law. They further agree to request permission of the Princeton University Library (and pay any fees, if applicable) if they plan to publish, broadcast, or otherwise disseminate this material. This includes all forms of electronic distribution. Inquiries about this material can be directed to: Seeley G. Mudd Manuscript Library 65 Olden Street Princeton, NJ 08540 609-258-6345 609-258-3385 (fax) [email protected] U.S. Copyright law test The copyright law of the United States (Title 17, United States Code) governs the making of photocopies or other reproductions of copyrighted material. Under certain conditions specified in the law, libraries and archives are authorized to furnish a photocopy or other reproduction. One of these specified conditions is that the photocopy or other reproduction is not to be “used for any purpose other than private study, scholarship or research.” If a user makes a request for, or later uses, a photocopy or other reproduction for purposes in excess of “fair use,” that user may be liable for copyright infringement. • The Princeton Mathematics Community in the 1930s Transcript Number 6 (PMC6) © The Trustees of Princeton University, 1985 LEON W. COHEN (with ALBERT TUCKER) This is an interview of Leon Warren Cohen at Princeton University on 13 April 1984. The interviewers are William Aspray and Albert Tucker.
  • Gödel on Finitism, Constructivity and Hilbert's Program

    Gödel on Finitism, Constructivity and Hilbert's Program

    Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert’s program Solomon Feferman 1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, constructivity, set theory, the philosophy of mathematics, and post- Kantian philosophy, and contains Gödel’s thoughts on many topics that are not expressed elsewhere. In addition, it testifies to their life-long warm personal relationship. I have given a detailed synopsis of the Bernays Gödel correspondence, with explanatory background, in my introductory note to it in Vol. IV of Gödel’s Collected Works, pp. 41- 79.1 My purpose here is to focus on only one group of interrelated topics from these exchanges, namely the light that ittogether with assorted published and unpublished articles and lectures by Gödelthrows on his perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert’s program.2 In that connection, this piece has an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end of his career. 1 The five volumes of Gödel’s Collected Works (1986-2003) are referred to below, respectively, as CW I, II, III, IV and V. CW I consists of the publications 1929-1936, CW II of the publications 1938-1974, CW III of unpublished essays and letters, CW IV of correspondence A-G, and CW V of correspondence H-Z.
  • Public Recognition and Media Coverage of Mathematical Achievements

    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.
  • Abraham Adrian Albert 1905-1972 by Nathan Jacobson

    Abraham Adrian Albert 1905-1972 by Nathan Jacobson

    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 ABRAHAM ADRIAN ALBERT 1905-1972 BY NATHAN JACOBSON Adrian Albert, one of the foremost algebraists of the world and Presi­ dent of the American Mathematical Society from 1965 to 1967, died on June 6, 1972. For almost a year before his death it had become apparent to his friends that his manner had altered from its customary vigor to one which was rather subdued. At first they attributed this to a letdown which might have resulted from Albert's having recently relinquished a very demanding administrative position (Dean of the Division of Physical Sciences at the University of Chicago) that he had held for a number of years. Eventually it became known that he was gravely ill of physical causes that had their origin in diabetes with which he had been afflicted for many years. Albert was a first generation American and a second generation Ameri­ can mathematician following that of E. H. Moore, Oswald Veblen, L. E. Dickson and G. D. Birkhoff. His mother came to the United States from Kiev and his father came from England.1 The father had run away from his home in Yilna at the age of fourteen, and on arriving in England, he discarded his family name (which remains unknown) and took in its place the name Albert after the prince consort of Queen Victoria. Albert's father was something of a scholar, with a deep interest in English literature. He taught school for a while in England but after coming to the United States he became a salesman, a shopkeeper, and a manufacturer.
  • Hunting the Story of Moses Schönfinkel

    Hunting the Story of Moses Schönfinkel

    Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel Stephen Wolfram* Combinators were a key idea in the development of mathematical logic and the emergence of the concept of universal computation. They were introduced on December 7, 1920, by Moses Schönfinkel. This is an exploration of the personal story and intellectual context of Moses Schönfinkel, including extensive new research based on primary sources. December 7, 1920 On Tuesday, December 7, 1920, the Göttingen Mathematics Society held its regular weekly meeting—at which a 32-year-old local mathematician named Moses Schönfinkel with no known previous mathematical publications gave a talk entitled “Elemente der Logik” (“Elements of Logic”). This piece is included in S. Wolfram (2021), Combinators: A Centennial View, Wolfram Media. (wolframmedia.com/products/combinators-a-centennial-view.html) and accompanies arXiv:2103.12811 and arXiv:2102.09658. Originally published December 7, 2020 *Email: [email protected] 2 | Stephen Wolfram A hundred years later what was presented in that talk still seems in many ways alien and futuristic—and for most people almost irreducibly abstract. But we now realize that that talk gave the first complete formalism for what is probably the single most important idea of this past century: the idea of universal computation. Sixteen years later would come Turing machines (and lambda calculus). But in 1920 Moses Schönfinkel presented what he called “building blocks of logic”—or what we now call “combinators”—and then proceeded to show that by appropriately combining them one could effectively define any function, or, in modern terms, that they could be used to do universal computation.