Alan Turing: The Man Behind the Machine

Similar documents
Church-Turing Thesis

The Turing Test Allan Turing & GBLTQ Equality By Rev. Dr. Todd F. Eklof June 8, 2014

A Man s Pride. Que Trang Tran

Gödel's incompleteness theorems

Machine and Animal Minds

Computing Machinery and Intelligence. The Imitation Game. Criticisms of the Game. The Imitation Game. Machines Concerned in the Game

Can a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena

Can machines think? Machines, who think. Are we machines? If so, then machines can think too. We compute since 1651.

Functionalism and the Chinese Room. Minds as Programs

Introduction To Mathematical Logic, Part I [all Published] By Alonzo CHURCH READ ONLINE

Negative Introspection Is Mysterious

Module - 02 Lecturer - 09 Inferential Statistics - Motivation

Outline. Uninformed Search. Problem-solving by searching. Requirements for searching. Problem-solving by searching Uninformed search techniques

From Mechanical Brains to Philosophical Zombies

Bounded Rationality :: Bounded Models

Alan Turing, Computing machinery and intelligence

Turing By Andrew Hodges

Al-Sijistani s and Maimonides s Double Negation Theology Explained by Constructive Logic

Here s a very dumbed down way to understand why Gödel is no threat at all to A.I..

Lecture 6. Realism and Anti-realism Kuhn s Philosophy of Science

HSC EXAMINATION REPORT. Studies of Religion

Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

HPS204F1H: Public Nudity: History, Law and Science Fall Term 2014

Chapter 13 Turing and Free Will: A New Take on an Old Debate

DNA, Information, and the Signature in the Cell

Segment 2 Exam Review #1

Why Computers are not Intelligent: An Argument. Richard Oxenberg

6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 21

The Development of Knowledge and Claims of Truth in the Autobiography In Code. When preparing her project to enter the Esat Young Scientist

THE UNIVERSITY OF TEXAS AT AUSTIN Graduate School of Library and Information Science LIS382L.2- Information Resources in the Humanities

Brief Remarks on Putnam and Realism in Mathematics * Charles Parsons. Hilary Putnam has through much of his philosophical life meditated on

Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras

Computational Learning Theory: Agnostic Learning

Homily - Epiphany of Our Lord Year B St. Monica s: January 4, 2015

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

APPLICATION TO WORK OR VOLUNTEER WITH VULNERABLE PERSONS

Lecture 9. A summary of scientific methods Realism and Anti-realism

Philosophy 2: Introduction to Philosophy Section 2511, Room SOCS 205, 7:45-9:10am El Camino College Fall, 2014

AKC Lecture 1 Plato, Penrose, Popper

Doctor Faustus and the Universal Machine

Your school is wondering if they should use School Uniforms next year. Should your school have Uniforms?

Grade 6 correlated to Illinois Learning Standards for Mathematics

Top Mathematicians. This file contains two separate sets of:

Probability Foundations for Electrical Engineers Prof. Krishna Jagannathan Department of Electrical Engineering Indian Institute of Technology, Madras

Spring CAS Department of Philosophy Graduate Courses

Philosophy of Artificial Intelligence

An Analysis of Artificial Intelligence in Machines & Chinese Room Problem

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Communion with God Graduate

Midwest History of Mathematics Conference. Speaker Schedule

Our Story with MCM. Shanghai Jiao Tong University. March, 2014

DIGITAL SOULS: WHAT SHOULD CHRISTIANS BELIEVE ABOUT ARTIFICIAL INTELLIGENCE?

Stephen Cook 1982 ACM Turing Award recipient Interviewed by Bruce Kapron February 25, 2016

PL-101: Introduction to Philosophy Fall of 2007, Juniata College Instructor: Xinli Wang

Rethinking Knowledge: The Heuristic View

Lecture 6 Objections to Dualism Princess Elisabeth of Bohemia Correspondence between Descartes Gilbert Ryle The Ghost in the Machine

EXERCISES, QUESTIONS, AND ACTIVITIES My Answers

A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System

Missional Theology: Foundations of Global Engagement M.F.02-U Undergraduate Level Spring 2018

Philosophy of Logic and Artificial Intelligence

New people and a new type of communication Lyudmila A. Markova, Russian Academy of Sciences

PHIL 155: The Scientific Method, Part 1: Naïve Inductivism. January 14, 2013

DR. LEONARD PEIKOFF. Lecture 3 THE METAPHYSICS OF TWO WORLDS: ITS RESULTS IN THIS WORLD

Programming Language Research

CAS IR 341/CAS HI 278 CENTRAL EUROPE Spring 2015 EPC 205 Tuesday/Thursday, 12:30-2:00 p.m. Igor Lukes 154 Bay State Road or

THE TOWARDS AN IDEAL BOTANICAL CURRICULUM. PART III.' ADVANCED UNIVRKSITY TEACHING.

Commentary on Scriven

9 Knowledge-Based Systems

DOWNLOAD OR READ : COLLECTIVE RATIONALITY EQUILIBRIUM IN COOPERATIVE GAMES PDF EBOOK EPUB MOBI

The Non-Identity Problem from Reasons and Persons by Derek Parfit (1984)

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

CONGREGATIONS ON THE GROW: SEVENTH-DAY ADVENTISTS IN THE U.S. CONGREGATIONAL LIFE STUDY

1. Trial on 3rd October 2018

Beyond Symbolic Logic

THE GREATEST SCANDAL NEVER EXPOSED

Date-Sheet for B.Sc. (Honours) Mathematics Part-I, II & III and Parts-I/II & II (Simultaneous)

Compatibilist Objections to Prepunishment

Order at

The Yoga of Time Travel How the Mind Can Defeat Time

MIND A QUARTERLY REVIEW PSYCHOLOGY AND PHILOSOPHY I. COMPUTING MACHINERY AND INTELLIGENCE BY A. M. TUBING

Vol 2 Bk 7 Outline p 486 BOOK VII. Substance, Essence and Definition CONTENTS. Book VII

Houston Graduate School of Theology I. Course Description II. Student Learning Outcomes III. Textbook Required Textbook

DO YOU KNOW THAT THE DIGITS HAVE AN END? Mohamed Ababou. Translated by: Nafissa Atlagh

(Refer Slide Time 03:00)

[3.] Bertrand Russell. 1

Presenting the Gospel to Those who Reject Scripture

INTELLIGENT DESIGN: FRIEND OR FOE FOR ADVENTISTS?

Team Application R.O.C.K. Weekend #43: June 22-24, 2018 #44: July 20-22, 2018 PLEASE FILL OUT ELECTRONICALLY OR PRINT CLEARLY

On the hard problem of consciousness: Why is physics not enough?

PSALM 139: Your eyes saw my unformed body; all the days ordained for me were written in your book before one of them came to be.

EXPOSING THE MONSTER: EFFECTIVE CROSS-EXAMINATION

Syllabus for PRM 669 Practice Preaching 2 Credit Hours Fall 2010

Determinism defined: Every event has a cause/set of causes; if its cause occurs, then the effect must follow.

Pastoral Vacancy Announcement. October 6, 2014

A Quick Review of the Scientific Method Transcript

Logic I or Moving in on the Monkey & Bananas Problem

NATURE AND HISTORY IN THE POTOMAC COUNTRY FROM HUNTER GATHERERS TO THE AGE OF JEFFERSON

CONTENTS BELIEF AND KNOWLEDGE SCIENCE, COMMON SENSE, AND THE WORLD PART ONE PART TWO. Preface, xi

How Much a Quarter Cost: Allegory of a Coin and Other Stories

Using Mathematics to Approach Big Questions

Transcription:

University of the Pacific Scholarly Commons College of the Pacific Faculty Presentations All Faculty Scholarship Fall 10-1-2016 Alan Turing: The Man Behind the Machine Christopher D. Goff University of the Pacific, cgoff@pacific.edu Follow this and additional works at: https://scholarlycommons.pacific.edu/cop-facpres Part of the History Commons, and the Mathematics Commons Recommended Citation Goff, C. D. (2016). Alan Turing: The Man Behind the Machine. Paper presented at Introduction to Gender Studies in Stockton, CA. https://scholarlycommons.pacific.edu/cop-facpres/477 This Lecture is brought to you for free and open access by the All Faculty Scholarship at Scholarly Commons. It has been accepted for inclusion in College of the Pacific Faculty Presentations by an authorized administrator of Scholarly Commons. For more information, please contact mgibney@pacific.edu.

The Man The Work Sexuality Alan Turing: The Man Behind the Machine Christopher Goff Mathematics October 6, 2016 Goff GEND 011 - Fall 16 1/ 24

The Man The Work Sexuality Outline 1 The Man 2 The Work Computability Artificial Intelligence Morphogenesis 3 Sexuality Goff GEND 011 - Fall 16 2/ 24

The Man The Work Sexuality Biographical and Popular Culture Items Biographies (Hodges 1983,..., 2012, Leavitt 2006) Breaking the Code, Play, 1986 and BBC TV, 1996 (Derek Jacobi) Codebreaker, TV Movie/Documentary (2011, Ed Stoppard) The Imitation Game, Film (2014, Benedict Cumberbatch) Music: electronic, choral, operatic, a work by Pet Shop Boys (A Man from the Future) Goff GEND 011 - Fall 16 3/ 24

The Man The Work Sexuality Biographical and Popular Culture Items Biographies (Hodges 1983,..., 2012, Leavitt 2006) Breaking the Code, Play, 1986 and BBC TV, 1996 (Derek Jacobi) Codebreaker, TV Movie/Documentary (2011, Ed Stoppard) The Imitation Game, Film (2014, Benedict Cumberbatch) Music: electronic, choral, operatic, a work by Pet Shop Boys (A Man from the Future) Why all of this attention? Goff GEND 011 - Fall 16 3/ 24

The Man The Work Sexuality Alan Mathison Turing (1912 1954) Born in London in 1912, parents often in India 1926, Attended Sherborne, Christopher Morcom (d. 1930) 1931, Went to King s College, Cambridge (Keynes, Forster, etc.) 1935, Fellow at King s, Central Limit Theorem (Lindeberg, 1922) 1936 38, Princeton (Disney s Snow White) Worked for British government at Bletchley Park, WWII, and in London afterwards 1948, Reader at Manchester University Died in 1954 from cyanide poisoning, ruled a suicide Goff GEND 011 - Fall 16 4/ 24

The Entscheidungsproblem (1928): Is there an algorithm to decide if a theorem can be proved from the axioms of the system? Hilbert s 1930 radio speech: Wir müssen wissen; wir werden wissen. Goff GEND 011 - Fall 16 5/ 24

On Computable Numbers (1936) Goff GEND 011 - Fall 16 5/ 24

On Computable Numbers (1936) T defines computability algorithmically/mechanically Goff GEND 011 - Fall 16 5/ 24

On Computable Numbers (1936) Goff GEND 011 - Fall 16 6/ 24

Turing Machine (TM) T describes what would be called the Turing Machine : a machine with a set of configurations; a tape divided into squares; a scanner to read the tape erase symbol there write new symbol there (0 or 1, or perhaps 0-9) move right or left one square change to a new configuration Goff GEND 011 - Fall 16 7/ 24

Impossibility (T, 1936) T shows that the Entscheidungsproblem can be reduced to a similar decision problem about a TM, one with a negative result. Goff GEND 011 - Fall 16 8/ 24

Impossibility (T, 1936) T shows that the Entscheidungsproblem can be reduced to a similar decision problem about a TM, one with a negative result. Therefore Turing proves that Hilbert s Entscheidungsproblem is impossible. Goff GEND 011 - Fall 16 8/ 24

Impossibility (T, 1936) T shows that the Entscheidungsproblem can be reduced to a similar decision problem about a TM, one with a negative result. Therefore Turing proves that Hilbert s Entscheidungsproblem is impossible. Solved independently in 1936 by Alonzo Church (1903 1995). Goff GEND 011 - Fall 16 8/ 24

The Universal Machine (T, 1936) There is a single TM that can mimic all others, called a universal Turing machine (UTM). This UTM can mimic the behavior of any given TM. Goff GEND 011 - Fall 16 9/ 24

The Universal Machine (T, 1936) There is a single TM that can mimic all others, called a universal Turing machine (UTM). This UTM can mimic the behavior of any given TM. Beginnings of modern computing Goff GEND 011 - Fall 16 9/ 24

The Universal Machine (T, 1936) There is a single TM that can mimic all others, called a universal Turing machine (UTM). This UTM can mimic the behavior of any given TM. Beginnings of modern computing http://science.slc.edu/ jmarshall/courses/2002/fall/cs30/lectures/week08/computation.html Goff GEND 011 - Fall 16 9/ 24

Theory & Practice T was always a tinkerer. He built a few early computers, and wanted to write a chess program. Goff GEND 011 - Fall 16 10/ 24

Theory & Practice T was always a tinkerer. He built a few early computers, and wanted to write a chess program. The Point: T did more than just come up with the mathematics and logic. He also did the engineering. Goff GEND 011 - Fall 16 10/ 24

WWII work T helped break the unbreakable Enigma code, and was briefly engaged to Joan Clarke. Goff GEND 011 - Fall 16 11/ 24

WWII work T helped break the unbreakable Enigma code, and was briefly engaged to Joan Clarke. The Point: It was a team effort & T was a leader Goff GEND 011 - Fall 16 11/ 24

After WWII VOL. LIX. NO. 236.] [October, 1950 MIND A QUARTERLY REVIEW OF PSYCHOLOGY AND PHILOSOPHY I. COMPUTING MACHINERY AND INTELLIGENCE BY A. M. TUBING 1. The Imitation Game. I PROPOSE to consider the question, ' Can machines think? ' This should begin with definitions of the meaning of the ttms ' machine ' and' think '. The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous. If the meaning of the words ' machine' and' think ' are to be found by examining how they are commonly Goff GEND 011 - Fall 16 12/ 24 Downloaded from http://mind.oxfordjournals.org/ by

Computing Machinery and Intelligence, Mind LIX (236) (T, 1950) Introduces Turing Test Imitation Game (Are you talking to a computer or a human?) Goff GEND 011 - Fall 16 13/ 24

Computing Machinery and Intelligence, Mind LIX (236) (T, 1950) Introduces Turing Test Imitation Game (Are you talking to a computer or a human?) T predicts that in about fifty years time it will be possible to programme computers... to play the imitation game so well that the average interrogator will not have more than a 70% chance of making the right identification.... Goff GEND 011 - Fall 16 13/ 24

Computing Machinery and Intelligence, Mind LIX (236) (T, 1950) Introduces Turing Test Imitation Game (Are you talking to a computer or a human?) T predicts that in about fifty years time it will be possible to programme computers... to play the imitation game so well that the average interrogator will not have more than a 70% chance of making the right identification.... Passed test (Veselov, Demchenko, & Ulasen, 2014) Goff GEND 011 - Fall 16 13/ 24

Turing test, xkcd.com Goff GEND 011 - Fall 16 14/ 24

The Imitation Game Often thought of as one human & one unknown (machine or human) Goff GEND 011 - Fall 16 15/ 24

The Imitation Game Often thought of as one human & one unknown (machine or human) T frames it using gender (selection from Mind article) Goff GEND 011 - Fall 16 15/ 24

The Imitation Game Often thought of as one human & one unknown (machine or human) T frames it using gender (selection from Mind article) What is lost or gained by removing gender from the test? Goff GEND 011 - Fall 16 15/ 24

Suspicion, xkcd.com Goff GEND 011 - Fall 16 16/ 24

Morphogenesis T. (1952). The Chemical Basis of Morphogenesis. Philosophical Transactions of the Royal Society of London 237 (641): 37 72. 60 A. M. TURING ON THE T uses differential was used and h was equations about 0.7. In the tofigure model the set of cell points where conditions f(x,y) is positive leading is shown to pattern formation black. The outlines of the black patches are somewhat less irregular than they should be due to an inadequacy in the computation procedure. L I FIGURE2. An example of a 'dappled' pattern as resulting from a type (a) morphogen system. A marker of unit length is shown. See text, $9, 11. 10. A NUMERICAL EXAMPLE The numerous approximations and assumptions that have been made in the foregoing analysis may be rather confusing to many readers. In the present section it is proposed to consider in detail a single example of the case of most interest, (d). This will be made as specific as possible. It is unfortunately not possible to specify actual chemical reactions with the required properties, but it is thought Goff that the GEND reaction 011 -rates Fall 16 associated with 17/ the 24 imagined

Morphogenesis T. (1952). The Chemical Basis of Morphogenesis. Philosophical Transactions of the Royal Society of London 237 (641): 37 72. 60 A. M. TURING ON THE T uses differential was used and h was equations about 0.7. In the tofigure model the set of cell points where conditions f(x,y) is positive leading is shown to pattern formation black. The outlines of the black patches are somewhat less irregular than they should be due to an inadequacy in the computation procedure. L I FIGURE2. An example of a 'dappled' pattern as resulting from a type (a) morphogen system. A marker of unit length is shown. See text, $9, 11. Biochemical machines 10. A NUMERICAL EXAMPLE The numerous approximations and assumptions that have been made in the foregoing analysis may be rather confusing to many readers. In the present section it is proposed to consider in detail a single example of the case of most interest, (d). This will be made as specific as possible. It is unfortunately not possible to specify actual chemical reactions with the required properties, but it is thought Goff that the GEND reaction 011 -rates Fall 16 associated with 17/ the 24 imagined

The Man The Work Sexuality Homosexuality before 1952 Gross Indecency, 1885 Oscar Wilde, 1895 Kinsey report, 1948 Red Scare/Lavender Scare (McCarthyism, c.1950) Guy Burgess (of the Cambridge Five), 1951, 1956 Goff GEND 011 - Fall 16 18/ 24

The Man The Work Sexuality 1952 T met Arnold Murray, age 19, in late 1951 T s home is burgled, January T reported the crime and his relationship with Arnold Goff GEND 011 - Fall 16 19/ 24

The Man The Work Sexuality 1952 T met Arnold Murray, age 19, in late 1951 T s home is burgled, January T reported the crime and his relationship with Arnold T is charged with gross indecency Accession of Queen Elizabeth II, February Trial March 31, T convicted (choice: prison vs. probation with hormone treatment) Goff GEND 011 - Fall 16 19/ 24

The Man The Work Sexuality 1952 T met Arnold Murray, age 19, in late 1951 T s home is burgled, January T reported the crime and his relationship with Arnold T is charged with gross indecency Accession of Queen Elizabeth II, February Trial March 31, T convicted (choice: prison vs. probation with hormone treatment) T chose probation (which ended in April 1953) The Chemical Basis of Morphogenesis appears Goff GEND 011 - Fall 16 19/ 24

The Man The Work Sexuality After 1952 Watson and Crick, 1953 Turing s death, June 1954 (accident vs. suicide) Decline of McCarthy, 1954 Wolfenden report, 1957, 1967 Goff GEND 011 - Fall 16 20/ 24

The Man The Work Sexuality Legacy Computability (Universal Turing Machine) Code-breaking effort (OBE by King George VI, 1945) Computer science & AI (Turing test) Morphogenesis Goff GEND 011 - Fall 16 21/ 24

The Man The Work Sexuality Legacy Computability (Universal Turing Machine) Code-breaking effort (OBE by King George VI, 1945) Computer science & AI (Turing test) Morphogenesis Did not name his computer Christopher Did not harbor a double agent 2013 Royal Pardon Goff GEND 011 - Fall 16 21/ 24

The Man The Work Sexuality Legacy Computability (Universal Turing Machine) Code-breaking effort (OBE by King George VI, 1945) Computer science & AI (Turing test) Morphogenesis Did not name his computer Christopher Did not harbor a double agent 2013 Royal Pardon What role did his homosexuality play in the development of his ideas? Goff GEND 011 - Fall 16 21/ 24

The Man The Work Sexuality Intersections Double life, secret life Speaking in code What is being imitated in the imitation game? Is homosexuality part of our programming? Goff GEND 011 - Fall 16 22/ 24

The Man The Work Sexuality Turing Test and Gender Some questions: Why do you think the description of the Turing test has morphed from a gender-based parlor game to a human vs. computer paradigm? What is gained or lost by this approach? Goff GEND 011 - Fall 16 23/ 24

The Man The Work Sexuality Thank you! Goff GEND 011 - Fall 16 24/ 24