alan turing scientist unlimited | turing100@persistent systems

29
Alan Turing: Scientist Unlimited Mathai Joseph Advisor Tata Consultancy Services

Upload: persistent-systems-ltd

Post on 30-Nov-2014

1.070 views

Category:

Technology


0 download

DESCRIPTION

Mathai Joseph, Advisor, Tata Consultancy Service discusses about Alan Turing at the Grand Launch of Alan Turing Centenary Celebrations at Persistent Systems

TRANSCRIPT

Page 1: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Alan Turing: Scientist Unlimited

Mathai JosephAdvisor

Tata Consultancy Services

Page 2: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

1912

• 100 years ago – first theoretical computer scientist born in London

• ACM Centenary event in San Francisco in 2012– attended by 32 of 36 living Turing laureates

Quite simply, Turing is why we are here today

Page 3: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Alan Turing 1912 -- 1954

Page 4: Alan Turing Scientist Unlimited | Turing100@Persistent Systems
Page 5: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Turing’s Contributions

Turing led the way:– invented a simple abstract computing machine

– redefined computability, decidability

– defined the universal computing machine

– gave a computational view of many problems

TAA Lecture 5

Page 6: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

And …

Many interests: • statistical methods for code breaking

• artificial intelligence, chess playing programs• computer design• formal program proofs• morphogenesis …

Page 7: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

His school headmaster had complained: “he must aim at becoming educated. If he is to be solely a Scientific Specialist, he is wasting his time at public school”

Page 8: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

TAA Lecture 8

Turing ran a marathon in 2hr 46min 3sec

(11 sec more than Olympic winner)

Page 9: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

TAA Lecture 9

Turing ran a marathon in 2hr 46min 3sec

(11 sec more than Olympic winner)

He sometimes ran 40 miles to Londonfor a meeting

Page 10: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

ComputabilityTuring machines (1936): – Abstract computation device

• Machine has an internal state• Head can read or write one cell• Tape can move one cell left or right• Next state & action depend on current state & tape symbol

TAA Lecture 10

Read/write head

Cells

…Start of tape

Infinitely long tape

Record internal state

x

Page 11: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Turing used this idea to prove basic properties:

• computability, Any computable problem can be computed by a Turing Machine

• decidability, etc.Example: Halting Problem

Given any program and any input to the program, will the program will eventually stop when given that input?

This is an undecidable problem.

TAA Lecture 11

Page 12: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Cambridge, Princeton

All this work was done in Cambridgebefore Turing completed his PhD

The world’s greatest undergraduate project!

Page 13: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Church-Turing Thesis

• 1936: Turing went to Princeton to work with Alonzo Church

• Church had proved the computability result using lambda calculus

• Church, Kleene and Rosser had used recursive functions

Turing showed it could be done more simply using his abstract machine.

Page 14: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Princeton

PhD at Princeton in 1938Turing provided:– Mathematical basis for computing– Intuitively understandable solution

Page 15: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Bletchley Park

Turing moved to Bletchley Park in 1938 – arranged by Max Newman

Soon became leader of cryptanalysis work– deciphering Enigma messages– Naval Enigma: more difficult

Machines used to reduce possibilities– Colossus– Bombe

Page 16: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Bletchley Park

Human analysis still critical– knowledge of possible content– familiarity with previous encryption keys

Huge teams used for cryptanalysis

Page 17: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Bletchley Park

Human analysis still critical– knowledge of possible content– familiarity with previous encryption keys

Huge teams used for cryptanalysisReliance on Turing for new methods– suffered from hay fever– sometimes came to work in pyjamas wearing gas

mask

Page 18: Alan Turing Scientist Unlimited | Turing100@Persistent Systems
Page 19: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Manchester

Worked on – computer design– artificial intelligence– program verification

Finally on morphogenesis

Reason for death not certain– suicide?– accident?

Page 20: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Algorithms, complexity

Known from the Greeks, later Kerala mathematicians:– e.g. Euclid’s algorithm for GCD (350B.C.)

Lame’s Theorem (1845)– Euclid’s algorithm takes at most 4.2 log(n) / log (10) -0.32

steps

Long history of mathematical interest in complexity:– Cantor, Hilbert, Pocklington, Post, Church, Gödel, Turing,

Given a new basis in the 1960’s:– Yamaha, Myhill, Smullyan, Cobham, Edmonds …

TAA Lecture 20

Page 21: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

1960’s: Complexity

Can all computable problems be solved equally easily?

Hartmanis & Stearns(1965):

– formally quantified time & space of a computation

• Time: number of steps that the tape moves

• Space: number of cells of the tape that are used

Hartmanis: “We struggled with the mathematics and then saw that Turing machines made it all so simple”

TAA Lecture 21

Page 22: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Complexity

Developed into decision problems about classes of algorithms, e.g.

• P– polynomial time algorithms

• NP– nondeterministic polynomial time algorithms

TAA Lecture 22

Page 23: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Computer Science without Turing?

– Time: number of steps that the tape moves– Space: number of cells of the tape that are used

What measures would be used if there were no Turing machines?

TAA Lecture 23

Page 24: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Computer Science without Turing?

– Time: number of steps that the tape moves– Space: number of cells of the tape that are used

What measures would be used if there were no Turing machines?Something would have evolved … but– Taken longer to find – Been harder to understand– Perhaps of less practical use

TAA Lecture 24

Page 25: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Turing Centenary

ACM Turing awards started in 1966– First winner: Alan Perlis

32 past winners attended the function:Charles Bachman (1973)Donald Knuth (1974)Dana Scott (1976), …

ACM India sponsored two PhD students to attendMore details: http://turing100.acm.org/index.cfm?p=program

Page 26: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Turing Award Winners Who Lectured in India

• Maurice Wilkes• John McCarthy• C.A.R. Hoare*• John Hopcroft• Robin Milner• Butler Lampson*• Juris Hartmanis

• Raj Reddy• Amir Pnueli*• Joseph Sifakis*• Barbara Liskov• Charles Thacker• …

* In Pune

Page 27: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

Finally,

• Turing was 42 when he died.• We can only guess what he might have done if

he had lived longer• A remarkable mind: mathematician, scientist,

engineer, all genius

Page 28: Alan Turing Scientist Unlimited | Turing100@Persistent Systems

100 years on

Turing would have been 100 in 2012He showed the world how to look forward:– Gave computing secure foundations– Showed that many problems have a

computational basis

If he had lived, what would he have been working on today?

Page 29: Alan Turing Scientist Unlimited | Turing100@Persistent Systems