Overview
Syllabus
Introduction
Can Computers Control Killer Robots
What a Company Needs
Google Employees
Does Google have an army of killer robots
How many killer robots have Google actually got
Can computers think
Deepblue thinking
Problems
Ancient Greeks
Euclids Theorem
Trisection Angle
Conclusion
Ada Lovelace
A Theorem
Alan Turing
Computer programs
Conclusions
Practical Problems
Summary
Two Computer Programs
Polynomial Time
Public Key Cryptography
Complicated Knots
Multiply
Scale
Factoring
P and NP
NP Examples
Does P Equal NP
What would happen if someone proved P
Taught by
The Royal Institution