Bruderer on Turing and Zuse
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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. -
Turing's Influence on Programming — Book Extract from “The Dawn of Software Engineering: from Turing to Dijkstra”
Turing's Influence on Programming | Book extract from \The Dawn of Software Engineering: from Turing to Dijkstra" Edgar G. Daylight∗ Eindhoven University of Technology, The Netherlands [email protected] Abstract Turing's involvement with computer building was popularized in the 1970s and later. Most notable are the books by Brian Randell (1973), Andrew Hodges (1983), and Martin Davis (2000). A central question is whether John von Neumann was influenced by Turing's 1936 paper when he helped build the EDVAC machine, even though he never cited Turing's work. This question remains unsettled up till this day. As remarked by Charles Petzold, one standard history barely mentions Turing, while the other, written by a logician, makes Turing a key player. Contrast these observations then with the fact that Turing's 1936 paper was cited and heavily discussed in 1959 among computer programmers. In 1966, the first Turing award was given to a programmer, not a computer builder, as were several subsequent Turing awards. An historical investigation of Turing's influence on computing, presented here, shows that Turing's 1936 notion of universality became increasingly relevant among programmers during the 1950s. The central thesis of this paper states that Turing's in- fluence was felt more in programming after his death than in computer building during the 1940s. 1 Introduction Many people today are led to believe that Turing is the father of the computer, the father of our digital society, as also the following praise for Martin Davis's bestseller The Universal Computer: The Road from Leibniz to Turing1 suggests: At last, a book about the origin of the computer that goes to the heart of the story: the human struggle for logic and truth. -
A Biased History Of! Programming Languages Programming Languages:! a Short History Fortran Cobol Algol Lisp
A Biased History of! Programming Languages Programming Languages:! A Short History Fortran Cobol Algol Lisp Basic PL/I Pascal Scheme MacLisp InterLisp Franz C … Ada Common Lisp Roman Hand-Abacus. Image is from Museo (Nazionale Ramano at Piazzi delle Terme, Rome) History • Pre-History : The first programmers • Pre-History : The first programming languages • The 1940s: Von Neumann and Zuse • The 1950s: The First Programming Language • The 1960s: An Explosion in Programming languages • The 1970s: Simplicity, Abstraction, Study • The 1980s: Consolidation and New Directions • The 1990s: Internet and the Web • The 2000s: Constraint-Based Programming Ramon Lull (1274) Raymondus Lullus Ars Magna et Ultima Gottfried Wilhelm Freiherr ! von Leibniz (1666) The only way to rectify our reasonings is to make them as tangible as those of the Mathematician, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate, without further ado, in order to see who is right. Charles Babbage • English mathematician • Inventor of mechanical computers: – Difference Engine, construction started but not completed (until a 1991 reconstruction) – Analytical Engine, never built I wish to God these calculations had been executed by steam! Charles Babbage, 1821 Difference Engine No.1 Woodcut of a small portion of Mr. Babbages Difference Engine No.1, built 1823-33. Construction was abandoned 1842. Difference Engine. Built to specifications 1991. It has 4,000 parts and weighs over 3 tons. Fixed two bugs. Portion of Analytical Engine (Arithmetic and Printing Units). Under construction in 1871 when Babbage died; completed by his son in 1906. -
LIGO's Unsung Heroes : Nature News & Comment
NATURE | NEWS LIGO's unsung heroes Nature highlights just a few of the people who played a crucial part in the discovery of gravitational waves — but didn’t win the Nobel Prize. Davide Castelvecchi 09 October 2017 Corrected: 19 October 2017 Joe McNally/Getty LIGO hunts gravitational waves with the help of two laser interferometers — and hundreds of people. Expand Every October, the announcements of the Nobel Prizes bring with them some controversy. This year’s physics prize — in recognition of the Laser Interferometer Gravitational-Wave Observatory (LIGO) in the United States — was less debated than most. The three winners — Kip Thorne and Barry Barish, both at the California Institute of Technology (Caltech) in Pasadena, and Rainer Weiss at the Massachusetts Institute of Technology (MIT) in Cambridge — had attracted near-universal praise for their roles in the project’s success. But the award has still put into stark relief the difficulty of singling out just a few individuals from the large collaborations of today’s 'Big Science'. The LIGO collaboration uses two giant laser interferometers to listen for deformations in space-time caused by some of the Universe’s most cataclysmic events. Physicists detected their first gravitational waves — interpreted as being produced by the collision of two black holes more than a billion years ago — in September 2015. The resulting paper, published in February 20161, has a mind-boggling 1,004 authors. Some of those are members of the LIGO Laboratory, the Caltech–MIT consortium that manages LIGO’s two interferometers in Louisiana and Washington State. But the list also includes the larger LIGO Scientific Collaboration: researchers from 18 countries, some of which — such as Germany and the United Kingdom — have made crucial contributions to the detectors. -
Turing — the Father of Computer Science”
Towards a Historical Notion of \Turing | the Father of Computer Science" Third and last draft, submitted in August 2013 to the Journal History and Philosophy of Logic Edgar G. Daylight? Eindhoven University of Technology Department of Technology Management [email protected] Abstract. In the popular imagination, the relevance of Turing's the- oretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper `On Computable Numbers'. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, and others that several computing pioneers, in- cluding Aiken, Eckert, Mauchly, and Zuse, did not depend on (let alone were they aware of) Turing's 1936 universal-machine concept. Further- more, it is not clear whether any substance in von Neumann's celebrated 1945 `First Draft Report on the EDVAC' is influenced in any identifiable way by Turing's work. This raises the questions: (i) When does Turing enter the field? (ii) Why did the Association for Computing Machin- ery (ACM) honor Turing by associating his name to ACM's most pres- tigious award, the Turing Award? Previous authors have been rather vague about these questions, suggesting some date between 1950 and the early 1960s as the point at which Turing is retroactively integrated into the foundations of computing and associating him in some way with the movement to develop something that people call computer science. In this paper, based on detailed examination of hitherto overlooked pri- mary sources, attempts are made to reconstruct networks of scholars and ideas prevalent to the 1950s, and to identify a specific group of ACM actors interested in theorizing about computations in computers and attracted to the idea of language as a frame in which to understand computation. -
Calculating Space) 1St
Konrad Zuse’s Rechnender Raum (Calculating Space) 1st. re-edition1 written in LATEX by A. German and H. Zenil As published in A Computable Universe: Understanding & Exploring Nature as Computation, World Scientific, 2012 Painting by Konrad Zuse (under the pseudonym “Kuno See”). Followed by an Afterword by Adrian German and Hector Zenil 2 1with kind permission by all parties involved, including MIT and Zuse’s family. 2The views expressed in the afterword do not represent the views of those organisations with which the authors are affiliated. 1 Calculating Space (“Rechnender Raum”)z Konrad Zuse Contents 1 INTRODUCTION 1 2 INTRODUCTORY OBSERVATIONS 3 2.1 Concerning the Theory of Automatons . .3 2.2 About Computers . .5 2.3 Differential Equations from the Point of View of the Automa- ton Theory . .8 2.4 Maxwell Equations . 10 2.5 An Idea about Gravitation . 13 2.6 Differential Equations and Difference Equations, Digitalization 13 2.7 Automaton Theory Observations of Physical Theories . 14 3 EXAMPLES OF DIGITAL TREATMENT OF FIELDS AND PARTICLES 19 3.1 The Expression “Digital Particle” . 19 3.2 Two-Dimensional Systems . 27 3.3 Digital Particles in Two-Dimensional Space . 30 3.4 Concerning Three-Dimensional Systems . 34 4 GENERAL CONSIDERATIONS 37 4.1 Cellular Automatons . 37 4.2 Digital Particles and Cellular Automatons . 39 4.3 On the Theory of Relativity . 39 zSchriften zur Datenverarbeitung, Vol. 1, 1969 Friedrich Vieweg & Sohn, Braun- schweig, 74 pp. MIT Technical TranslationTranslated for Massachusetts Institute of Tech- nology, Project MAC, by: Aztec School of Languages, Inc., Research Translation Division (164), Maynard, Massachusetts and McLean, Virginia AZT-70-164-GEMIT Massachusetts Institute of Technology, Project MAC, Cambridge, Massachusetts 02139—February 1970 2 4.4 Considerations of Information Theory . -
A Brief History of Gravitational Waves
Review A Brief History of Gravitational Waves Jorge L. Cervantes-Cota 1, Salvador Galindo-Uribarri 1 and George F. Smoot 2,3,4,* 1 Department of Physics, National Institute for Nuclear Research, Km 36.5 Carretera Mexico-Toluca, Ocoyoacac, Mexico State C.P.52750, Mexico; [email protected] (J.L.C.-C.); [email protected] (S.G.-U.) 2 Helmut and Ana Pao Sohmen Professor at Large, Institute for Advanced Study, Hong Kong University of Science and Technology, Clear Water Bay, 999077 Kowloon, Hong Kong, China. 3 Université Sorbonne Paris Cité, Laboratoire APC-PCCP, Université Paris Diderot, 10 rue Alice Domon et Leonie Duquet 75205 Paris Cedex 13, France. 4 Department of Physics and LBNL, University of California; MS Bldg 50-5505 LBNL, 1 Cyclotron Road Berkeley, CA 94720, USA. * Correspondence: [email protected]; Tel.:+1-510-486-5505 Abstract: This review describes the discovery of gravitational waves. We recount the journey of predicting and finding those waves, since its beginning in the early twentieth century, their prediction by Einstein in 1916, theoretical and experimental blunders, efforts towards their detection, and finally the subsequent successful discovery. Keywords: gravitational waves; General Relativity; LIGO; Einstein; strong-field gravity; binary black holes 1. Introduction Einstein’s General Theory of Relativity, published in November 1915, led to the prediction of the existence of gravitational waves that would be so faint and their interaction with matter so weak that Einstein himself wondered if they could ever be discovered. Even if they were detectable, Einstein also wondered if they would ever be useful enough for use in science. -
Pioneers of Computing
Pioneers of Computing В 1980 IEEE Computer Society учредило Золотую медаль (бронзовую) «Вычислительный Пионер» Пионерами учредителями стали 32 члена IEEE Computer Society, связанных с работами по информатике и вычислительным наукам. 1 Pioneers of Computing 1.Howard H. Aiken (Havard Mark I) 2.John V. Atanasoff 3.Charles Babbage (Analytical Engine) 4.John Backus 5.Gordon Bell (Digital) 6.Vannevar Bush 7.Edsger W. Dijkstra 8.John Presper Eckert 9.Douglas C. Engelbart 10.Andrei P. Ershov (theroretical programming) 11.Tommy Flowers (Colossus engineer) 12.Robert W. Floyd 13.Kurt Gödel 14.William R. Hewlett 15.Herman Hollerith 16.Grace M. Hopper 17.Tom Kilburn (Manchester) 2 Pioneers of Computing 1. Donald E. Knuth (TeX) 2. Sergei A. Lebedev 3. Augusta Ada Lovelace 4. Aleksey A.Lyapunov 5. Benoit Mandelbrot 6. John W. Mauchly 7. David Packard 8. Blaise Pascal 9. P. Georg and Edvard Scheutz (Difference Engine, Sweden) 10. C. E. Shannon (information theory) 11. George R. Stibitz 12. Alan M. Turing (Colossus and code-breaking) 13. John von Neumann 14. Maurice V. Wilkes (EDSAC) 15. J.H. Wilkinson (numerical analysis) 16. Freddie C. Williams 17. Niklaus Wirth 18. Stephen Wolfram (Mathematica) 19. Konrad Zuse 3 Pioneers of Computing - 2 Howard H. Aiken (Havard Mark I) – США Создатель первой ЭВМ – 1943 г. Gene M. Amdahl (IBM360 computer architecture, including pipelining, instruction look-ahead, and cache memory) – США (1964 г.) Идеология майнфреймов – система массовой обработки данных John W. Backus (Fortran) – первый язык высокого уровня – 1956 г. 4 Pioneers of Computing - 3 Robert S. Barton For his outstanding contributions in basing the design of computing systems on the hierarchical nature of programs and their data. -
A Brief History of Gravitational Waves
universe Review A Brief History of Gravitational Waves Jorge L. Cervantes-Cota 1, Salvador Galindo-Uribarri 1 and George F. Smoot 2,3,4,* 1 Department of Physics, National Institute for Nuclear Research, Km 36.5 Carretera Mexico-Toluca, Ocoyoacac, C.P. 52750 Mexico, Mexico; [email protected] (J.L.C.-C.); [email protected] (S.G.-U.) 2 Helmut and Ana Pao Sohmen Professor at Large, Institute for Advanced Study, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, 999077 Hong Kong, China 3 Université Sorbonne Paris Cité, Laboratoire APC-PCCP, Université Paris Diderot, 10 rue Alice Domon et Leonie Duquet, 75205 Paris Cedex 13, France 4 Department of Physics and LBNL, University of California; MS Bldg 50-5505 LBNL, 1 Cyclotron Road Berkeley, 94720 CA, USA * Correspondence: [email protected]; Tel.:+1-510-486-5505 Academic Editors: Lorenzo Iorio and Elias C. Vagenas Received: 21 July 2016; Accepted: 2 September 2016; Published: 13 September 2016 Abstract: This review describes the discovery of gravitational waves. We recount the journey of predicting and finding those waves, since its beginning in the early twentieth century, their prediction by Einstein in 1916, theoretical and experimental blunders, efforts towards their detection, and finally the subsequent successful discovery. Keywords: gravitational waves; General Relativity; LIGO; Einstein; strong-field gravity; binary black holes 1. Introduction Einstein’s General Theory of Relativity, published in November 1915, led to the prediction of the existence of gravitational waves that would be so faint and their interaction with matter so weak that Einstein himself wondered if they could ever be discovered. -
Heinz Billing
Heinz Billing Born April 7, 1914, Salzwedel, Germany; an inventor1, of magnetic drum storage and built the first working electronic computer in Germany; searched for gravity waves and became unsurpassed in not finding them. Education: doctoral degree, University of Göttingen, 1938. Professional Experience: Aerodynamic Test Centre, Göttingen (Aerodynamische Versuchsanstalt, AVA) 1938-1946; German Air Force, 1938-1941; Institute für Instrumentenkunde (Institute for Scientific Instruments), Kaiser-Wilhelm-Gesellschaft (later Max-Planck- Gesellschaft), 1946-1949, and again in 1950-1972; Commonwealth Scientific and Industrial Organization, Sydney, Australia, 1949-1950; Max Planck Institute, Garching, Germany, 1972-1982. Honors and Awards: honorary professorship in computing, Erlangen University, 1967; Konrad Zuse Prize, 1987. Heinz Billing was born on April 7, 1914 in Salzwedel, a small town some 30 miles north of Wolfsburg, where Volkswagen automobiles are made. He went to school at Salzwedel, graduated from high school (“Abitur”-examination) at 18 and, after studies at Göttingen (a famous university town south of Hanover) and Munich, he received his doctorate in physics at the age of 24. His thesis under Walter Gerlach was on Light Interference with Canal Rays. He began his career June 1, 1938, at the Aerodynamic Test Centre at Göttingen (Aerodynamische Versuchsanstalt, AVA) connected with Ludwig Prandt], the famous director of the Kaiser- Wilhelm-Institut für Strömungsforschung (fluid mechanics). By October 1, 1938, he was drafted to the Air Force, where he worked in weather forecasting. He was released from these duties in May 1941 to do research in aeronautical acoustics. Magnetic Sound Recording In those days German engineering was well known for excellent results with magnetic sound recording, first on steel wire and then on tape. -
LIGO Magazine Issue #14 !
LIGO Scientific Collaboration Scientific LIGO issue 14 3/2019 LIGO MAGAZINE The Gravitational Weather Forecast: Predicting sources for O3 Upgrades to Hanford, Livingston and Virgo sites Getting ready for O3 p.12 The LVC‘s first Gravitational Wave Transient Catalog Inventorizing the dark side p. 15 ... and an interview with Sir James Hough on the early days p.19 Front cover A new study using Chandra data of GW170817 indicates that the event that produced gravitational waves likely created the lowest mass black hole known. The artist’s illustration shows the black hole that resulted from the merger, along with a disk of infalling matter and a jet of high-energy particles. (Credit: NASA/CXC/M.Weiss) The top inset shows the view from below the ‘north input test mass’ of Virgo. The bottom inset shows a schematic of binary mergers observed by LIGO and Virgo so far. Image credits Photos and graphics appear courtesy of Caltech/MIT LIGO Laboratory and LIGO Scientific Collaboration unless otherwise noted. Cover: Main illustration from NASA/CXC/M.Weiss. Top inset from M. Perciballi / The Virgo collaboration. Bottom inset from LIGO-Virgo / Frank Elavsky / Northwestern University p. 3 Comic strip by Nutsinee Kijbunchoo p. 6-9 Colliding neutron stars illustration by NASA/CXC/M.Weiss. Gravitational wave sources by Chris Messenger. Sensitivity curves from LIGO/Virgo/KAGRA p. 12-14 Livingston photo by Matthew Heintze. Hanford photo by Nutsinee Kijbunchoo, Virgo photo by M. Perciballi / The Virgo Collaboration. p. 15-18 Time frequency plots and waveforms by S. Ghonge, K. Janu / Georgia Tech. Masses in the Stellar Graveyard by LIGO-Virgo / Frank Elavsky / Northwestern University. -
Konrad Zuse the Computer- My Life
Konrad Zuse The Computer- My Life Konrad Zuse The Computer- My Life With Forewords byEL.Bauer and H. Zemanek Springer-Verlag Berlin Heidelberg GmbH Professor Dr. Ing. E. h. Dr. mult. rer. nat. h.c. Konrad Zuse 1m Haselgrund 21, D-36088 Hunfeld, Germany Editor: Dr. Hans Wossner, Springer-Verlag Heidelberg Translators: Patricia McKenna, New York J.Andrew Ross, Springer-Verlag Heidelberg Titl e of the original German edition: Der Computer - Mein Lebenswerk, 1993 © Springer-Verlag Berlin Heidelberg 1984, 1986, 1990, 1993 Computing Reviews Classification (1991) : K. 2, A. 0 With 68 Figures ISBN 978-3-642-08 151 -4 ISBN 978-3-662-02931-2 (eBook) DOI 10.1007/978-3-662-02931-2 Libary of Congress Cataloging-in-Publication Data . Zuse, Konr ad . (Computer. mein Lebensw erk . English) Th e computer, my life / Konrad Zuse;with for eword s bv F.L. Bauer and H. Zemanek. p. cm. Includes bibliographical references and index. I. Zuse, Konrad. 2. Computers -Germany - History . 3. Computer engineers - Germany - Biography. I. Titl e. TK7885.22.Z87A3 1993 62I.39'092-dc20 [B] 93-18574 This work is subject to copyright. All rights are reserved , whether the whole world or part for the mat erial is concerned , specifically the rights of translation, reprinting, reuse ofillustrati- ons, recitation, broadcasting , reproduction on microfilm or in any ot her way, and storage in data banks. Dupli cation of this publication or parts thereof is permitted only under the pro- visions of German Copyr ight Law of September 9, 1965, in its current version , and permissi- on for use must always be obtained from Springer-Verlag.