Konrad Zuse Und Die Eth Zürich }

Total Page:16

File Type:pdf, Size:1020Kb

Konrad Zuse Und Die Eth Zürich } View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by RERO DOC Digital Library HAUPTBEITRAG / KONRAD ZUSE UND DIE ETH ZÜRICH } Konrad Zuse und die ETH Zürich Zum 100. Geburtstag des Informatikpioniers Konrad Zuse (22. Juni 2010) Herbert Bruderer1 Die Geschichte der Informatik beginnt mit dem seit IAS-Rechner, IBM 701, Univac u. a. und in Grossbri- dem Altertum benutzten Zählrahmen Abakus und tannien: z. B. ACE, Colossus, EDSAC, Ferranti Mark, der Entstehung der Zahlensysteme. Die heutigen Leo und SSEM. Zuses Pionierleistungen in der Re- Computer haben zahlreiche Vorläufer. Die ersten chentechnik und in der Informatik wurden sowohl funktionsfähigen programmierbaren Rechengeräte in Europa als auch in den USA lange Zeit verkannt. wurden jedoch erst gegen Mitte des 20. Jahrhun- Das deutsche Patentamt verweigerte ein Patent für derts vorgestellt. Der deutsche Bauingenieur Konrad die Z3. Zuse (22.6.1910–18.12.1995) ist einer der Väter dieser Universalmaschinen. Er baute in Berlin seit 1936 ETH Zürich mietet den legendären Rechenanlagen. Nur ein einziges Gerät, die 1945 fer- Relaisrechner Z4 tiggestellte Z4, überlebte den zweiten Weltkrieg. Der Mathematiker Eduard Stiefel (1909–1978) Zuse versuchte anschliessend erfolglos, in- und gründete Anfang Januar 1948 an der ETH Zürich ausländische Universitäten sowie Hersteller von Bü- das Institut für angewandte Mathematik. Daraus romaschinen für seine Entwicklungen zu gewinnen. entwickelte sich 1968 die Fachgruppe für Computer- Damals konnte sich offenbar niemand vorstellen, wissenschaften, und schliesslich entstand daraus dass ein programmgesteuertes Rechengerät einer das heutige Departement Informatik. Damit be- handelsüblichen Rechenmaschine überlegen war. ginnt die Geschichte der Informatik in der Schweiz. Das Institut für angewandte Mathematik heisst Zuses Pionierleistung: die erste seit 1970 Seminar für angewandte Mathematik. arbeitsfähige programmgesteuerte Stiefel erkannte die Bedeutung der Rechenauto- Rechenmaschine der Welt maten sehr früh. Er plante den Eigenbau einer Nach Friedrich Bauer von der Technischen Univer- solchen Maschine und war, um Zeit zu gewinnen, sität München ist Konrad Zuse der ,,Schöpfer der auf der Suche nach einem fertigen, betriebssicheren ersten vollautomatischen, programmgesteuerten Gerät. Es gab einen grossen Bedarf nach umfang- und frei programmierbaren, in binärer Gleitpunkt- reichen numerischen (technischen) Berechnungen, rechnung arbeitenden Rechenanlage.“ Die Z3 war auch für die Zusammenarbeit mit der Schweizer 1941 betriebsfähig, sie wurde am 12. Mai 1941 in Maschinenindustrie. Berlin vorgeführt. In den 1940er- und Anfang der Daher besuchte Stiefel am 13. Juli 1949 Konrad 1950er-Jahre gab es ähnliche Entwicklungen in den Zuse (Abb. 1) in Hopferau bei Füssen (Ostallgäu). USA: Rechenautomaten ABC, Complex Number Calculator, EDVAC, ENIAC, Harvard Mark (ASCC), DOI 10.1007/s00287-011-0573-4 © Springer-Verlag 2011 1 Herbert Bruderer Der Verfasser dankt den Professoren Walter Gander, Martin Gutknecht und Carl Eidgenössische Technische Hochschule Zürich, August Zehnder für ihre tatkräftige Unterstützung, die um so wertvoller war, als die Departement Informatik, drei Pioniere der Gründerzeit, die Professoren Eduard Stiefel, Heinz Rutishauser und Universitätsstrasse 6, 8092 Zürich, Schweiz Ambros Speiser, gestorben sind und es nur noch wenige Zeitzeugen gibt. E-Mail: [email protected] Informatik_Spektrum_34_6_2011 565 { KONRAD ZUSE UND DIE ETH ZÜRICH Zusammenfassung Der deutsche Bauingenieur Konrad Zuse (1910– 1995) hat 1941 die Z3 vorgeführt, den ersten frei programmierbaren und in binärer Gleitpunkt- rechnung arbeitenden Rechner der Welt. Zudem entwickelte er mit seinem Plankalkül erste Ideen für eine allgemeine Programmiersprache. Vor 100 Jahren wurde der Informatikpionier in Ber- lin geboren. Als einzige Universität auf dem europäischen Festland hatte die ETH Zürich 1950 eine betriebsfähige programmgesteuerte Rechenmaschine, die gemietete Z4. Die Z4 ist eine Weiterentwicklung der im Krieg zerstörten Z3. Dank der mit diesem Gerät durchgeführten Forschungsarbeiten wurde das damalige von Eduard Stiefel geleitete Institut für angewandte Mathematik in kurzer Zeit weltberühmt. Die Z4 stand im Keller des Mehllagers der Bäcke- reiMartin.ZusewarimMärz1945kurzvordem Fall Berlins mit der riesigen ,,Zuse 4“ mit der Bahn nach Göttingen und einige Wochen später mit einem Abb. 1 Konrad Zuse (1910–1995), © ETH-Bibliothek Zürich, Lastwagen nach Bayern geflohen. Er führte die Z4 Bildarchiv in der Aerodynamischen Versuchsanstalt in Göt- tingen vor. Die von 1942 bis 1945 gebaute Z4 hiess Sprungbefehle) durchgeführt. Die Z4 war der erste übrigens ursprünglich V4 (Versuchsmodell 4). Der Rechenautomat an der ETH und auf dem euro- Gleichklang dieser Abkürzung mit dem Kürzel für päischen Festland, der dem wissenschaftlichen die sogenannten Vergeltungswaffen V1 und V2 hat Rechnen diente. An der ETH konnten so viele An- laut Konrad Zuse dieses Gerät gerettet. Obwohl die regungen und Erfahrungen gesammelt werden, elektromechanische Z4 eine schon damals veraltete die später für den Bau einer eigenen programmge- Technik (Relais statt Elektronenröhren) nutzte, ent- steuerten Rechenmaschine hilfreich waren. Eduard schied sich Stiefel trotz Warnungen für ihren Einsatz. Stiefel und seine Mitarbeiter Heinz Rutishauser und Für ihn war die Verfügbarkeit von maschineller Re- Ambros Speiser haben dank der Z4 wesentliche chenleistung wichtiger als die modernste Technik. Beiträge zur angewandten Mathematik und zur Ent- Dieser mutige Entscheid erwies sich im Nachhinein wicklung der Rechentechnik sowie der Informatik als wegweisend. Das wissenschaftliche Rechnen mit geleistet. der Z4 machte sein Institut binnen weniger Jahre Die Nutzung der Z4 brachte beiden Seiten weltberühmt. grosse Vorteile: Zuse konnte mit dem Geld – die Das Institut für angewandte Mathematik mietete gesamte Summe war bei Vertragsabschluss bzw. die Z4 für fünf Jahre (für insgesamt 30.000 CHF). Abnahme der Maschine fällig – sein 1949 gegründe- Sie stand vom 11. Juli 1950 bis April 1955 im zwei- tes Unternehmen Zuse KG (Neukirchen) aufbauen. ten Stock des Hauptgebäudes (Raum G39) der ETH Der ETH stand kurzfristig eine erhebliche Re- Zürich. Heute befindet sich hier das Forschungs- chenleistung zur Verfügung. Sie entsprach einem institut für Mathematik. Der Mietvertrag wurde damaligen Rechenbüro mit etwa 40 mit mechani- am 7. September 1949 in der Gaststätte des Badi- schen Rechenmaschinen ausgestatteten Personen. schen Bahnhofs in Basel unterzeichnet. Vor der Das verhalf der ETH gegenüber anderen Univer- Inbetriebnahme wurden an der Maschine erheb- sitäten zu einem wissenschaftlichen Vorsprung liche Erweiterungen (z. B. Gebrauch bedingter (Abb. 2). 566 Informatik_Spektrum_34_6_2011 Abb. 2 Übersicht über Zuses frühe Rechenmaschinen Z1–Z4 Die ratternde Z4 sorgt Programmabtasters, das Klappern der Relais im Re- für das Zürcher Nachtleben chenwerk und das Klirren der Speicheroperationen DiemitRelaisbestückteZ4warwesentlichweniger zu unterscheiden. Mit einiger Übung konnte man störanfällig als modernere amerikanische Maschi- sagen, ob eine Addition, eine Multiplikation oder nen, die elektronischen Bauteile enthielten. Dass die eine Division im Gang war“ (Abb. 3). Z4 dank ihrer hohen Zuverlässigkeit nachts ohne Aufsicht lief, ist allerdings ein Märchen. Wozu wurde die Z4 in Zürich gebraucht? Im Prüfbericht von Corrado Böhm und DieZ4wurdeanderETHZürichfürArbeitenauf Harry Laett über die Erfahrungen mit der Zuse- dem Gebiet der numerischen Mathematik einge- Rechenmaschine vom 17. Oktober 1949 ist zu lesen: setzt. So wurden beispielsweise für die BBC, Baden, ,,Die Maschine sollte in zwei getrennten Räumlich- ,,kritische Tourenzahlen mehrlageriger Wellen“ keiten untergebracht werden können, um so eine durch Lösen von linearen Differentialgleichungen Trennung zwischen Bedienungsaggregaten (Tasta- 4. Ordnung berechnet. Der Rechenzeitaufwand be- turpult, Abtaster, Locher und Drucker) und den trug etwa 100 h. Aus der Industrie gab es manche Rechnungs- und Speichereinheiten zu gewährleis- Aufträge: Berechnung der Spannungen in einer ten. Auf diese Weise wird auch das Lärmproblem Talsperre (Grande Dixence), Berechnungen zum (Antriebsmotor und Speicherwerkantrieb) auf Raketenflug oder zur Flugbahn von Geschossen, einfache Weise gelöst.“ Untersuchungen zu Quantenmechanik, Hochfre- Zur (angeblichen) Zuverlässigkeit der Z4 gibt quenztechnik und Optik, Schwingungen einer es einen ausführlichen Zeitzeugenbericht von Urs Lokomotive, Abflussregulierung der drei Juraseen. Hochstrasser. In einem Brief vom 18. Juni 1951 be- Hinzu kamen mathematische Untersuchungen, klagt sich Eduard Stiefel bei Zuse: ,,Nach Deiner z. B. zu Bahnstörungen der Planeten Jupiter und blitzartigen und für uns etwas unerwarteten Abreise Saturn. In den fünf Jahren wurden etwa 100 ver- [...] hast Du uns mit Deiner absolut nicht betriebsbe- schiedene Probleme mit insgesamt rund 100.000 reiten Maschine allein gelassen. Es dauerte 14 Tage, Z4-Befehlen programmiert. Darunter befinden sich bis überhaupt eine kleine Rechnung gemacht werden 55 Aufträge und mathematische Untersuchungen. konnte [...]. Da wir praktisch seit Beginn des Monats Für Aussenstehende kostete die Z4 10 CHF je Stunde April keine durchgehende Arbeit leisten konnten, (Abb. 4). mussten wir mehrere Aufträge absagen.“ Zuse schreibt in seiner Autobiografie: ,,Im- Merkmale der an der ETH Zürich merhin besass das verschlafene Zürich durch die eingesetzten Z4 ratternde Z4 ein,
Recommended publications
  • 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.
    [Show full text]
  • Wearable-Based Pedestrian Inertial Navigation with Constraints Based on Biomechanical Models
    Wearable-based pedestrian inertial navigation with constraints based on biomechanical models Dina Bousdar Ahmed∗ and Kai Metzger† ∗ Institute of Communications and Navigation German Aerospace Center (DLR), Munich, Germany Email: [email protected] † Technical University of Munich, Germany Email: kai [email protected] Abstract—Our aim in this paper is to analyze inertial nav- sensor to correct the heading estimation [4]. The combina- igation systems (INSs) from the biomechanical point of view. tion of inertial sensors and WiFi measurements is useful in We wanted to improve the performance of a thigh INS by indoor environments. Chen et al. use the position estimated applying biomechanical constraints. To that end, we propose a biomechanical model of the leg. The latter establishes a through WiFi measurements to correct the position estimates relationship between the orientation of the thigh INS and the of an inertial navigation system [5]. The latter is based on a kinematic motion of the leg. This relationship allows to observe smartphone. the effect that the orientation errors have in the expected motion The detection of known landmarks, e.g. turns, elevators, etc, of the leg. We observe that the errors in the orientation estimation can improve the position estimation. Chen et al. [5] incorporate of an INS translate into incoherent human motion. Based on this analysis, we proposed a modified thigh INS to integrate landmarks to improve the performance of their navigation biomechanical constraints. The results show that the proposed system. Munoz et al. [6] use also landmarks to correct directly system outperforms the thigh INS in 50% regarding distance the heading estimation of a thigh-mounted inertial navigation error and 32% regarding orientation error.
    [Show full text]
  • 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.
    [Show full text]
  • Preparation and Investigation of Highly Charged Ions in a Penning Trap for the Determination of Atomic Magnetic Moments
    Preparation and Investigation of Highly Charged Ions in a Penning Trap for the Determination of Atomic Magnetic Moments Präparation und Untersuchung von hochgeladenen Ionen in einer Penning-Falle zur Bestimmung atomarer magnetischer Momente Dissertation approved by the Fachbereich Physik of the Technische Universität Darmstadt in fulfillment of the requirements for the degree of Doctor of Natural Sciences (Dr. rer. nat.) by Dipl.-Phys. Marco Wiesel from Neustadt an der Weinstraße June 2017 — Darmstadt — D 17 Preparation and Investigation of Highly Charged Ions in a Penning Trap for the Determination of Atomic Magnetic Moments Dissertation approved by the Fachbereich Physik of the Technische Universität Darmstadt in fulfillment of the requirements for the degree of Doctor of Natural Sciences (Dr. rer. nat.) by Dipl.-Phys. Marco Wiesel from Neustadt an der Weinstraße 1. Referee: Prof. Dr. rer. nat. Gerhard Birkl 2. Referee: Privatdozent Dr. rer. nat. Wolfgang Quint Submission date: 18.04.2017 Examination date: 24.05.2017 Darmstadt 2017 D 17 Title: The logo of ARTEMIS – AsymmetRic Trap for the measurement of Electron Magnetic moments in IonS. Bitte zitieren Sie dieses Dokument als: URN: urn:nbn:de:tuda-tuprints-62803 URL: http://tuprints.ulb.tu-darmstadt.de/id/eprint/6280 Dieses Dokument wird bereitgestellt von tuprints, E-Publishing-Service der TU Darmstadt http://tuprints.ulb.tu-darmstadt.de [email protected] Die Veröffentlichung steht unter folgender Creative Commons Lizenz: Namensnennung – Keine kommerzielle Nutzung – Keine Bearbeitung 4.0 International https://creativecommons.org/licenses/by-nc-nd/4.0/ Abstract The ARTEMIS experiment aims at measuring magnetic moments of electrons bound in highly charged ions that are stored in a Penning trap.
    [Show full text]
  • Konrad Zuse Und Die Schweiz
    Research Collection Report Konrad Zuse und die Schweiz Relaisrechner Z4 an der ETH Zürich : Rechenlocher M9 für die Schweizer Remington Rand : Eigenbau des Röhrenrechners ERMETH : Zeitzeugenbericht zur Z4 : unbekannte Dokumente zur M9 : ein Beitrag zu den Anfängen der Schweizer Informatikgeschichte Author(s): Bruderer, Herbert Publication Date: 2011 Permanent Link: https://doi.org/10.3929/ethz-a-006517565 Rights / License: In Copyright - Non-Commercial Use Permitted This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use. ETH Library Konrad Zuse und die Schweiz Relaisrechner Z4 an der ETH Zürich Rechenlocher M9 für die Schweizer Remington Rand Eigenbau des Röhrenrechners ERMETH Zeitzeugenbericht zur Z4 Unbekannte Dokumente zur M9 Ein Beitrag zu den Anfängen der Schweizer Informatikgeschichte Herbert Bruderer ETH Zürich Departement Informatik Professur für Informationstechnologie und Ausbildung Zürich, Juli 2011 Adresse des Verfassers: Herbert Bruderer ETH Zürich Informationstechnologie und Ausbildung CAB F 14 Universitätsstrasse 6 CH-8092 Zürich Telefon: +41 44 632 73 83 Telefax: +41 44 632 13 90 [email protected] www.ite.ethz.ch privat: Herbert Bruderer Bruderer Informatik Seehaldenstrasse 26 Postfach 47 CH-9401 Rorschach Telefon: +41 71 855 77 11 Telefax: +41 71 855 72 11 [email protected] Titelbild: Relaisschränke der Z4 (links: Heinz Rutishauser, rechts: Ambros Speiser), ETH Zürich 1950, © ETH-Bibliothek Zürich, Bildarchiv Bild 4. Umschlagseite: Verabschiedungsrede von Konrad Zuse an der Z4 am 6. Juli 1950 in der Zuse KG in Neukirchen (Kreis Hünfeld) © Privatarchiv Horst Zuse, Berlin Eidgenössische Technische Hochschule Zürich Departement Informatik Professur für Informationstechnologie und Ausbildung CH-8092 Zürich www.abz.inf.ethz.ch 1.
    [Show full text]
  • 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.
    [Show full text]
  • Milestones in Analog and Digital Computing
    Milestones in Analog and Digital Computing Contributions to the History of Mathematics and Information Technology by Herbert Bruderer Numerous recent discoveries of rare historical analog and digital calculators and previously unknown texts, drawings, and pictures from Germany, Austria, Switzerland, Liechtenstein, and France. Worldwide, multilingual bibliography regarding the history of computer science with over 3000 entries. 12 step-by-step set of instructions for the operation of historical analog and digital calculating devices. 75 comparative overviews in tabular form. 200 illustrations. 20 comprehensive lists. 7 timelines of computer history. Published by de Gruyter Oldenbourg. Berlin/Boston 2015, xxxii, 820 pages, 119.95 Euro. During the 1970's mechanical calculating instruments and machines suddenly disappeared from the scene. They were replaced by electronic versions. Most of these devices developed since the 17th century – often very clever constructions – have been forgotten. Who can imagine today how difficult calculation was only a few decades ago? This book introduces the reader to selected milestones from prehistory and early history of computing. The Antikythera Mechanism This puzzling device was made around 200 BC. It was discovered around 1900 by divers off the Greek island of Antikythera. It is believed to be the oldest known analog (or rather hybrid) computing device. Numerous replicas have been built to unravel the mysteries of this calendar calculator. It is suspected that the machine came from the school of Archimedes. 1 Androids, Music Boxes, Chess Automatons, Looms This treatise also explores topics related to computing technology: automated human and animal figures, mecha- nized musical instruments, music boxes, as well as punched tape controlled looms and typewriters.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • P the Pioneers and Their Computers
    The Videotape Sources: The Pioneers and their Computers • Lectures at The Compp,uter Museum, Marlboro, MA, September 1979-1983 • Goal: Capture data at the source • The first 4: Atanasoff (ABC), Zuse, Hopper (IBM/Harvard), Grosch (IBM), Stibitz (BTL) • Flowers (Colossus) • ENIAC: Eckert, Mauchley, Burks • Wilkes (EDSAC … LEO), Edwards (Manchester), Wilkinson (NPL ACE), Huskey (SWAC), Rajchman (IAS), Forrester (MIT) What did it feel like then? • What were th e comput ers? • Why did their inventors build them? • What materials (technology) did they build from? • What were their speed and memory size specs? • How did they work? • How were they used or programmed? • What were they used for? • What did each contribute to future computing? • What were the by-products? and alumni/ae? The “classic” five boxes of a stored ppgrogram dig ital comp uter Memory M Central Input Output Control I O CC Central Arithmetic CA How was programming done before programming languages and O/Ss? • ENIAC was programmed by routing control pulse cables f ormi ng th e “ program count er” • Clippinger and von Neumann made “function codes” for the tables of ENIAC • Kilburn at Manchester ran the first 17 word program • Wilkes, Wheeler, and Gill wrote the first book on programmiidbBbbIiSiing, reprinted by Babbage Institute Series • Parallel versus Serial • Pre-programming languages and operating systems • Big idea: compatibility for program investment – EDSAC was transferred to Leo – The IAS Computers built at Universities Time Line of First Computers Year 1935 1940 1945 1950 1955 ••••• BTL ---------o o o o Zuse ----------------o Atanasoff ------------------o IBM ASCC,SSEC ------------o-----------o >CPC ENIAC ?--------------o EDVAC s------------------o UNIVAC I IAS --?s------------o Colossus -------?---?----o Manchester ?--------o ?>Ferranti EDSAC ?-----------o ?>Leo ACE ?--------------o ?>DEUCE Whirl wi nd SEAC & SWAC ENIAC Project Time Line & Descendants IBM 701, Philco S2000, ERA..
    [Show full text]
  • Oral History Interview with David J. Wheeler
    An Interview with DAVID J. WHEELER OH 132 Conducted by William Aspray on 14 May 1987 Princeton, NJ Charles Babbage Institute The Center for the History of Information Processing University of Minnesota, Minneapolis Copyright, Charles Babbage Institute 1 David J. Wheeler Interview 14 May 1987 Abstract Wheeler, who was a research student at the University Mathematical Laboratory at Cambridge from 1948-51, begins with a discussion of the EDSAC project during his tenure. He compares the research orientation and the programming methods at Cambridge with those at the Institute for Advanced Study. He points out that, while the Cambridge group was motivated to process many smaller projects from the larger university community, the Institute was involved with a smaller number of larger projects. Wheeler mentions some of the projects that were run on the EDSAC, the user-oriented programming methods that developed at the laboratory, and the influence of the EDSAC model on the ILLIAC, the ORDVAC, and the IBM 701. He also discusses the weekly meetings held in conjunction with the National Physical Laboratory, the University of Birmingham, and the Telecommunications Research Establishment. These were attended by visitors from other British institutions as well as from the continent and the United States. Wheeler notes visits by Douglas Hartree (of Cavendish Laboratory), Nelson Blackman (of ONR), Peter Naur, Aad van Wijngarden, Arthur van der Poel, Friedrich L. Bauer, and Louis Couffignal. In the final part of the interview Wheeler discusses his visit to Illinois where he worked on the ILLIAC and taught from September 1951 to September 1953. 2 DAVID J.
    [Show full text]
  • 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.
    [Show full text]