Can They Do That?
Alan Turing is of course famous for his machine based notion of what computable means—what we now call, in his honor, Turing Machines. His model is the foundation on which all modern complexity theory rests; it is hard to imagine what theory would be like without his beautiful model. His proof that the Halting Problem is impossible for his machines is compelling precisely because his model of computation is so clearly “right.” Turing did many other things: his code-breaking work helped win the war; his work on AI is still used today; his ideas on game playing, biology, and the Riemann Hypothesis were ground-breaking.
KeywordsTuring Machine Riemann Hypothesis Impossibility Result Personal Favorite Halting Problem
Unable to display preview. Download preview PDF.