J JNIVERSITY of MINNESOTA J 1 I
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
' MACSYMA Users' Conference
' MACSYMA Users'Conference Held at University of California Berkeley, California July 27-29, 1977 I TECH LIBRARY KAFB, NY NASA CP-2012 Proceedings of the 1977 MACSYMA Users’ Conference Sponsored by Massachusetts Institute of Technology, University of California at Berkeley, NASA Langley Research Center and held at Berkeley, California July 27-29, 1977 Scientific and TechnicalInformation Office 1977 NATIONALAERONAUTICS AND SPACE ADMINISTRATION NA5A Washington, D.C. FOREWORD The technical programof the 1977 MACSPMA Users' Conference, held at Berkeley,California, from July 27 to July 29, 1977, consisted of the 45 contributedpapers reported in.this publicationand of a workshop.The work- shop was designed to promote an exchange of information between implementers and users of the MACSYMA computersystem and to help guide future developments. I The response to the call for papers has well exceeded the early estimates of the conference organizers; and the high quality and broad ra.ngeof topics of thepapers submitted has been most satisfying. A bibliography of papers concerned with the MACSYMA system is included at the endof this publication. We would like to thank the members of the programcommittee, the many referees, and the secretarial and technical staffs at the University of California at Berkeley and at the Laboratory for Computer Science, Massachusetts Instituteof Technology, for shepherding the many papersthrough the submission- to-publicationprocess. We are especiallyappreciative of theburden. carried by .V. Ellen Lewis of M. I. T. for serving as expert in document preparation from computer-readableto camera-ready copy for several papers. This conference originated as the result of an organizing session called by Joel Moses of M.I.T. -
After Math: (Re)Configuring Minds, Proof, and Computing in the Postwar United States
After Math: (Re)configuring Minds, Proof, and Computing in the Postwar United States The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Dick, Stephanie Aleen. 2015. After Math: (Re)configuring Minds, Proof, and Computing in the Postwar United States. Doctoral dissertation, Harvard University, Graduate School of Arts & Sciences. Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:14226096 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA After Math (Re)configuring Minds, Proof, and Computing in the Postwar United States Adissertationpresented by Stephanie Aleen Dick to The Department of the History of Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of the History of Science Harvard University Cambridge, Massachusetts November 2014 © 2014 Stephanie Aleen Dick. All rights reserved. Dissertation Advisor: Professor Peter Galison Stephanie Aleen Dick After Math (Re)configuring Minds, Proof, and Computing in the Postwar United States Abstract This dissertation examines the history of three early computer programs that were designed to prove mathematical theorems: The Logic Theory Machine, the Program P, and the Automated Reasoning Assistant, all developed between 1955 and 1975. I use these programs as an opportunity to explore ways in which mathematical knowledge and practice were transformed by the introduction of modern computing. The prospect of automation generated disagreement about the character of human mathematical faculties like intuition, reasoning, and understanding and whether computers could be made to possess or participate in them. -
The Johns Hopkins University
THE JOHNS HOPKINS UNIVERSITY COMMENCEMENT 2017 Conferring of degrees at the close of the 141st academic year MAY 24, 2017 STAGE Peabody Conservatory Zanvyl Krieger School of Zanvyl Krieger School of BM Arts & Sciences Arts & Sciences BA BS G GWC Whiting G School of Engineering U G G U E U BS U E S E E S T S S T S T T S E S S E A E E A T A A T I T T I N I I N G N N G G GWC Whiting Doctoral: Zanvyl Krieger School of G School of Engineering School of Education Arts & Sciences BA EDD BA Peabody Conservatory DMA/AD School of Nursing PHD/DNP Masters/Certificates: Carey Business School Bloomberg School of Public Health School of Education DPH/PHD Peabody Conservatory Paul H. Nitze SAIS School of Nursing PHD Bloomberg School of School of Medicine Public Health MD/PHD Paul H. Nitze SAIS GWC Whiting School of School of Medicine Engineering PHD GWC Whiting School of Engineering Zanvyl Krieger School of Zanvyl Krieger School of Arts & Sciences Arts & Sciences PHD ENTRANCE CONTENTS Order of Candidate Procession ......................................................... 11 Order of Procession .......................................................................... 12 Order of Events ................................................................................. 13 Conferring of Degrees ....................................................................... 14 Johns Hopkins Society of Scholars ................................................... 17 Honorary Degrees ............................................................................. 13 Academic -
Iniversity of Minnesota
THE INIVERSITY OF MINNESOTA eap and gOWII :Day eonvocafiOII 1961 NORTHROP MEMORIAl AUDITORIUM THURSDAY MORNING, MAY 25 AT ElEVEN-THIRTY O'ClOCK Universitg of Minnesota THE BOARD OF REGENTS Dr. 0. Meredith Wilson, President Mr. Laurence R. Lunden, Secretary Mr. Clinton T. Johnson, Treasurer Mr. Sterling B. Garrison, Assistant Secretary The Honorable Ray J. Quinlivan, St. Cloud First Vice President and Chairman The Honorable Charles W. Mayo, M.D., Rochester Second Vice President The Honorable Daniel C. Gainey, Owatonna The Honorable Richard L. Griggs, Duluth The Honorable Bjarne E. Grottum, Jackson The Honorable Robert E. Hess, White Bear Lake The Honorable Marjorie J. Howard (Mrs. C. Edward), Excelsior The Honorable A. I. Johnson, Benson The Honorable Lester A. Malkerson, Minneapolis The Honorable A. J. Olson, Renville The Honorable Herman F. Skyberg, Fisher SMOKING AND USE OF CAMERAS-It is requested, by action of the Board of Regents, that in Northrop Memorial Auditorium smoking be confined to the outer lobby on the main floor, to the gallery lobbies, and to the lounge rooms. The use of cameras in the auditorium by members of the audience is prohibited. ~lt1s Js Vour Universitv CHARTERED in February, 1851, by the Legislative Assembly of the Territory of Minnesota, the University of Minnesota this year celebrated its one hundred and tenth birthday. As from its very beginning, the University is dedicated to the task of training the youth of today, the citizens of tomorrow. How well it has succeeded is indicated by the number of physicians, lawyers, engineers, social workers, educators, journalists, dentists, veterinarians, farmers, business men--community and civic leaders in all fields-who have gone from its several campuses to participate actively in the upgrading of the welfare of the citizens of our state.