Building a Turing Machine emulator to explore Turing's great ideas

19
Presented by Melvin Zhang [email protected] @melvinzhangzy Build a Turing Machine emulator to explore Turing’s great ideas

Transcript of Building a Turing Machine emulator to explore Turing's great ideas

Page 1: Building a Turing Machine emulator to explore Turing's great ideas

Presented by Melvin [email protected]

@melvinzhangzy

Build a Turing Machine emulator

to explore Turing’s great ideas

Page 2: Building a Turing Machine emulator to explore Turing's great ideas

Lego Turing Machine

Page 3: Building a Turing Machine emulator to explore Turing's great ideas
Page 4: Building a Turing Machine emulator to explore Turing's great ideas

A precise definition ofcomputation

Page 5: Building a Turing Machine emulator to explore Turing's great ideas

Alonzo Church

Computation = λ CalculusChurch Thesis (Apr 1936)

Page 6: Building a Turing Machine emulator to explore Turing's great ideas

Kurt Godel

“Thoroughly unsatisfactory”

Page 7: Building a Turing Machine emulator to explore Turing's great ideas

Alan Turing

Page 8: Building a Turing Machine emulator to explore Turing's great ideas

http://www.kurzweilai.net/passing-of-the-typewriter

Page 9: Building a Turing Machine emulator to explore Turing's great ideas

Computation = Turing Machine

Turing’s Thesis (Nov 1936)

Page 10: Building a Turing Machine emulator to explore Turing's great ideas

Kurt Godel

“That this really is the correctdefinition of mechanicalcomputability was establishedbeyond any doubt by Turing.”

Page 11: Building a Turing Machine emulator to explore Turing's great ideas
Page 12: Building a Turing Machine emulator to explore Turing's great ideas

A universal machine

Page 13: Building a Turing Machine emulator to explore Turing's great ideas

“It is possible to invent asingle machine which can beused to compute anycomputable sequence.”

Page 14: Building a Turing Machine emulator to explore Turing's great ideas

“If it should turn out that the basic logics of a machinedesigned for the numerical solution of differential equationscoincide with the logics of a machine intended to make bills fora department store, I would regard this as the most amazingcoincidence that I have ever encountered.” –Howard Aiken in 1956

Page 15: Building a Turing Machine emulator to explore Turing's great ideas

http://www.rdrop.com/ half/General/UTM/UTMStateTable.html

Page 16: Building a Turing Machine emulator to explore Turing's great ideas

Program = Data

Page 17: Building a Turing Machine emulator to explore Turing's great ideas

Automatic Computing Engine,proposed in 1946 and built in 1950

Page 18: Building a Turing Machine emulator to explore Turing's great ideas

Turing’s Great Ideas:• Turing machines as a model for computation• A single machine can emulate all others• Programs as data for other programs

Page 19: Building a Turing Machine emulator to explore Turing's great ideas

Turing’s Great Ideas:• Turing machines as a model for computation• A single machine can emulate all others• Programs as data for other programs

Further readings: