Lesson Plan Alan Turing

Total Page:16

File Type:pdf, Size:1020Kb

Lesson Plan Alan Turing Lesson Plan Alan Turing Plaque marking Alan Turing's former home in Wilmslow, Cheshire Grade Level(s): 9-12 Subject(s): Physics, History, Computation In-Class Time: 60 min Prep Time: 10 min Materials • Either computers or printed copies of the CIA’s cypher games • Prize for the winner of the Code War Game • Discussion Sheets Objective In this lesson students will learn about the life and legacy of Alan Turing, father of the modern-day computer. Introduction Alan Turing was born on June 23,1912 in Paddington, London. At age 13, he attended boarding school at Sherbon School. Here he excelled in math and science. He paid little attention to liberal arts classes to the frustration of his teachers. After Sherbon, Turing went on to study at King’s College in Cambridge. Here Turing produced an elegant solution to the Entscheidungsproblem (Decision problem) for universal machines. At this time, Alonzo Church also published a paper solving the problem, which led to their collaboration and the development of the Church-Turing Thesis, and the idea of Turing machines, which by theory can compute anything that is computable. Prepared by the Center for the History of Physics at AIP 1 During WWII Turing worked as a cryptanalysist breaking cyphers for the Allies at Blectchy Park. It was here that Turing built his “Bombe”, a machine that could quickly break any German cipher by running through hundreds of options per second. Turing’s machine and team were so quick at breaking these codes the German army was convinced they had a British spy in their ranks. Turing was also responsible for breaking the infamous naval Enigma code, which was used by Germany. Turing went to the United States in 1942 to continue his work in cryptoanalysis and build another bombe machine. He then developed the Turingery technique to use against more complex ciphers. It was a tele printer rotor cipher attachment named TUNNY and lead to the world first digital programmable computer. The information Turing helped the Allies find was imperative in winning the war. After the war Turing continued working on the Automatic Computing Engine (ACE) at the National Physical Laboratory (NPL) with the goal of being able to create artificial intelligence so complex it could trick a human into thinking it itself was a human. This test is now known as the Turing test. After this Turing became interested in the pervasiveness of the Fibonacci sequence in nature and published work on it. An important part of Turing’s life was how open for his time he was about his homosexuality. For a man with his upper middle-class upbringing and his very public position in the scientific community it was unthinkable to discuss. Yet Turing felt no need to conceal this part of himself from the people closest to him. Alan Turing met his closest friend and someone he described as his first love, Christopher Morcom, during their time at Sherbon. Turing and Morcom developed their friendship through their discussions about advanced math, physics, and astronomy. Most of their discussions were done through letter writing so many of their conversations were documented, since Turing kept every letter from Morcom. Morcom passed away in 1930 due to complications with bovine tuberculosis. This event drastically changed Alan Turing and made him even more passionate as a scientist. For a few months during the WWII, Turing was engaged to a woman, Joan Clark. She was a fellow mathematician who worked with him on the war efforts in Hut 8. They formed a close friendship and soon Turing asked if she was interested in getting married. They enjoyed the same activities such as playing chess and studying plants. While Turing was upfront with her about his “homosexual tendencies,” Clark was not put off. The engagement lasted from the spring till the late summer of 1941. In the end, Turing broke off the engagement. He was just was not comfortable continuing the relationship even though he did have a love for Joan Clark. After the war, Turing met Arnold Murray, a young unemployed man. Turing and Murray’s relationship was very off and on. In January of 1952, Turing was a victim of burglary. Being the master solver, Turing found connections and discovered it was an associate of Murray’s. Turing went to the police to report the burglary and told them who he suspected the criminal was. After police investigated the burglary they learned about Turing and Murray’s relationship. Homosexuality was a crime in England in 1952 and Prepared by the Center for the History of Physics at AIP 2 Turing was arrested for indecent acts. Turing’s punishment for this crime was a year of probation and chemical castration. For a year, Turing had to take a synthetic estragon, which was meant to render him uninterested in men. Later, on June 7, 1954 Turing committed suicide by eating an apple that was laced with cyanide. He left no note and his friends and family were shocked. The only indicator that he might have planned his death was that he arranged his will in February. Turing was 43 at the time of his passing. In January 2017, the British government posthumously pardoned thousands of men convicted of crimes related to homosexuality. This law was named the Turing law, after Alan Turing, since he is a notable name on the list of men who were posthumously pardoned. Instructions Engage: 15 Minutes Here the students will watch a brief video about the life of Alan Turing and his contributions to the world we live in while answering discussion questions What is the teacher doing? What are the students doing? Play a video for the students in a quiet Watch a video and answer the discussion questions to environment and answering questions as they learn about Alan Turing and his life. come up. Make note on whether the students are staying engaged or not. Explore: 30 Minutes Here the students will get the chance to try their own hand at working on the enigma code using a coding game form the CIA website (Listed in Required Resources below) What is the teacher doing? What are the students doing? Break up the students into equal groups and Work together in groups to try and break all the explain that they are now representing a country codes provided on the CIA site. No Hints allowed, fighting in the second World War. They students first to break all the codes wins a prize! (Wins will work against the other teams to break all the the war) codes the quickest, whoever finishes first wins the war. Supervise the students as they work through the coding game. Make sure no one is cheating, and each group is working together. Make a special emphasis on the actual enigma code. Explain: 10 Minutes The students will read a transcript of the 1951 BBC interview with Turing on the concept of building a brain. Prepared by the Center for the History of Physics at AIP 3 What is the teacher doing? What are the students doing? Pass out the transcript copies to the students. Read the transcript of the BBC interview with Turing in 1951. Write down what Turing though the furutre of the computer was. Elaborate: 5 Minutes The teacher will explain how science and the world has changed since Alan Turing’s suicide, and show resources available today for LGBT people in STEM, to end on an encouraging note for student. What is the teacher doing? What are the students doing? Explain the progress, the world and physics has Listening to the teacher and taking note that made by going over the sheet of protections while there has been progress in equality for the and resources for those in the LGBT community LGBTQ+ community, there is still have a way to and in STEM, as provided in the resource go. section below. Evaluate: The teacher will be able to evaluate the students understanding by going over the discussion questions provided as well as the students participation in the sypher decoding activity. Required/Recommended Reading and Resources • Video on Alan Turing Life by Undefined Behavior on YouTube: Created by: Cory Chang Produced by: Vivian Liu Script Editor: Justin Chen, Brandon Chen, Elaine Chang, Zachary Greenberg, Kevin Dou o https://www.youtube.com/watch?v=57xXSfG39i0 • CIA Cypher Breaking Game o https://www.cia.gov/kids-page/games/break-the-code • LGBT Resources Sheet o In the Supplemental Materials section • Alan Turing, “Can digital Computers Think?”, May,15, 1951 The Turing Digital Archive, BBC, pages 1-8 o http://www.turingarchive.org/browse.php/B/5 Discussion Questions Discussion Questions can be found as a Handout with a corresponding Answer Key in the Supplemental Materials to this lesson plan. 1. Where did Alan Turing attend high school? Who was his closest companion at school? Prepared by the Center for the History of Physics at AIP 4 a. Sherbon School b. Christopher Morcom 2. Where did Turing go to college? a. King’s College in Cambridge or Cambridge University 3. What was the first large problem Turing solved while he was still in college? a. Entscheidungsproblem (Decision problem), that computers could never universally answer a question on their own 4. What did Turing do during WWII? a. Cryptoanalysis (code breaking) 5. Explain what the Bombe machine does. a. Break codes by running through thousands of options in a short amount of time 6. What was the goal of Turing after the war while working at NPL? a. To build artificial intelligence, and computer brain 7.
Recommended publications
  • Alan M. Turing – Simplification in Intelligent Computing Theory and Algorithms”
    “Alan Turing Centenary Year - India Celebrations” 3-Day Faculty Development Program on “Alan M. Turing – Simplification in Intelligent Computing Theory and Algorithms” Organized by Foundation for Advancement of Education and Research In association with Computer Society of India - Division II [Software] NASSCOM, IFIP TC - 1 & TC -2, ACM India Council Co-sponsored by P.E.S Institute of Technology Venue PES Institute of Technology, Hoskerehalli, Bangalore Date : 18 - 20 December 2012 Compiled by : Prof. K. Rajanikanth Trustee, FAER “Alan Turing Centenary Year - India Celebrations” 3-Day Faculty Development Program on “Alan M. Turing – Simplification in Intelligent Computing Theory and Algorithms” Organized by Foundation for Advancement of Education and Research In association with Computer Society of India - Division II [Software], NASSCOM, IFIP TC - 1 & TC -2, ACM India Council Co-sponsored by P.E.S Institute of Technology December 18 – 20, 2012 Compiled by : Prof. K. Rajanikanth Trustee, FAER Foundation for Advancement of Education and Research G5, Swiss Complex, 33, Race Course Road, Bangalore - 560001 E-mail: [email protected] Website: www.faer.ac.in PREFACE Alan Mathison Turing was born on June 23rd 1912 in Paddington, London. Alan Turing was a brilliant original thinker. He made original and lasting contributions to several fields, from theoretical computer science to artificial intelligence, cryptography, biology, philosophy etc. He is generally considered as the father of theoretical computer science and artificial intelligence. His brilliant career came to a tragic and untimely end in June 1954. In 1945 Turing was awarded the O.B.E. for his vital contribution to the war effort. In 1951 Turing was elected a Fellow of the Royal Society.
    [Show full text]
  • Semantics and Syntax a Legacy of Alan Turing Scientific Report
    Semantics and Syntax A Legacy of Alan Turing Scientific Report Arnold Beckmann (Swansea) S. Barry Cooper (Leeds) Benedikt L¨owe (Amsterdam) Elvira Mayordomo (Zaragoza) Nigel P. Smart (Bristol) 1 Basic theme and background information Why was the programme organised on this particular topic? The programme Semantics and Syn- tax was one of the central activities of the Alan Turing Year 2012 (ATY). The ATY was the world-wide celebration of the life and work of the exceptional scientist Alan Mathison Turing (1912{1954) with a particu- lar focus on the places where Turing has worked during his life: Cambridge, Bletchley Park, and Manchester. The research programme Semantics and Syntax took place during the first six months of the ATY in Cam- bridge, included Turing's 100th birthday on 23 June 1912 at King's College, and combined the character of an intensive high-level research semester with outgoing activities as part of the centenary celebrations. The programme had xx visiting fellows, xx programme participants, and xx workshop participants, many of which were leaders of their respective fields. Alan Turing's work was too broad for a coherent research programme, and so we focused on only some of the areas influenced by this remarkable scientists: logic, complexity theory and cryptography. This selection was motivated by a common phenomenon of a divide in these fields between aspects coming from logical considerations (called Syntax in the title of the programme) and those coming from structural, mathematical or algorithmic considerations (called Semantics in the title of the programme). As argued in the original proposal, these instances of the syntax-semantics divide are a major obstacle for progress in our fields, and the programme aimed at bridging this divide.
    [Show full text]
  • Alan M. Turing 23.Juni 1912 – 7.Juni 1954
    Alan M. Turing 23.juni 1912 – 7.juni 1954 Denne lista inneholder oversikt over bøker og DVD-er relatert til Alan M.Turings liv og virke. De fleste dokumentene er til utlån i Informa- tikkbiblioteket. Biblioteket har mange bøker om Turingmaskiner og be- regnbarhet, sjekk hylla på F.0 og F.1.*. Litteratur om Kryptografi finner du på E.3.0 og om Kunstig intelligens på I.2.0. Du kan også bruke de uthevete ordene som søkeord i BIBSYS: http://app.uio.no/ub/emnesok/?id=ureal URL-ene i lista kan brukes for å sjekke dokumentets utlånsstatus i BIBSYS eller bestille og reservere. Du må ha en pdf-leser som takler lenker. Den kryptiske opplysningen i parentes på linja før URL viser plas- sering på hylla i Informatikkbiblioteket (eller bestillingsstatus). Normalt vil bøkene i denne lista være plassert på noen hyller nær utstillingsmon- teren, så lenge Turing-utstillingen er oppstilt. Bøkene kan lånes derfra på normalt vis. [1] Jon Agar. Turing and the universal machine: the making of the modern computer. Icon, Cambridge, 2001. (K.2.0 AGA) http://ask.bibsys.no/ask/action/show?pid=010911804&kid=biblio. [2] H. Peter Alesso and C.F. Smith. Thinking on the Web: Berners-Lee, Gödel, and Turing. John Wiley & Sons, Hoboken, N.J., 2006. (I.2.4 Ale) http://ask.bibsys.no/ask/action/show?pid=08079954x&kid=biblio. [3] Michael Apter. Enigma. Basert på: Enigma av Robert Harris. Teks- tet på norsk, svensk, dansk, finsk, engelsk. In this twisty thriller about Britain’s secret code breakers during World War II, Tom Je- richo devised the means to break the Nazi Enigma code (DVD) http://ask.bibsys.no/ask/action/show?pid=082617570&kid=biblio.
    [Show full text]
  • The Legacy of Alan Turing and John Von Neumann
    Chapter 1 Computational Intelligence: The Legacy of Alan Turing and John von Neumann Heinz Muhlenbein¨ Abstract In this chapter fundamental problems of collaborative computa- tional intelligence are discussed. The problems are distilled from the semi- nal research of Alan Turing and John von Neumann. For Turing the creation of machines with human-like intelligence was only a question of program- ming time. In his research he identified the most relevant problems con- cerning evolutionary computation, learning, and structure of an artificial brain. Many problems are still unsolved, especially efficient higher learn- ing methods which Turing called initiative. Von Neumann was more cau- tious. He doubted that human-like intelligent behavior could be described unambiguously in finite time and finite space. Von Neumann focused on self-reproducing automata to create more complex systems out of simpler ones. An early proposal from John Holland is analyzed. It centers on adapt- ability and population of programs. The early research of Newell, Shaw, and Simon is discussed. They use the logical calculus to discover proofs in logic. Only a few recent research projects have the broad perspectives and the am- bitious goals of Turing and von Neumann. As examples the projects Cyc, Cog, and JANUS are discussed. 1.1 Introduction Human intelligence can be divided into individual, collaborative, and collec- tive intelligence. Individual intelligence is always multi-modal, using many sources of information. It developed from the interaction of the humans with their environment. Based on individual intelligence, collaborative in- telligence developed. This means that humans work together with all the available allies to solve problems.
    [Show full text]
  • [ATY/TCAC] Update - January 7, 2014
    [ATY/TCAC] Update - January 7, 2014 At last - the promised New Year 2014 update. We've attempted to organise the items into themes. It is hard to avoid starting with the Royal Pardon ... but before that: A TURING YEAR 2014 CARD FROM HONG KONG ATY 1) We asked Loke Lay in Hong Kong if her creative friends might design a card for the start of Turing Year 2014 - 60 years since Alan Turing's passing in 1954. After much work and one or two revisions, this was the outcome - beautiful, we think - small version at: http://www.turingcentenary.eu/ or full-size image at: http://www.mathcomp.leeds.ac.uk/turing2012/Images/Card_vChun.jpg Notice the diamond (60th anniversary) design theme. We asked Loke Lay for a list of friends who helped with the card - her list: --------------------------------------------------------------- (1) Winnie Fu's (official) designer, "Ah-B" Bede Leung. (2) Winnie Fu's "Hong Kong Film Archive" assistants, Gladys and Kay. (3) Ernest Chan Chi-Wa, Chair of "Hong Kong Film Critics Society". (4) "The Wonder Lad" Law Chi-Chun, Senior Executive Officer of "Hong Kong Computer Society". ---------------------------------------------------------------------------- She added: This time "Ah-Chun" has saved The Card in the early morning of New Year's Day, like Arnold Schwarzenegger saving Edward Furlong in "Terminator 2"!! Originally, a more complex, cryptic and sombre version of the card was produced, and simplified (by request) to the final version - we may share the original later in the year. Loke Lay also sent photos of media coverage of the pardon: http://www.mathcomp.leeds.ac.uk/turing2012/Images/sing-tao1.jpg ALAN TURING's ROYAL PARDON This has given rise to the most extensive national and international media coverage of Alan Turing and his legacy ever.
    [Show full text]
  • WWII Innovations - Codebreaking, Radar, Espionage, New Bombs, and More
    Part 6: WWII Innovation​ s - Codebreaking, Radar, Espionage, New Bombs, and More. Part 7: WWII Innovations - Codebreaking, Radar, Espionage, New Bombs, and More. ​ ​ Objective: How new innovations impacted the war, people in the war, and people after the war. Assessment Goals: ​ 1. Research and understand at least three of the innovations of WWII that made a difference on the war and after the war. (Learning Target 3) ​ 2. Determine whether you think dropping the atomic bombs on Hiroshima and Nagasaki was a wise decision or not. (Learning Target 2) ​ Resources: Resources in Binder (Video links, websites, and articles) ​ ​ Note Graph (Create something similar in your notes): Use this graph for researching innovations: Innovation #1: ______________________ Innovation #2: ______________________ Innovation #3: ______________________ (Specific notes about impact on war and after) (Specific notes about impact on war and after) (Specific notes about impact on war and after) Use the graph on the next page to organize your research about the atomic bomb. Evidence that dropping the bombs was wise: Evidence that dropping the bombs was not wise: (Include quotes, document citations, and (Include quotes, document citations, and statistics) statistics) ● ● ● ● ● ● ● ● ● ● ● ● ● ● ● ● ● ● My position: My overall thoughts about the choice to drop the bombs: If I were a Japanese civilian, what would I have wanted to happen and why? If I were a U.S. soldier, what would I have wanted to happen and why? Resources: Part 7 - WW2 Innovations - Codebreaking,
    [Show full text]
  • Annotated Bibliography Primary Sources
    1 Annotated Bibliography Primary Sources “Alan Turing's Trial Charges and Sentences, 31 March 1952.” Alan Turing: The Enigma, ​ ​ Andrew Hodges, https://www.turing.org.uk/sources/sentence.html. This source is an image from the Alan Turing: The Enigma website depicting the ​ ​ ​ arrest and sentencing record of Alan Turing and his lover Arnold Murray from 1952. This primary source shows off the fact that Turing stood strong against the charges of “indecency” that were leveled his way due to his sexuality and pleaded guilty. It interested our group to find out that Murray received a much lighter sentence than Turing for the same “crime” “A Memoir of Turing in 1954 from by M.H. Newman.” The Turing Digital Archive, King's ​ ​ College, Cambridge, http://www.turingarchive.org/viewer/?id=18&title=Manchester Guardian June 1954. This source is a primary source image from The Turing Digital Archive containing ​ ​ newspaper clippings of Turing’s obituary and an appreciation article. These images helped us to understand the significance that Alan Turing had to society at the time of his death, giving us a starting point to observe how the legacy of Turing grew after his death, as well as the impact his life had even after it came to a close. “AMT Aged 16, Head and Shoulders.” The Turing Digital Archive, King's College, Cambridge, ​ ​ http://www.turingarchive.org/viewer/?id=521&title=4. This image of Alan Turing as a young man helps us depict his life as a story rather than a disconnected series of events. We included it because we felt that it was important to discuss Turing’s early years and education as well as his work on Enigma and his personal life in order to present the full story to the best of our ability on our website.
    [Show full text]
  • Pursuit of the Universal
    Arnold Beckmann · Laurent Bienvenu Nataša Jonoska (Eds.) Pursuit LNCS 9709 of the Universal 12th Conference on Computability in Europe, CiE 2016 Paris, France, June 27 – July 1, 2016 Proceedings 123 Lecture Notes in Computer Science 9709 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zürich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7407 Arnold Beckmann • Laurent Bienvenu Nataša Jonoska (Eds.) Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016 Paris, France, June 27 – July 1, 2016 Proceedings 123 Editors Arnold Beckmann Nataša Jonoska Computer Science Mathematics and Statistics Swansea University University of South Florida Swansea Tampa, FL UK USA Laurent Bienvenu IRIF Université Paris-Diderot - Paris 7 Paris France ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Computer Science ISBN 978-3-319-40188-1 ISBN 978-3-319-40189-8 (eBook) DOI 10.1007/978-3-319-40189-8 Library of Congress Control Number: 2016940339 LNCS Sublibrary: SL1 – Theoretical Computer Science and General Issues © Springer International Publishing Switzerland 2016 This work is subject to copyright.
    [Show full text]
  • A Bibliography of Publications of Alan Mathison Turing
    A Bibliography of Publications of Alan Mathison Turing Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 24 August 2021 Version 1.227 Abstract This bibliography records publications of Alan Mathison Turing (1912– 1954). Title word cross-reference 0(z) [Fef95]. $1 [Fis15, CAC14b]. 1 [PSS11, WWG12]. $139.99 [Ano20]. $16.95 [Sal12]. $16.96 [Kru05]. $17.95 [Hai16]. $19.99 [Jon17]. 2 [Fai10b]. $21.95 [Sal12]. $22.50 [LH83]. $24.00/$34 [Kru05]. $24.95 [Sal12, Ano04, Kru05]. $25.95 [KP02]. $26.95 [Kru05]. $29.95 [Ano20, CK12b]. 3 [Ano11c]. $54.00 [Kru05]. $69.95 [Kru05]. $75.00 [Jon17, Kru05]. $9.95 [CK02]. H [Wri16]. λ [Tur37a]. λ − K [Tur37c]. M [Wri16]. p [Tur37c]. × [Jon17]. -computably [Fai10b]. -conversion [Tur37c]. -D [WWG12]. -definability [Tur37a]. -function [Tur37c]. 1 2 . [Nic17]. Zycie˙ [Hod02b]. 0-19-825079-7 [Hod06a]. 0-19-825080-0 [Hod06a]. 0-19-853741-7 [Rus89]. 1 [Ano12g]. 1-84046-250-7 [CK02]. 100 [Ano20, FB17, Gin19]. 10011-4211 [Kru05]. 10th [Ano51]. 11th [Ano51]. 12th [Ano51]. 1942 [Tur42b]. 1945 [TDCKW84]. 1947 [CV13b, Tur47, Tur95a]. 1949 [Ano49]. 1950s [Ell19]. 1951 [Ano51]. 1988 [Man90]. 1995 [Fef99]. 2 [DH10]. 2.0 [Wat12o]. 20 [CV13b]. 2001 [Don01a]. 2002 [Wel02]. 2003 [Kov03]. 2004 [Pip04]. 2005 [Bro05]. 2006 [Mai06, Mai07]. 2008 [Wil10]. 2011 [Str11]. 2012 [Gol12]. 20th [Kru05]. 25th [TDCKW84].
    [Show full text]
  • EVA London 2021 Paper
    http://dx.doi.org/10.14236/ewic/EVA2021.3 Digitality: A reality check Jonathan P. Bowen Tula Giannini Emeritus Professor of Computing Professor of Information School of Engineering School of Information London South Bank University Pratt Institute London, UK New York, USA http://www.jpbowen.com https://sites.google.com/view/tgiannini/ [email protected] [email protected] The condition of digitality and the associated concept of digitalism are increasingly important today. Our ever-more digital societal context means that many are experiencing a digital life where reality and digitality blur in their distinction in many people’s digital lives. This paper considers these aspects with respect to digital culture, especially in the context of heritage and museums. In particular, we look at developments since a previous 2014 paper by the authors and speculate on possible future developments. We focus especially on the reality check provided by the Covid-19 pandemic, that has accelerated societal digitality. Digitalism. Digitality. Digitalisation. Digital culture. Digital life. Digital heritage. Covid-19. 1. BACKGROUND Alan Turing (1912–1954) is widely acknowledged to be the first to formulate a mathematical abstract More than human (by T. Giannini) model for a computational device (Turing 1936), now known as a Turing Machine (Copeland et al. 2017). When Internet life becomes more than real More recently, in the mid-1990s, museums started Artificial life becomes more than human to realise the opportunities provided by digital Robots make things Birds still sing culture on the World Wide Web (Bowen 1995a; Humans hide 1995b; Gaia et al. 2020). Online provision by No free ride museums has increased, with collaboration Lock ‘em down between museums and other heritage organisations Going to drown enabling more and more synergistic collections of In tears and fears material online (Giannini & Bowen 2014).
    [Show full text]
  • Wang's B Machines Are Efficiently Universal, As Is Hasenjaeger's Small Universal Electromechanical
    Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy∗ Turlough Nearyy1, Damien Woodsz2, Niall Murphyx3, and Rainer Glaschick{5 1Institute for Neuroinformatics, University of Z¨urich and ETH Z¨urich, Switzerland. [email protected] 2California Institute of Technology, Pasadena, CA 91125, USA. [email protected] 3Facultad de Inform´atica,Universidad Polit´ecnicade Madrid and CEI-Moncloa UPM-UCM, Spain. 4(Present affiliation) Microsoft Research, Cambridge, CB1 2FB, UK. [email protected] 5Paderborn, Germany. [email protected] Abstract In the 1960's Gisbert Hasenjaeger built Turing Machines from electrome- chanical relays and uniselectors. Recently, Glaschick reverse engineered the program of one of these machines and found that it is a universal Turing machine. In fact, its program uses only four states and two symbols, making it a very small universal Turing machine. (The machine has three tapes and a number of other features that are important to keep in mind when compar- ing it to other small universal machines.) Hasenjaeger's machine simulates Hao Wang's B machines, which were proved universal by Wang. Unfor- tunately, Wang's original simulation algorithm suffers from an exponential slowdown when simulating Turing machines. Hence, via this simulation, Hasenjaeger's machine also has an exponential slowdown when simulating Turing machines. In this work, we give a new efficient simulation algorithm for Wang's B machines by showing that they simulate Turing machines with only a polynomial slowdown. As a second result, we find that Hasen- jaeger's machine also efficiently simulates Turing machines in polynomial arXiv:1304.0053v2 [cs.CC] 5 Aug 2014 ∗This work is the outcome of a visit by the authors to the Isaac Newton Institute for Math- ematical Sciences in Cambridge (UK) for the centenary of Alan Turing's birth, hosted by the 2012 programme \Semantics and Syntax: A Legacy of Alan Turing'.
    [Show full text]
  • What Happens When We Intervene?
    What happens when we intervene? “Computational Methods for Literary-Historical Textual Studies”, De Montfort University, 3 July 2018 Willard McCarty Department of Digital Humanities King’s College London “A truth is solely constituted by rupturing with the order which supports it, never as an effect of that order.” Alain Badiou, Being and Event (2005): xii “As a field, artificial intelligence has always been on the border of respectability, and therefore on the border of crackpottery. Many critics... have urged that we are over the border.... On the other hand, in private we have been justifiably proud of our willingness to explore weird ideas, because pursuing them is the only way to make progress.” Drew McDermott, “Artificial intelligence meets natural stupidity” (1976): 4 1. Background This lecture is a spinoff from asking what it might be like to reason with a fully realised artificial intelligence.1 By ‘fully realised’ I mean an AI designed to be ‘intelligent’ in its own terms rather than by the yardstick of what is sadly thought to be a fixed human attribute.2 That question has led me to ponder our current relation to digital machinery and its outputs, and so to ask what happens when we intervene to form new knowledge with these outputs. And behind all of this is an ongoing project of mine to explore how investigations in other areas than our own can help us form a computing that is of rather than merely in the humanities – whatever good service it may be doing these disciplines at the moment. The digital machinery we have, in all its various forms, mostly serves our pre- existing interests and habits.
    [Show full text]