alan turing 1912 - 1954. start of the 20 th century the atom quantum physics freud philosophy …and...

35
Alan Turing 1912 - 1954

Upload: randall-casey

Post on 16-Dec-2015

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Alan Turing 1912 - 1954

Page 2: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Start of the 20th century

• The Atom• Quantum physics• Freud• Philosophy

• …and a crisis in Maths!

Page 3: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Hilbert

• Believed maths could solve everything• Came up with 23 unsolved problems in 1900• Thought about infinity

Page 4: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Hilbert

1930: “Wir müssen wissen. Wir werden wissen.”

Page 5: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Godel

…but which ones are they?

Page 6: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Alan Turing – as a child

• Amazing scientist…• …but bottom of class in English• Messy• Disorganised• Watching the daisies grow

Page 7: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Early interests

• Plants and animals• Chemistry experiments• Quantum physics• Philosophy• Building machines

Page 8: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

So… what did he prove?

He had the idea that a mathematical proof is like a (computer) program that never gets stuck in a loop – it gets to an end and has an output.

Page 9: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Decision program (D)

Can we write a program that can work out which programs are loopy?

if loopy then output ‘LOOPY’else output ‘OK’

Page 10: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Universal program (U)He designed a machine that can be fed any program and mimic it exactly… (using 0s and 1s)

Page 11: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 12: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 13: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 14: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

What did he prove?

That we’ll never know which theorems are provable and which aren’t… whilst also inventing the idea of computer programs and storing data!

Page 15: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

WW2 - Station X• Crossword and chess champions,

mathematicians… and Alan Turing.• No one knew who worked there and what

anyone else was doing, not even husbands and wives!

Page 16: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Codes are quite important

Page 17: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 18: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Caesar’s cipher

J MPWF NBUIT

Page 19: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 20: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 21: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

The German Enigma machine

The German Enigma machine was thought to beunbreakable…

…some enigma machines had1,800,000,000,000,000,000,000 possible combinations…

Page 22: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 23: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!
Page 24: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

So how did they break it?

Page 25: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

What affect did this have on the war?

It gave information about where and how attacks would happen, especially from U-boats on Navy supply boats.

It is believed to have shortened the war by 2 years… saving many lives!

Page 26: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

After the war

• Built first chess playing machine• Helped build first computer, the ‘Baby’

Page 27: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Building a brain

What is intelligence? How do we learn? Can a machine think?

Page 28: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

What is intelligence?

…what do you think?

Page 29: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

How would you teach a machine?

Give it puzzles? Play games with it? Teach it to learn a language? Paint a masterpiece? Or would you just give it really good senses and ask it to work it out for itself somehow?

Or…?

Page 30: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Can a machine think?What question would you ask?

How might a computer ‘give itself away’?

Is this a good test of intelligence?

Page 31: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Objections to Machine Intelligence

• Machines can only do what humans tell them• They can’t write poetry • They can’t appreciate strawberries• They don’t have emotions like us…• Religious reasons

What do you think…?

Page 32: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Another amazing contribution!

Around 1952, Alan got bored of answering the same old questions about humans and machines, so he went back to studying how things grow..

Page 33: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

The end

In 1954, he was found ‘guilty’ of having a homosexual relationship which was then illegal. He was put on probation if he took hormone therapy.

He was found dead in his home in 1954 from Cyanide poisoning from an apple… was it suicide or one of his experiments gone wrong?

Page 34: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

Snow white“Dip the apple in the brew, let the sleeping death seep through.”

Page 35: Alan Turing 1912 - 1954. Start of the 20 th century The Atom Quantum physics Freud Philosophy …and a crisis in Maths!

2009: A public apology