People
The subject of our study
Who was Alan Turing?
What Adam and Eve, Snow White, Isaac Newton, and Alan Turing have in common
Apple
A list of steps to solve a problem
What is an algorithm or program?
When Turing died
1954
Where Alan met Christopher
What is Sherborne School?
Alan's mother
Who was Ethel Turing?
A mathematical statement we know to be always true
Theorem
This is a finite brain or automata with a potentially infinite supply of paper for solving problems
What is a Turing Machine?
When Turing was born
1912
Where Turing broke codes during WW2
Where is Bletchley Park?
Alan's best friend in school
Who is Christopher Morcom?
The branch of mathematics that deals with reasoning and the structure of proofs
Logic
What we call a "universal computer" today
What is an operating system?
When WW2 began
1939
Alan got his undergraduate degree here
Where is Cambridge?
Alan's PhD advisor
Who was Alonzo Church?
When we cannot figure out if a mathematical statement is true or false
undecidable
These are the three basic building blocks of algorithms or programs
What are sequence, selection, and repetition?
When Turing's breakthrough, "On Computable Numbers with Applications to the Entscheidungsproblem", was published/completed
1936
Alan was born in this city
Where is London?
He proved that mathematics is incomplete
Who was Kurt Goedel?
finding an algorithm that can determine the truth or falsehood of any mathematical statement
Entscheidungsproblem
Another, shorter, name for the problem of figuring out if a program has an infinite loop or not
What is the Halting Problem?
When Morcom died
1930
Alan got his PhD here
Where is Princeton?